C++类模板声明与定义为何不能分开

　　我们用C++写类的时候，通常会将.cpp和.h文件分开写，即实现和声明分开写了；但在C++的类模板中，这种写法是错误的。

　　在《C++编程思想》的第16章的“16.3模板语法”一节给出了答案，以下是下书中原话：

　　即使是在创建非内联函数定义时，我们还是通常想把模板的所有声明都放入一个头文件中。这似乎违背了通常的头文件规则：“不要放置分配存储空间的任何东西“（这条规矩是为了防止在连接期间的多重定义错误），但模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处，有一机制能去掉指定模板的多重定义。所以为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。

 

　　C++中每一个对象所占用的空间大小，是在编译的时候就确定的（C++是编译型语言），在模板类没有被实例化前，编译器是无法知道模板类中使用模板类型的对象的所占用的空间的大小。只有模板被实例化，编译器才知道模板套用的是什么类型，应该分配多少空间。这也就是模板类为什么只是称之为模板，而不是泛型的缘故。

 

转载于:https://www.cnblogs.com/coder-zyc/p/10030551.html