杂货边角（18）：POD类型

最新推荐文章于 2025-04-08 22:09:04 发布

原创最新推荐文章于 2025-04-08 22:09:04 发布 · 314 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#C++ #POD

C/C++ 专栏收录该内容

32 篇文章

订阅专栏

POD英文全称为Plain Old Data。是C++为了保持和C的兼容性而提出的一个重要概念，该种数据的最主要特征是可以使用memcpy(), memset()等传统的函数直接对数据内存进行字节级别操作。

C++11从两个方面来判断一个数据类型是否是POD的。考虑到C++语言自带的数据类型往往都是直接继承自C的，故而完全可以默认为POD的，而C++相比于C在数据结构方面最大的多样性来源，便是用户自定义的类和结构体。故而判断一个用户自定义数据是否是POD的有两个角度：（缺省）平凡的trivial和标准布局的standard layout。

Sec1. 平凡的

一个平凡的类和结构体：拥有平凡trivial（默认缺省）的构造函数和析构函数，即不能显示定义任何构造函数和析构函数。
1. 无参默认构造函数和析构函数(struct() {} , ~struct())
2. 拥有平凡的拷贝构造函数和移动构造函数(struct(const struct&) {} , struct(struct&&) {}
3. 拥有平凡的移动赋值函数和拷贝赋值函数
4. 不包含虚函数和虚基类。

C++11可以通过一些辅助的类模板来进行属性的判断
template <typename T> strut std::ist_trivial
类模板is_trivial的成员vluae可以用来判断T的类型是否是一个平凡的类型，除了类和结构体外，is_trivial还可以对内置的标量类型数据（如int\float都属于平凡类型）以及数组类型（元素是平凡类型的数组总是平凡的）进行判断。

Sec2. 标准布局的

POD包含的另一个概念是标准布局，标准布局的类或结构体应该符合以下定义：
1. 所有非静态成员有相同的访问权限public, private, protected

2.在类或结构体继承时，满足以下两种情况之一：
A.派生类中有非静态成员，且只有一个仅包含静态成员的基类；
B.基类有非静态成员，而派生类只有静态成员
只要非静态成员同时出现在派生类和基类间，其即不属于标准布局，而对于多重继承中，只要一旦非静态成员出现在多个基类中，则派生类也不属于标准布局的

3.类中的第一个非静态成员的类型和基类不同；（struct A : B { B b;}; //No POD, struct C:B {int a; B b; }; //POD)

4.没有虚函数和虚基类

5.所有非静态数据成员均符合标准布局类型，其基类也符合标准布局。

同样地在C++11中可以通过模板类来帮助判断类型是否是一个标准布局的类型
template <typename T> struct std::is_standard_layout;

对于POD概念而言，C++11就是两个方面：平凡trivial和标准布局的。要判断某个数据类型是否是POD的，标准库中的<type_traits>头文件中提供了如下模板类
template <typename T> struct std::is_pod

#include <iostream>
#include <type_traits>

using namespace std;

struct Trivial1 {};
struct Trivial2 {
public:
    int a;
private:
    int b;
};

struct Trivial3 {
    Trivial1 a;
    Trivial2 b;
};

struct Trivial4 {
    Trivial2 a[23];
};

struct Trivial5 {
    int x;
    static int y;
};

struct NonTrivial1 {
    NonTrivial1() : z(42) {}
    int z;
};

struct NonTrivial2 {
    NonTrivial2();
    int w;
};
NonTrivial2::NonTrivial2() = default;

struct NonTrivial3 {
    Trivial5 c;
    virtual void f();
};

struct SLayout1 {};

//所有数据成员的访问权限一致
struct SLayout2 {
private:
    int x;
    int y;
};

struct SLayout3 : SLayout1 {
    int x;
    int y;
    void f();
};

struct SLayout4 : SLayout1 {
    int x;
    SLayout1 y; //第一个非静态数据成员不能和基类是同一类型
};

//多重继承时，多个基类不能同时出现非静态成员
struct SLayout5 : SLayout1, SLayout3 {};

struct SLayout6 { static int y; };

//继承时，非静态成员要么出现在基类中，要么出现在派生类中
//非静态成员不能同时出现在基类和派生类中
struct SLayout7 : SLayout6 { int x; };

struct NonSLayout1 : SLayout1 {
    SLayout1 x; //第一非静态数据成员和基类同类型
    int i;
};

//非静态数据成员同时出现在基类和派生类中，且访问权限不一致
struct NonSLayout2 : SLayout2 { int z; };

struct NonSLayout3 : NonSLayout2 {};

struct NonSLayout4 {
public:
    int x;
private:
    int y;
};

int main()
{
    cout << is_trivial<Trivial1>::value << endl;
    cout << is_trivial<Trivial2>::value << endl;
    cout << is_trivial<Trivial3>::value << endl;
    cout << is_trivial<Trivial4>::value << endl;
    cout << is_trivial<Trivial5>::value << endl;

    cout << is_trivial<NonTrivial1>::value << endl;
    cout << is_trivial<NonTrivial2>::value << endl;
    cout << is_trivial<NonTrivial3>::value << endl;

    cout << is_standard_layout<SLayout1>::value << endl;
    cout << is_standard_layout<SLayout2>::value << endl;
    cout << is_standard_layout<SLayout3>::value << endl;
    cout << is_standard_layout<SLayout4>::value << endl;
    cout << is_standard_layout<SLayout5>::value << endl;
    cout << is_standard_layout<SLayout6>::value << endl;
    cout << is_standard_layout<SLayout7>::value << endl;

    cout << is_standard_layout<NonSLayout1>::value << endl;
    cout << is_standard_layout<NonSLayout2>::value << endl;
    cout << is_standard_layout<NonSLayout3>::value << endl;
    cout << is_standard_layout<NonSLayout4>::value << endl;

    return 0;
}