C++ 模板函数特化与重载

如果程序里有普通模板，模板特化版本，和普通函数，那么程序优先选择普通函数。下面的程序里面打印"normal func"。

#include <iostream>
using namespace std;

template<typename T>
T func(T a, T b) {
    cout << "template<T> func" << endl;
    return a + b;
}

template<>
int func(int a, int b) {
    cout << "template<> func" << endl;
    return a + b;
}

int func(int a, int b) {
    cout << "normal func" << endl;
    return a + b;
}

int main() {
    int a = 3, b = 4;
    cout << func(3, 4) << endl;

    return 0;
}

如果没有普通函数，那么程序会选择模板特化版本。打印"template<> func"。
如果没有模板特化版本，那么程序会选择普通模板。打印"template<T> func“。

下面引用自https://blog.csdn.net/K346K346/article/details/82179205

使用普通函数重载和使用模板特化还是有不同之处，主要表现在如下两个方面：
（1）如果使用普通重载函数，那么不管是否发生实际的函数调用，都会在目标文件中生成该函数的二进制代码。而如果使用模板的特化版本，除非发生函数调用，否则不会在目标文件中包含特化模板函数的二进制代码。这符合函数模板的“惰性实例化”准则。
（2）如果使用普通重载函数，那么在分离编译模式下，需要在各个源文件中包含重载函数的申明，否则在某些源文件中就会使用模板函数，而不是重载函数。

另外，个人补充一点，模板特化版本还是模板，必须放到头文件里面。普通函数重载得放在.c和.cpp里面。