模板的分离编译

有下面两代码：

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;
}

同样我们进行编译，然而却出现如下错误：

在vs2013中，f7编译没有错误，链接时出现错误！！！

那为什么模板类将声明和定义分开就出现链接错误了呢？？

大家都知道，在一个程序运行时，将经历四个阶段：预处理、编译、汇编和链接。

即，多个源文件在编译时，它是单独编译的，每个.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中使用没有定义的类。

有关程序的编译链接四个阶段在我的另一篇博客中http://blog.csdn.net/WRNGT/article/details/54766824