为什么 c++中函数模板和类模板的 声明与定义需要放到一起？

将模板的声明与定义写在一起实在很不优雅。尝试用“传统”方法，及在.h文件里声明,在.cpp文件里定义，

然后在main函数里包含.h头文件，这样会报链接错误。why！！！！！！！！！！！！！

这是因为函数模板要被实例化后才能成为真正的函数，在使用函数模板的源文件中包含函数模板的头文件，（carefully！！！）

如果该头文件中只有声明，没有定义，那编译器无法实例化该模板，最终导致链接错误。（类模板同样！！）

 

//---------------test.h-------------------// 
 void f();//这里声明一个函数f 
//---------------test.cpp--------------// 
 #include”test.h” 
 void f() 
 { 
 …//do something 
 } //这里实现出test.h中声明的f函数 
//---------------main.cpp--------------// 
 #include”test.h” 
 int main() 
 { 
     f(); //调用f
 }

编译时会生成两个obj文件，main.obj和test.obj，而在main.obj里并没有f函数的二进制代码，这些代码实际存在于test.obj中。

在main.obj中对 f 的调用只会生成一行call指令，call指令的地址由链接器生成。

 

//-------------test.h----------------// 
 template<class T> 
 class A 
 { 
    public: 
     void f(); //这里只是个声明 
 }; 
//---------------test.cpp-------------// 
 #include”test.h” 
 template<class T> 
 void A<T>::f() 
 { 
 …//do something 
 } 
//---------------main.cpp---------------// 
 #include”test.h” 
 int main() 
 { 
     A<int> a; 
    a. f(); 
 }

我们知道模板有个具现化的过程，在未被使用的时候是不会生成二进制文件的。所以当链接器去找f函数的地址时，因为在这之前没有调用过f()，test.obj里自然就没有f函数的二进制代码，于是就会报错。

 

要使模板声明与定义分开也不是没有办法。

第一种办法是在main函数里包含cpp文件

//-------------test.h----------------// 
 template<class T> 
 class A 
 { 
    public: 
     void f(); //这里只是个声明 
 }; 
//---------------test.cpp-------------// 
 #include”test.h” 
 template<class T> 
 void A<T>::f() 
 { 
 …//do something 
 } 
//---------------main.cpp---------------// 
 #include”test.cpp” //careful！！！！！！！！！
 int main() 
 { 
     A<int> a; 
    a. f(); 
 }

这样三个文件的内容通过include实际上包含在同一个文件里，自然就不会出错了

 

//-------------test.h----------------// 
 template<class T> 
 class A 
 { 
    public: 
     void f(); //这里只是个声明 
 }; 
#include<test_impl.h>

//---------------test_impl.h-------------// 
 template<class T> 
 void A<T>::f() 
 { 
 …//do something 
 } 

//---------------main.cpp---------------// 
 #include”test.h” 
 int main() 
 { 
     A<int> a; 
    a. f(); 
 }

这两种方法实际上都是包含编译，没有本质的区别，不过感觉第二种方法看起来比较舒服

 

//-------------test.h----------------// 
 template<class T> 
 class A 
 { 
    public: 
     void f(); //这里只是个声明 
 }; 
//---------------test.cpp-------------// 
 #include”test.h” 
 template<class T> 
 void A<T>::f() 
 { 
 …//do something 
 } 
template class A<int>;//！！！！！！在这里实现了具现了类型  这样编译就不会有问题了  但是这样不太好  自己想为什么 ！！！
//---------------main.cpp---------------// 
 #include”test.h” 
 int main() 
 { 
     A<int> a; 
    a. f(); 
 }

 

差不多了吧 就这样OK了  其实是看的别人的博客！