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

Question

是否可以在模板基类中使用“使用”声明？我读过它不是here，但这是因为技术原因还是违反了 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); 
}