C++类型萃取

  在利用模板来实现容器vector的时候，由于是泛型编程，所以参数类型是可以说是任意的，而当我们希望实现对一块连续空间进行拷贝的时候，有两种实现方式，一种是memcpy函数实现，另一种则是通过for循环一个一个赋值。
   memcpy是一种很高效的方式，但是，当拷贝自定义类型时就会牵扯到深浅拷贝的问题，因为memcpy的实现方式是浅拷贝，在释放内存的时候往往会因为多次释放同一块内存而导致程序崩溃。
   所以当拷贝自定义类型时就需要采用for循环一个一个赋值（赋值运算符重载的时候的实现方式是深拷贝）的方式来实现拷贝了。可能有人会有疑问，为什么不直接选择将所有的拷贝方式都用for循环来实现呢。因为for循环的效率很低。而memcpy的效率高，而且当T为内置类型时，memcpy不仅不会出错而且效率还很高。
   自然而然地，就想到利用一个方法能够实现在拷贝内置类型的时候使用memcpy,拷贝自定义类型的时候使用for循环。这样就既保证了程序既不会出错又高效。接下来就来实现这种方法-------**类型萃取**。

看代码：

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

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

首先定义了TrueType和FalseType两个类，注意这两个类都是用struct关键字声明的，这是为了让类里边的成员默认为公有的，用class关键字来声明也可以，只要在类成员里边加将其声明为公有的就行了。

template<typename Ty>
struct TypeTraits
{
    typedef FalseType IsPODType;
};

这段代码声明了一个类模板，在类模板里边就只做一件事情，将FalseType重命名为 IsPODType 。在这个模板类中将所有的类型假定都为自定义类型。说明： IsPODType 是在类TypeTraits里边声明的，也就相当于类 TypeTraits 的一个成员类型，之后使用它的时候需要加 TypeTraits：：作用域，记住，IsPODType 不是一个成员变量，只是一个成员类型，在后边的第一个测试函数会加以验证。
接下来要做的事情就是对内置类型进行特化。

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

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

template<>
struct TypeTraits<short>
{
    typedef TrueType IsPODType;
};

template<>
struct TypeTraits<size_t>
{
    typedef TrueType IsPODType;
};

template<>
struct TypeTraits<long>
{
    typedef TrueType IsPODType;
};

template<>
struct TypeTraits<double>
{
    typedef TrueType IsPODType;
};

template<class Ty>
struct TypeTraits<Ty*>
{
    typedef TrueType IsPODType;
};

在这里给出部内置类型的特化，相信读者已经看懂如何去特化参数为内置类型的类了，就不一一实现了。

接下来就是拷贝函数了

template<typename T>
void Copy(T* dest, const T* src, size_t size)
{
    //获取参数的类型的名称
    cout << "Typename is: " << typeid(T).name() << endl;
    if (TypeTraits<T>::IsPODType().Get())//是内置类型
    {
        memcpy(dest, src, size*sizeof(T));
    }
    else
    {
        for (size_t i = 0; i < size; i++)
        {
            dest[i] = src[i];
        }
    }
}

**注意：**typeid可以获取到一个类型的名称，但是不能拿来做变量的声明。

最后就是测试函数了

void FunTest1()//测试内置类型
{
    cout << sizeof(TypeTraits<int>) << endl;
    int arr[] = { 1, 2, 3, 4, 5, 6 };
    int array[10] = { 0 };
    size_t size = sizeof(arr) / sizeof(arr[0]);
    Copy(array, arr, size);
    for (size_t i = 0; i < size; i++)
    {
        cout << array[i] << " ";
    }
    cout << endl;
}

void FunTest2()//测试自定义类型
{
    string s1[10] = { "1235", "2abdc", "hdfiig", "asdfghjk" };
    string s2[10] = { "11", "22", "33" };
    Copy(s2, s1, 10);
}

int main()
{
    FunTest1();
    FunTest2();
    return 0;
}

先将第二个测试函数的调用注释掉，看第一个测试函数的结果:

对类TypeTraits求大小发现其大小为1，这说明这个类里边什么都没有，即IsPODType是并不是其成员变量。
Copy函数对内置类型进行拷贝，意料中的结果。调试看看Copy函数对自定义类型的拷贝是不是也是预料中的结果呢？

调试发现，对自定义类型的拷贝也很成功。

对类型萃取的讲解就到这里，欢迎读者提出宝贵意见哦~