作者:一根筋的傻瓜
链接:https://www.zhihu.com/question/36379130/answer/69853366
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
链接:https://www.zhihu.com/question/36379130/answer/69853366
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
POD,全称plain old data,plain代表它是一个普通类型,old代表它可以与c兼容,可以使用比如memcpy()这类c中最原始函数进行操作。
C++11中把POD分为了两个基本概念的集合,即:
平凡的(trival)和标准布局的(standard layout)。
Trival(){}=default;
}
就是满足这个要求的,而
struct noTrival{
noTrival(){};
}
就不满足这个要求(哪怕我们定义的构造函数体里面啥都没有)。 这个要求对于带参的构造函数没有束缚。你可以自定义带参的构造函数。
2.接下来是标准布局的定义:
private :
int a;
public:
int b;
}就不满足标准布局,因为a,b访问级别不同。
B b;
int c;
}就不符合这个条件。因为A中第一个成员是基类B类型的。
说了这么多,那么为什么我们需要POD这种条件满足的数据呢?
- 首先是平凡的(trival)定义,通常一个平凡的类或者结构体需要满足以下定义:
- 拥有平凡的默认构造函数和析构函数。默认的意思就是由编译器为我们自动生成的,不许是我们自己定义的,但是由于c++11提供了default,也可以是自己定义的加=default,比如
Trival(){}=default;
}
就是满足这个要求的,而
struct noTrival{
noTrival(){};
}
就不满足这个要求(哪怕我们定义的构造函数体里面啥都没有)。 这个要求对于带参的构造函数没有束缚。你可以自定义带参的构造函数。
- 拥有平凡的拷贝构造函数和移动构造函数。默认的意思同上,也可以使用=default。
- 拥有平凡的拷贝赋值操作符和移动赋值操作符。
- 不能包含虚函数和虚基类。
2.接下来是标准布局的定义:
- 所有非静态成员拥有相同的访问级别,(访问级别就是public,private,protected),
private :
int a;
public:
int b;
}就不满足标准布局,因为a,b访问级别不同。
- 在类和结构体继承时需要满足以下两个情况之一:
- 派生类中有非静态类,那么这个派生类只能有且只有一个仅包含了静态成员的基类。
- 基类有非静态成员,那么派生类中不允许有非静态成员。
- 类中第一个非静态类型与基类不是同一个类型。比如
B b;
int c;
}就不符合这个条件。因为A中第一个成员是基类B类型的。
- 没有虚类和虚基类(与trival中重复)
- 所有非静态数据成员都符合标准布局的要求,这其实就是一个递归的定义。
说了这么多,那么为什么我们需要POD这种条件满足的数据呢?
- 可以使用字节赋值,比如memset,memcpy操作
- 对C内存布局兼容。
- 保证了静态初始化的安全有效。