C++模板类的编译问题

  一般发布C++类的方法是：使用.H文件写类定义，用CPP文件写实现。发布的时候可以把H文件和CPP编译出来的.O文件给客户程序，然后客户端程序来编译和链接类头文件和目标文件。

  虽然也可以发布CPP源文件，但发布.O文件可以更好的维护类的相对独立性，或者是源代码实现不方便让他人看到。

 

  例如，

 

  有类的头文件：

//Rec.h

#ifndef _REC_H_
#define _REC_H_

class Rec
{
    
public:
  Rec( int a);
   void show();
private:
     int m_a;
};


#endif

 

  类的实现文件。

 

//Rec.cpp

#include "Rec.h"
#include <iostream>
using namespace std;

Rec::Rec( int a)
{
  m_a = a;
}

void Rec::show(){
  printf( "item=%d\n",m_a);
}

 

  使用类的时候，首先 g++ -c Rec.cpp 生成Rec.o备用。

 

  编写测试程序

 

//test.cpp

#include "Rec.h"

void main()
{
  Rec a(10);
  a.show();
}

 

  编译测试程序, g++ -o test test.cpp Rec.o

 

  运行得： item=10

 

  如果把Rec类变成模板类，那么编译的方法就不能如此优雅了。

 

  Rect类头文件

 

//Rect.h
#ifndef _RECT_H_
#define _RECT_H_

template < class T>
class RecT{
public:
  RecT(T t);
   void show();
private:
  T m_a;
};

#endif //! #ifndef _RECT_H_

 

 

  Rect类实现文件：

 

#Rect.cpp

#include "RecT.h"
#include <iostream>
using namespace std;

template < class T>
RecT<T>::RecT(T t)
{
  m_a = t;
}

template < class T>
void RecT<T>::show(){
  cout<< "item="<<m_a<<endl;
}

 

 

  测试程序：使用模板类，T用int代替

 

#include "RecT.h"

void main()
{
  RecT< int> a(10);
  a.show();
}

 

  在VS6下，编译出现错误：

 

Compiling...
Test.cpp
Linking...
Test.obj : error LNK2001: unresolved external symbol "public: void __thiscall RecT<int>::show(void)" (?show@?$RecT@H@@QAEXXZ)
Test.obj : error LNK2001: unresolved external symbol "public: __thiscall RecT<int>::RecT<int>(int)" (??0?$RecT@H@@QAE@H@Z)
Debug/TemplateTest.exe : fatal error LNK1120: 2 unresolved externals
Error executing link.exe.

 

  错误分析：

   Test.cpp 在编译目标文件是成功的，在链接的时候出现了错误。找不到RecT<int>类的方法。 

   事实上，Rect.cpp无法独立生成目标文件。理由很简单：因为其中的T类型在使用前还未知类型，如何分配内存还无法确定，自然就无法生成目标文件了。

  所以，编译模板类不能分两步走。模板类的实现文件需要和使用类的程序一起编译，编译器知道程序需要使用何种类后才可以编译出相应的类来。

 

  改改测试程序

 

#include "RecT.cpp"

void main()
{
  RecT< int> a(10);
  a.show();
}

 

 编译通过并成功运行