C++类型萃取

说到类型萃取，必须先了解模板的特化。

模板的特化

概念

在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化类与类模板特化。

函数模板的特化

1. 先创建一个基础的函数模板
2. 关键字template后面接<>，尖括号里面为空。
3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型。
4. 函数形参表：必须要和模板函数的基础参数类型完全相同。

类模板的特化

类模板的特化又分为全特化和偏特化。
全特化: 将模板参数类表中所有的参数都确定。

template<class T1, class T2>
class Data
{
public:
	Data() {cout << "Data<T1, T2>" << endl;}
private：
	T1 _d1;
	T2 _d2;
};

template<>
class Data<int, char>
{
public:
	Data() {cout << "Data<int, char>" << endl;}
private:
T1 _d1;
T2 _d2;
};

void TestVector()
{
	Data<int, int> d1;
	Data<int, char> d2;
}

偏特化: 任何针对模板参数进一步进行条件限制设计的特化版本。
偏特化有以下两种表现方式：
部分特化：将模板参数类表中的一部分参数特化。

template <class T1>
class Data<T1, int>
{
public:
	Data() {cout << "Data<T1, int>" << endl;}
private:
	T1 _d1;
	int _d2;
};

参数更进一步的限制：偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。

//两个参数偏特化为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{
public:
	Data() {cout << "Data<T1*, T2*>" << endl;}
private:
	T1 _d1;
	T2 _d2;
};

//两个参数偏特化为引用类型
template <typename T1, typename T2>
class Data <T1&, T2&>
{
public:
	Data() {cout << "Data<T1&, T2&>" << endl;}
private:
	const T1& _d1;
	const T2& _d2;
};

类型萃取

模板编译过程：

1. 检查函数模板是否有语法错误（简单检测）。
2. 检测对函数模板的实例化，编译器根据推演实参类型结合函数模板生成实际代码。

//内置类型
struct TrueType
{
	static bool Get()
	{
		return true;
	}
};

//自定义类型
struct FalseType
{
	static bool Get()
	{
		return false;
	}
};

//用户按照任意类型实例化该模板
template<class T>
struct TypeTraits
{
	typedef FalseType IsPODType;
};

//内置类型
template<>
struct TypeTraits<char>
{
	typedef TrueType IsPODType;
};

//省略其它内置类型的特化...

/*
T为int：TypeTraits<int>已经特化过，程序运行时就会使用已经特化过的TypeTraits<int>，该类中的IsPODType为类TrueType,而TrueType中Get()函数返回true。
T为自定义类型Data：TypeTraits<Data>没有特化过，程序运行时使用TypeTraits类模板，该类模板中的IsPODType为类FalseType，而FalseType中Get函数返回true。
*/

if (TypeTraits<T>::IsPODType::Get())
{
	//code
}
else
{
	//code
}