有下面两代码:
1、普通类函数:
我们把类的声明和定义分开:
array.h:
#pragma once
#include <iostream>
using namespace std;
class ArrayNonT
{
public:
ArrayNonT();
void PushBack(int x);
protected:
int _a[100];
size_t _size;
};
array.cpp
#include "Array.h"
ArrayNonT::ArrayNonT()
{
_size = 0;
memset(_a, 0, sizeof(int)* 100);
}
void PushBack(int x);
void ArrayNonT::PushBack(int x)
{
if (_size >= 100)
{
cout << "Full" << endl;
}
_a[_size++] = x;
}
main.cpp
#include "Array.h"
int main()
{
ArrayNonT a1;
a1.PushBack(1);
return 0;
}
编译运行时不会出现任何问题。。
2、将模板类的定义和声明分开:
array.h
#pragma once
#include <iostream>
using namespace std;
template<class T, size_t N = 100>
class ArrayT
{
public:
ArrayT();
void PushBack(const T& x);
protected:
T _a[N];
size_t _size;
};
array.cpp
#include "Array.h"
template<class T, size_t N>
ArrayT<T, N>::ArrayT()
{
_size = 0;
memset(_a, 0, sizeof(T)* 100);
}
template<class T, size_t N>
void ArrayT<T, N>::PushBack(const T& x)
{
if (_size >= N)
{
cout << "Full" << endl;
}
_a[_size++] = x;
}
main.cpp
#include "Array.h"
int main()
{
ArrayT<int> a2;
a2.PushBack(2);
system("pause");
return 0;
}
同样我们进行编译,然而却出现如下错误:
![这里写图片描述](https://img-blog.csdn.net/20170423210444792?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvV1JOR1Q=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
在vs2013中,f7编译没有错误,链接时出现错误!!!
那为什么模板类将声明和定义分开就出现链接错误了呢??
大家都知道,在一个程序运行时,将经历四个阶段:预处理、编译、汇编和链接。
![这里写图片描述](https://img-blog.csdn.net/20170423210458245?watermark/2/text/aHR0cDovL2Jsb2cuY3Nkbi5uZXQvV1JOR1Q=/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70/gravity/SouthEast)
即,多个源文件在编译时,它是单独编译的,每个.cpp文件包括其包含的头文件展开将单独编译成.obj文件后,再经过链接器进行链接,最终生成一个可执行文件.exe的。
更具体点:
在代码中,array.cpp和main.cpp各自被编译成不同的.obj文件,在main.cpp中,用类ArrayNonT 定义了一个a1对象,但是,由于在main.cpp中只有声明,编译器将这里的ArrayNonT看作外部连接类型,即认为它的函数实现代码在另一个.obj文件中,也就是说,main.obj中实际没有关于ArrayNonT类的哪怕一行二进制代码,而这些代码实际存在于Array.cpp所编译成的.obj中。在main.obj中对ArrayNonT类的调用只会生成一行call指令,并象征性的加一个虚假地址,因为它并不知道实际的ArrayNonT类实现的入口地址。(形如 call[虚假地址])
在编译时,这个call指令显然是错误的,因为main.obj中并无一行f的实现代码。那怎么办呢?这就是连接器的任务,连接器负责在其它的.obj中寻找ArrayNonT类的实现代码,找到以后将call这个指令的调用地址换成实际的ArrayNonT类的进入点地址。需要注意的是:连接器实际上将工程里的.obj“连接”成了一个.exe文件,而它最关键的任务就是上面说的,寻找一个外部连接符号在另一个.obj中的地址,然后替换原来的“虚假”地址。
现在不难解释了,由于普通类或普通函数则只要在一个.cpp文件中定义了,就可编译成.obj文件,经过链接器自然就可找到对应的类或模板的入口地址;但是模板函数或模板类则不一样,它必须经过实例化这一过程,才可以编译成.obj二进制文件;进而进行链接,然而,现在把模板类的生命和定义在两个不同的.cpp文件中,main.cpp中生成.obj文件,但是在定义的array.cpp中只有模板的定义而无实例化过程,即编译器将不会在此生成模板的二进制.obj文件,显然在最后链接时找不到在main.cpp中使用的关于模板类的相关函数。相当于在main.cpp中使用没有定义的类。