c++ 聚合/POD/平凡/标准布局 介绍
前言
因为要整理近期学习的c++特性，特地出一篇来介绍POD类型和c++11引进的Trivial和Standard-layout
聚合
聚合是以下类型之一：
- 数组类型
- 类类型（通常，struct或union）具有
| 没有用户声明的构造函数 | （直到 C++11） |
|---|---|
| 没有用户提供的构造函数（允许显式默认或删除的构造函数） | (C++11 起) (C++17 前) |
没有用户提供的、继承的或显式（指explicit，c++17特意新加）的构造函数（允许显式默认或删除的构造函数） |
(C++17 起) (C++20 前) |
没有用户声明或继承的构造函数（相当于=default不行了） |
(C++20 起) |
- 没有
virtual、private或protected(C++17 起)基类 - 没有虚拟成员函数
| 没有默认的成员初始化器 | (C++11 起) (C++14 前) |
|---|
聚合初始化。它是列表初始化 （C++11 起）或直接初始化 （C++20 起）的一种形式
POD（Plain Old Data）
POD规范着对象的类型，主要是为了兼容C，C++可以直接使用C库函数操作POD数据类型，拥有POD特征的类或结构体通过直接字节拷贝或二进制拷贝后依然能保持数据结构不变，POD类型在C和C++间的操作总是安全的。
特征：
- 标量类型（算术类型（整型/浮点型）、指针、成员指针、枚举类型）
- 类类型(class、struct、union)
- 从c++11起
- 是平凡（
trivial）类型（后续介绍） - 是标准布局（
standard-layout）类型（后续介绍） - 所有非静态成员都是POD类型
- 是平凡（
- 从c++11起
特性：
- 完全与C兼容，但是仍然可以有成员函数；POD类型标准到甚至可以与其他语言兼容；
- 可以用
std::memcpy拷贝（对于非POD类型，即使满足TriviallyCopyable，用std::memcpy拷贝的行为也是未定义的） - 有更长的生命周期，从资源获取到资源释放，而非POD类型的是从构造函数结束到析构函数结束；
- POD类型对象的前部没有填充字节，即对象指针与第一个成员的指针是相等的
来自cppreference：PODType
平凡类型（TrivialType）
要求
来自cppreference：TrivialType
平凡可复制（TrivialCopyable）
要求
以下类型统称为平凡可复制类型：
- 标量类型
- 可简单复制的类，即满足以下要求的类：
- 至少一个拷贝构造函数、移动构造函数、复制赋值运算符或移动赋值运算符符合条件
- 每个符合条件的拷贝构造函数（如果有的话）都是平凡的
- 每个符合条件的移动构造函数（如果有）都是平凡的
- 每个符合条件的复制赋值运算符（如果有）都是平凡的
- 每个符合条件的移动赋值运算符（如果有）都是平凡的
- 有一个平凡的的未删除析构函数
- 这里有很多符合条件的要求，但大致如下
- 如果未删除函数（拷贝构造、移动构造、拷贝赋值、移动赋值 （标准c++20前）），则它是符合条件的。符合条件的函数（上述四者）的平凡性决定了该类是否是隐式生命周期类型，以及该类是否是可平凡复制的类型。
- 这里有很多平凡的概念，但大致如下
- 它不是用户提供的（意思是，它是被隐式定义或默认的）
- 所在类没有虚拟，包括虚基类和虚成员函数
- 对每个非静态类型类型（或类类型数组）成员，递归该要求
- 这里有很多符合条件的要求，但大致如下
- 平凡可复制对象 的数组
来自cppreference：TriviallyCopyable
使用is_trivially_copyable(C++11)可判断类型是否是平凡可复制的
std::is_trivially_copyable
对于某些函数的补充说明
平凡拷贝构造函数
平凡可复制对象可以通过手动复制其对象表示来复制，例如使用std::memmove。所有与 C 语言兼容的数据类型（POD 类型）都可以轻松复制。
符合条件的移动构造函数
平凡移动构造函数是执行与普通拷贝构造函数相同的操作的构造函数，也就是说，就像通过std::memmove一样制作对象表示的副本。所有与 C 语言兼容的数据类型（POD 类型）都可以轻松移动。
符合条件的拷贝赋值运算符
平凡拷贝赋值运算符生成对象表示的副本，就像通过std::memmove一样。所有与 C 语言兼容的数据类型（POD 类型）都可以简单地拷贝分配。
符合条件的移动赋值运算符
平凡移动赋值运算符执行与平凡拷贝赋值运算符相同的操作，即生成对象表示的副本，就像std::memmove一样。所有与C语言兼容的数据类型（POD类型）都可以简单地移动赋值。
符合条件的析构函数
平凡析构函数是不执行任何操作的析构函数。具有普通析构函数的对象不需要删除表达式，并且可以通过简单地释放它们的存储来处理。所有与 C 语言兼容的数据类型（POD 类型）都可以轻松破坏。
标准布局类型（Standard-layout Type）
标准布局规范着对对象的布局。标准布局类型对于与用其他编程语言编写的代码进行通信很有用。
当类或结构不包含某些C++语言功能（例如无法在C语言中找到虚函数），并且所有成员都具有相同的访问控制时，该类或结构为标准布局类型。可以在内存中对其进行复制，并且布局已经充分定义，可以由C程序使用。标准布局类具有用户定义的特殊成员函数。此外有以下特征
- 所有非静态数据成员具有相同的访问控制
- 没有虚函数或虚基类
- 没有引用类型的非静态数据成员
- 类类型的所有非静态成员和基类本身都是标准布局类型
- 没有与第一个非静态数据成员类型相同的基类
- 满足以下条件之一：
- 最底层派生类中没有非静态数据成员，并且具有非静态数据成员的基类不超过一个（换言之继承树中最多只能有一个类有非静态数据成员），或者
- 没有含非静态数据成员的基类
举两个例子，Base类和Derived类中都有非静态数据成员，因为当Derived继承于Base，有std::is_standard_layout<Derived>为false，std::is_standard_layout<Base>为true
struct Base
{
int i;
int j;
};
// std::is_standard_layout<Derived> == false!
struct Derived : public Base
{
int x;
int y;
};
Derived 是标准布局，因为 Base 没有非静态数据成员：
struct Base
{
void Foo() {}
};
// std::is_standard_layout<<Derived> == true
struct Derived : public Base
{
int x;
int y;
};
标准布局兼容
涉及两个或两个以上满足标准布局的数据结构兼容问题，概括起来有点复杂，先直接抛cppreference链接看吧（后续再细看），在标准布局内容下边
例子
类A满足POD类型要求，即可直接通过字节拷贝 拷贝其数据，在此情形下，字节拷贝效率是很快的
class A
{
public:
int a;
int b;
};
int main()
{
A a1;
a1.a = 10;
a1.b = 20;
char* p = new char[sizeof(A)];
memcpy(p, &a1, sizeof(A));
A* a2 = reinterpret_cast<A*>(p);
cout << a2->a << "\n" << a2->b << "\n";
}
总结
POD概念在C98中被提出，在C++20被启用，取而代之的是在C++11引入的Trivial和Standard-layout类型，因本文所介绍内容在《深度探索C++对象模型》中会被重点介绍，待后续阅读完此书籍后，再对本文进行更多补充
引用博客
《深度探索C++对象模型》
最新文章
- caffe调试小结2
- eclipse 搭建Swt 环境
- 226 Invert Binary Tree
- 【PHP面向对象(OOP)编程入门教程】18.__call()处理调用错误
- 无锁数据结构（Lock-Free Data Structures）
- set使用
- 缓存应用--Memcached分布式缓存简介
- usb库文件usb_desc.c分析
- hihocoder 1233 Boxes
- vim配置vimrc详解(转）
- (Error) The type AESKeyGenerator is not accessible due to restriction on required library.
- fopen 參数具体解释
- CentOS服务器下对mysql的优化
- JavaScript中，关于new的那些事
- VMware Linux 下 Nginx
- java 文件操作（二）---Files和Path
- CSS3 转换、过渡和动画
- lglob-lua 静态检查脚本
- springboot 应用中静态资源下载
- eclipse新发现功能之dos和terminal（ssh连接）