关闭

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

95人阅读 评论(0) 收藏 举报
分类:

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


我们以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;
}

本文出自 “Han Jing's Blog” 博客,请务必保留此出处http://10740184.blog.51cto.com/10730184/1752747

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:49926次
    • 积分:612
    • 等级:
    • 排名:千里之外
    • 原创:174篇
    • 转载:9篇
    • 译文:0篇
    • 评论:2条
    关于博主
    github:https://github.com/hanxiaojing Email: hanjing_1995@163.com 原51.cto: http://10740184.blog.51cto.com 欢迎来访~
    文章分类
    最新评论