c++ - “使用”声明可以与模板一起使用吗？

Question

是否可以将“使用”声明与模板基类一起使用？我读过它不在这里，但这是由于技术原因还是违反 C++ 标准，它是否适用于 gcc 或其他编译器？如果不可能，为什么不呢？

示例代码（来自上面的链接）：

struct A {
    template<class T> void f(T);
};

struct B : A {
    using A::f<int>;
};

Answer 1

您链接到的是 using 指令。using 声明可以很好地与模板基类一起使用（没有在标准中查找它，只是用编译器对其进行了测试）：

template<typename T> struct c1 { 
    void foo() { std::cout << "empty" << std::endl; } 
}; 

template<typename T> struct c2 : c1<T> { 
    using c1<T>::foo; 
    void foo(int) { std::cout << "int" << std::endl; } 
}; 

int main() { 
    c2<void> c;
    c.foo();
    c.foo(10); 
}

编译器正确地找到了无参数foo函数，因为我们的 using-declaration 将其重新声明到了 的范围内c2，并输出了预期的结果。

编辑：更新了问题。这是更新的答案：

这篇文章是正确的，您不能使用模板 ID（模板名称和参数）。但是你可以放一个模板名称：

struct c1 { 
    template<int> void foo() { std::cout << "empty" << std::endl; } 
}; 

struct c2 : c1 { 
    using c1::foo; // using c1::foo<10> is not valid
    void foo(int) { std::cout << "int" << std::endl; } 
}; 

int main() { 
    c2 c;
    c.foo<10>();
    c.foo(10); 
}