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

最新推荐文章于 2025-04-03 22:39:28 发布

原创最新推荐文章于 2025-04-03 22:39:28 发布 · 1.3k 阅读

4 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#c++

C++ 专栏收录该内容

36 篇文章

订阅专栏

本文详细介绍了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里面。