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;
}