没有模板化参数的函数模板特化

Question

让我们看一个模板函数，它接受void参数并返回void：

template<class T>
void f() {
    cout << "template" << endl;
}

后来我们专门研究这个功能：

template<>
void f<int> () {
    cout << "int" << endl;
}
template<>
void f<double> () {
    cout << "double" << endl;
}

int main() {
    f<int> ();
    f<double> ();
}

问题是为什么这个编译？ 我们有三个具有相同签名的函数： void(void) ，我预计它应该打破多个声明？

Answer 1

这是因为您明确说明要使用哪个函数。 由于模板参数的不同， f<int>()无法映射到f<double>() ; 即这是一个完全明确的呼吁。

Answer 2

它为什么不起作用？ 这些是三种不同的实现，具体取决于模板参数。 实例化模板时使用的每个不同值都会创建整个模板化事物的全新副本。 所以在这里你做了三个功能，它们都是独一无二的，它运行正常。

顺便说一句，符号名称不仅仅是f ，查找C ++名称。