类模板和模板函数连接出错处理

 对C++编译器而言，当调用函数的时候，编译器只需要看到函数的声明。当定义类类型的对象时，编译器只需要知道类的定义，而不需要知道类的实现代码。因此，因该将类的定义和函数声明放在头文件中，而普通函数和类成员函数的定义放在源文件中。

 但在处理模板函数和类模板时，问题发生了变化。要进行实例化模板函数和类模板，要求编译器在实例化模板时必须在上下文中可以查看到其定义实体；而反过来，在看到实例化模板之前，编译器对模板的定义体是不处理的——原因很简单，编译器怎么会预先知道 typename 实参是什么呢？因此模板的实例化与定义体必须放到同一翻译单元中。

《C++编程思想》第15章(第300页)说明了原因：
模板定义很特殊。由template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处，有一机制能去掉指定模板的多重定义。所以为了容易使用，几乎总是在头文件中放置全部的模板声明和定义。

以下是模板声明和定义的两种方法：
1）可以通过在声明函数模板或类模板的头文件中添加一条#indlude指示定义可用，引入了包含相关定义的源文件。
//set.h file

#ifndef _SET_H_J
#define _SET_H_J

#include <list>

template<class T>
class Set_j
{
public:
    std::size_t size();
    void insert(const T& item);
    void remove(const T& item);
    bool is_has(const T& item);
private:
    std::list<T> m_list;
};

#include "set.cpp"

#endif

// set.cpp file

#ifndef _CPP_SET_J
#define _CPP_SET_J
#include "set.h"
#include <algorithm>

template<class T>
std::size_t Set_j<T>::size()
{
    return m_list.size();
}

template<class T>
void Set_j<T>::insert(const T& item)
{
    if(!is_has(item))
    {
        m_list.push_back(item);
    }
}

template<class T>
void Set_j<T>::remove(const T& item)
{
    std::list<T>::iterator it = std::find(m_list.begin(),m_list.end(),item);

    if(it != m_list.end())
    {
        m_list.erase(it);
    }
}

template<class T>
bool Set_j<T>::is_has(const T& item)
{
    return (std::find(m_list.begin(),m_list.end(),item) != m_list.end());
}
#endif

// main.cpp  file

#include <iostream>
#include "set.h"

void main()
{
    Set_j<int> test;

    std::cout << "size: " << test.size() << std::endl;

    int i = 10;

    test.insert(i);
    test.insert(i+1);
    test.insert(i+2);
    test.insert(i+2);

    std::cout << "size: " << test.size() << std::endl;

    test.remove(i+2);

    std::cout << "size: " << test.size() << std::endl;
}

2)通过关键字export实现。
  C++理论上支持模板的分离编译（也就是支持export关键词），但是实际上VC2005，vs2010均不支持，在 VS 2008 中，export 关键字在 IDE 中被标蓝，表示 VS IDE 认识它，而编译时，会用警告友情提示你“不支持该关键字”。
3)将定义和实现文件写在一个文件中。