關於C++中的POD型別

 

POD型別(plain old data)，我第一次是在Morden C++ design中看到的。說實話這確實是一本好書，裡面的技巧讓人歎為觀止。裡面提到了POD型別，該型別相容C語言的struct，主要的用處是，POD對象（特別是數組）在進行複製的時候，不必調用對象的複製建構函式或者operator=，可以直接採用memcpy函數來提高效率。Morden C++ design裡面講，可以通過偏特化的方法萃取POD類型，但是沒有給出具體的方法，這一直困擾了我好久。

 

在侯捷對STL源碼的剖析中，提到了SGI-STL中對POD型別萃取方式，但是本質上沒有通用性。基本的方式是，在某一個類中增加一個typedef，來標識這個類是POD型別，還是不是。執行個體代碼如下：

 

#include<iostream>

using namespace std;

class A

{

    public:

    typedef __true_type has_trivial_destructor;

};

class B

{     

    public:

    typedef __false_type has_trivial_destructor;

};

template<class T>

class __traits

{

    public:

    typedef typename T::has_trivial_destructor has_trivial_destructor;

};

template<class T>

void check(T& t)

{

    typedef typename __traits<T>::has_trivial_destructor trivial_destructor;

    _check(t,trivial_destructor());

}

template<class T>

void _check(T& t,__false_type)

{

    cout<<"Has non-trivial destructor."<<endl;

}

template<class T>

void _check(T& t,__true_type)

{

    cout<<"Has trivaial destructor."<<endl;

}

int main()

{

    A a;

    B b;

    check(a);

    check(b);

    return 0;

}

 

 

今天看到了一個方法，讓我眼前一亮，它能夠編譯期確定一個型別是否為POD型別。但是，卻不能利用該特性進行型別萃取，只能判斷某一型別是否為POD型別，如果不是，編譯器報錯。方法如下：

template<class T>

struct must_be_pod

{

    union

    {

        T noname;

    };

}; 

 

將一個類作為模板形參傳入，如果其是POD型別，則可以放入union中，否則，不是POD類型。這裡其實，是將POD型別等價於可以放入union中的對象。C++中，可以放入union中的對象，是其本身以及其所有的成員變數都沒有預設建構函式的對象。

 

因此，目前對於POD型別的萃取，貌似依然沒有好的辦法……