C++模板泛型特化

C++模板泛型特化的两种方式：

一、在头文件中声明泛型，在源文件中特化，代码如下

//在头文件中声明
template<typename T>
class test
{
    public:
         test();
         ~test();
};

//源文件中定义
#include "test.h"

template <typename T> test<T>::test()
{
    cout << "this is my Test"<<endl;
}

template <typename T> test<T>::~test()
{
    cout << "Test is over"<<endl;
}

//泛型特化，在使用时只能实例float类型和double类型，否则会报链接错误
template class test<float>;
template class test<double>;

//main.cpp中调用 

int main()
{
    test<int> myTest1;       //错误，会报链接错误，比较难发现问题
    test<float> myTest2;     //正确
    return 0;
}

二、利用static_assert （推荐）

#include <iostream>
using namespace std;
 
template<typename T>
class Test {
public:
    static_assert((is_same<T, float>::value)
                || (is_same<T, double>::value)
                , "not float or double");
};

int main()
{
    Test<float> myTest1;
    Test<int> myTest2;      //错误，编译时会提示错误信息，比较容易发现问题。
    return 0;
}