【C++】类型萃取技术实现静态顺序表

类型萃取是一种常用的编程技巧，其目的是实现不同类型数据面对同一函数实现不同的操作，它与类封装的区别是，我们并不用知道我
们所调用的对象是什么类型，类型萃取是编译后知道类型，先实现，而类的封装则是先定义类型，后实现方法。在这里我们可以用模板的特化实现其编程思想。

我们以memcpy为例，当我们拷贝的是基本类型时，只用拷贝所传递指针上的数据，如果是string类型呢，我们则需要在堆上开辟空间，所传递的指针如
果被直接复制，则有可能（vs下的string类型的实现原理是若字符串不长则以数组保存，若字符串过长，则通过指针在堆上开辟空间进行保存）出现同一地
址，析构两次这样的常见错误。

我们知道，类型分为基本类型（POD），和自定义类型。基本类型指在C++ 中与C兼容的类型，可以按照 C 的方式处理。而自定义类型如我们今天实现的静态顺序表。
代码如下：

#define _CRT_SECURE_NO_WARNINGS 1
#include<iostream>
using namespace std;
#include<string>

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

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

template <class T>
struct TypeTraits
{
typedef __FalseType   __IsPODType;
};

template <>
struct TypeTraits< bool>
{
typedef __TrueType     __IsPODType;
};

template <>
struct TypeTraits< char>
{
typedef __TrueType     __IsPODType;
};

template <>
struct TypeTraits< unsigned char >
{
typedef __TrueType     __IsPODType;
};

template <>
struct TypeTraits< short>
{
typedef __TrueType     __IsPODType;
};

template <>
struct TypeTraits< unsigned short >
{
typedef __TrueType     __IsPODType;
};

template <>
struct TypeTraits<int>
{
typedef __TrueType __IsPODType;
};

template<class T>
void _Memcpy(T& dest, const T& src, size_t size, __TrueType)    //基本类型
{
cout << "IsPOD::" << typeid(T).name() << endl;
memcpy(dest, src, sizeof(T)*size);
}

template<class T>
void _Memcpy(T& dest, const T& src, size_t size, __FalseType)
{
cout << "IsNotPOD::"<<typeid(T).name() << endl;
for (int i = 0; i < size; i++)
{
dest[i] = src[i];
}
}

template<class T>
class SeqList
{
public:
SeqList()
:_size(0)
, _capacity(0)
, _array(NULL)
{}

SeqList<T>(const SeqList<T>& s)
{
_array = new T[s._size];
if (TypeTraits <T>::__IsPODType().Get())
{
_Memcpy(_array, s._array, s._size, TypeTraits<T>::__IsPODType());
}
else
{
_Memcpy(_array, s._array, s._size, TypeTraits<T>::__IsPODType());
}
swap(_size, s._size);
swap(_capacity, s._capacity);
}

SeqList<T>& operator= (SeqList<T> s)
{
swap(_array, s._array);
swap(_size, s._size);
swap(_capacity, s._capacity);
}

~SeqList()
{
if (_array)
{
delete[] _array;
_array = NULL;
}
}

void _CheckCapacity(size_t n)
{
if (n > _capacity)
{
_capacity = 2 * _capacity + 3;
T* tmp = new T[_capacity];
if (_array != NULL)
{
if (TypeTraits <T>::__IsPODType().Get())
{
_Memcpy(tmp, _array, _size, TypeTraits <T>::__IsPODType());
}
else
{
_Memcpy(tmp, _array, _size, TypeTraits <T>::__IsPODType());
}
}
delete[] _array;
_array = NULL;
_array = tmp;
}
}

void PushBack(const T& x);
void PopBack();
void PrintSeqList();

private:
size_t _size;
size_t _capacity;
T* _array;
};

template<class T>
void SeqList<T>:: PushBack(const T& x)
{
_CheckCapacity(_size + 1);
_array[_size++] = x;
}

template<class T>
void SeqList<T>:: PopBack()
{
if (_size == 0)
{
return;
}
else
{
--_size;
}
}

template<class T>
void SeqList<T>:: PrintSeqList()
{
for (int i = 0; i < _size; i++)
{
cout << _array[i] << "  ";
}
cout << endl;
}

//int的测试函数
//void Test()
//{
//    SeqList<int> s1;
//    s1.PushBack(1);
//    s1.PushBack(2);
//    s1.PushBack(3);
//    s1.PushBack(4);
//    s1.PushBack(5);
//    s1.PrintSeqList();

//  s2.PopBack();
//  s2.PrintSeqList();
//}

//string的测试函数
void Test()
{
SeqList<string> s2;
s2.PushBack("hello ");
s2.PushBack("world ");
s2.PushBack("I ");
s2.PushBack("love ");
s2.PushBack("IT");
s2.PrintSeqList();

s2.PopBack();
s2.PrintSeqList();
}

int main()
{
Test();
system("pause");
return 0;
}