先说明下是怎么出现这个问题的:
当我们使用模板时,如果直接在声明处定义不会出现问题。但是,像下面这样将模板函数分离编译时,在测试函数编译时就会报错。
#pragma once
template <class T>
class MyClass
{
public :
void Func();
};
#include "template.h"
template <class T>
void MyClass<T>::Func()
{
cout << "victory!" << endl;
}
#include <iostream>
#include "template.h"
using namespace std ;
void Test()
{
MyClass<int > c1;
c1.Func();
}
int main()
{
Test();
system("pause" );
return 0 ;
}
在我们编译的时候就会报Test.obj : error LNK2019: 无法解析的外部符号 “public: void __thiscall MyClass::Func(void)” (?Func@?$MyClass@H@@QAEXXZ),该符号在函数 “void __cdecl Test(void)” (?Test@@YAXXZ) 中被引用 。仔细看就会发现是链接错误。
分析如下
C/C++语言所采用的方法是:每个源文件都是独立的编译单元,在当前源文件中使用但未在此定义的变量或者函数,就假设在其他的源文件中定义好了。每个源文件生成独立的目标文件(obj文件),然后通过连接(Linking)将目标文件组成最终的可执行文件。要想分析这个问题就首先得预处理,编译,汇编,链接四个阶段分别作了那些事情。
一:预处理 (1>删除注释;2>头文件展开(将所包含的头文件内容全部复制到此文件中);3>宏替换;4>条件编译)
在Test.cpp中,我们忽略iostream库,当我们包含Templat.h后,进行头文件的展开,变成了下面这样:
#include <iostream>
using namespace std ;
template <class T>
class MyClass
{
public :
void Func();
};
void Test()
{
MyClass<int > c1;
c1.Func();
}
int main()
{
Test();
system("pause" );
return 0 ;
}
到这也就完成了对我们自己写的头文件的包含。在template.cpp中也有一份template.h的展开。形成各自对应的.obj文件。
二:经过编译和汇编阶段完成了各自的词法分析,语义分析,符号汇总,语法分析并将对应的汇编代码转为二进制代码。
这时候就很关键:在test.cpp中,编译时由于创建了对象,实例化了对应类型为MyClass< T >的模板,此时test文件中只实例化出了func()函数的声明;在template.cpp中并没有实例化的操作,所以也就不会去进行对应的分析执行操作,所以此时我们就算再templat.cpp中打出各种各样的语法错误,我们编译时都不会报错。
链接 :简单点说就是将各个文件形成后的文件汇总起来,形成一个.exe文件。
当在进行合并时,就会发现由于之前在template.cpp没有实例化,当然在链接时符号表也找不到fun()函数定义的地址。所以出现无法解析外部符号的错误。
解决方法
取消分离编译,将声明和定义放一起:
class MyClass
{
public :
void Func()
{
cout << "victory!" << endl ;
}
};