编译普通/模板函数的区别，c++

differences in compiling normal/template functions, c++

本文关键字：区别 c++ 函数 编译      更新时间：2023-10-16

我在一个教程中读到:

原来c++不直接编译模板函数。相反，在编译时，当编译器遇到对模板函数，它复制模板函数并替换具有实际类型的模板类型参数

我认为这与常规(非模板化)函数相同。我试图了解编译器如何处理这两种函数，和主要的区别在哪里?谢谢!

我认为对于常规(非模板化)函数也是一样的。

。大多数编译器在编译(非static)函数时，只会发出该函数的目标代码(稍后在进行整个程序优化时可能会更改，但并非所有编译器都这样做)。对于模板函数，这是不可能的，因为(a)这些函数可能不包含足够的信息来发出所有的目标代码，(b)它们可能接受无限个可能的值作为它们的模板参数，因此编译器将不得不编译无限个函数。

考虑
template <typename T>
T add1(T x)
{
    return x + 1;
}

这个模板函数可以应用于任何类型T，其中operator+为其定义，并且可以接受int参数，并且由于您可以通过操作符重载自己创建这样的类型，因此可能存在无限数量的类型。

而是在编译时，当编译器遇到对模板的调用时函数，它复制模板函数并替换模板类型具有实际类型的参数

…但是链接器会注意到，如果您在多个模块中对相同类型的T(例如float)使用add1，则编译的目标代码在每种情况下都是相同的，并且它将删除重复项。

相关文章：