类型萃取是一种常用的编程技巧,其目的是实现不同类型数据面对同一函数实现不同的操作,如STL中cout的实现,它与类封装的区别是,我们并不用知道我们所调用的对象是什么类型,类型萃取是编译器后知道类型,先实现,而类的封装则是先定义类型,后实现方法。在这里我们可以用模板的特化实现其编程思想。
我们以memcpy为例,当我们拷贝的是基本类型时,只用拷贝所传递指针上的数据,如果是string类型呢,我们则需要在堆上开辟空间,所传递的指针如果被直接复制,则有可能(vs下的string类型的实现原理是若字符串不长则以数组保存,若字符串过长,则通过指针在堆上开辟空间进行保存)出现同一地址,析构两次这样的常见错误。
在这里我们需要在一个头文件中定义两个类,用来区分是否是基本类型,代码如下:
struct __TrueType//基本类型
{
bool Get()
{
return true;
}
};
struct __FalseType//非基本类型
{
bool Get()
{
return false;
}
};
其次定义类模板,使基本类型特化,非基本类型则不需用特化:
template <class _Tp>//非基本类型不特化
struct TypeTraits
{
typedef __FalseType __IsPODType;
};
template <>//基本类型的全特化
struct TypeTraits< bool>
{
typedef