模板函数在声明后被调用时进行编译。
当编译器遇到函数模板的定义时,它并不立即生成代码。只有在模板被实例化,即生成特定版本的代码时,编译器才会进行编译。这意味着,只有在模板被实际使用时,编译器才会根据提供的参数类型生成相应的函数代码。这种延迟生成代码的方式,使得模板的使用更加灵活,同时也提高了编译效率,因为只有在实际需要的部分才会被编译进最终的执行文件中。
因此,当模板被调用并且参数类型确定后,生成具体的函数代码。如果多次调用使用相同的参数类型,编译器则不会再次编译,而是复用已经生成的函数。
模板函数应该定义在头文件中,而不是源文件中。
模板函数与普通函数的一个关键区别在于,模板函数只有在真正调用时才会根据实际参数编译,生成相应的二进制机器指令。如果模板函数的定义和实现被分开写在头文件和源文件中,当其他源文件包含这个头文件时,编译器会在编译时遇到模板函数的声明,但由于此时模板函数尚未被编译,因此没有相应的定义可供链接,只有模板声明。这会导致链接器在寻找模板函数的定义(实现)时失败,因为模板函数的实现尚未生成。
为了解决这个问题,模板函数的定义应该直接放在头文件中。这样,当其他源文件包含这个头文件时,编译器可以在编译阶段直接处理模板函数的声明和定义,而无需等到链接阶段。这样做可以确保模板函数的使用和实例化在编译时完成,避免了链接时的错误。
案例1:在include.h头文件中声明模板函数 ,test.cpp内实现模板函数 完整代码
//include.h
#include<iostream>
using namespace std;
template<typename T>
void fun1(T args);
//fun2.cpp
#include "include.h"
void fun2()
{
double d = 15.123;
fun1(d);
}
//test.cpp
#include "include.h"
template<typename T>
void fun1(T args)
{
T sum = 0;
sum = args + args;
std::cout<<"sum:"<<sum<<std::endl;
}
extern void fun2();
int main()
{
int i=10;
fun1(i);
double d= 12.15;
fun1(d);
fun2();
return 0;
}
g++ test.cpp fun2.cpp -o test -std=c++11
打印结果:
[root@zyysp2 template]# ./test
sum:20
sum:24.3
sum:30.246
这里fun2.cpp源文件内包含了 模板函数的声明 并没有模版函数的实现 为什么正常运行,这里就是上面讲到的,“如果多次调用使用相同的参数类型,编译器则不会再次编译,而是复用已经生成的函数。” double类型的模板函数已经编译过了
如果把test.cpp内的下面这段注释:
// double d= 12.15;
// fun1(d);
则编译报错: 没有定义fun1模板函数
[root@zyysp2 template]# g++ test.cpp fun2.cpp -o test -std=c++11
/tmp/cc7qeFqE.o: In function `fun2()':
fun2.cpp:(.text+0x24): undefined reference to `void fun1<double>(double)'
collect2: error: ld returned 1 exit status
[root@zyysp2 template]#
如果将模板函数声明 定义都写在include.h文件内 那一切正常了:
完整源码
[root@zyysp2 template]# cat include.h
#include<iostream>
using namespace std;
template<typename T>
void fun1(T args)
{
T sum = 0;
sum = args + args;
std::cout<<"sum:"<<sum<<std::endl;
}
[root@zyysp2 template]# cat fun2.cpp
#include "include.h"
void fun2()
{
double d = 15.123;
fun1(d);
}
[root@zyysp2 template]# cat test.cpp
#include "include.h"
/*
template<typename T>
void fun1(T args)
{
T sum = 0;
sum = args + args;
std::cout<<"sum:"<<sum<<std::endl;
}
*/
extern void fun2();
int main()
{
int i=10;
fun1(i);
// double d= 12.15;
// fun1(d);
fun2();
return 0;
}
g++ test.cpp fun2.cpp -o test -std=c++11
[root@zyysp2 template]# ./test
sum:20
sum:30.246