类模板的特化----类型萃取

     类型萃取是什么呢？下面我来给出下面场景大家是否还记得前篇的String类的模拟实现，在扩容时我们说如果是内置类型就用memcpy。如果是自定义类型就用for 循环加上“=”号的重载（防止浅拷贝的发生）。

      我们又如何判断是否为自定义类型呢？并让它去我们想要它执行的方式呢。这里我们应用类模板的特化，内嵌类型，函数重载给出了一种解决方式。请大家看下面代码：

// 1. 通用的拷贝函数----> 模板
// 2. 效率

struct TrueType
{
	static bool Get()
	{
		return true;
	}
};

struct FalseType
{
	static bool Get()
	{
		return false;
	}
};

template<class T>
struct TypeTraits
{
	typedef FalseType PODType;
};

template<>
struct TypeTraits<int>
{
    typedef TrueType PODType;
};

template<>
struct TypeTraits<char>
{
	typedef TrueType PODType;
};


template<class T>
void Copy(T* dst, T* src, size_t size)
{
	if(TypeTraits<T>::PODType::Get())
	{
		// 优点：效率高
		// 缺陷：浅拷贝(遇到拷贝对象中管理资源)
		memcpy(dst, src, sizeof(T)*size);
	}
	else
	{
		// 优点：不会出错
		// 缺点：效率低
		for(size_t i = 0; i < size; ++i)
		{
			dst[i] = src[i];
		}
	}
}

实现如上：我们通过类模板的特化决定PODType是TrueType还是FalseType,再看调用哪个类中的Get（）函数，又通过Get（）函数的返回值和if ,else决定用哪种方式进行拷贝，这就是这种场景下类型萃取的整个过程。