Object Lifetime: From Start to Finish

• 语言: 英语
• 格式: .pdf
• 来源: github.com/CppCon

摘要

文档详细讨论了C++对象生命周期的定义及其开始和结束的条件。对象的生命周期始于存储分配完成且初始化完成（如果是非空泛初始化）时，结束于析构函数调用或存储释放/重用时。文档特别强调了类类型对象和联合体成员的生命周期规则，并通过示例代码展示了不同场景下的对象生命周期行为。

AI总结

### 文档总结：对象生命周期：从开始到结束

#### 核心观点：
1. **对象生命周期的定义**
对象的生命周期是一个运行时属性，表示对象或引用的存在和有效时间。对象的生命周期从存储分配完成且初始化完成时开始。

2. **对象生命周期的开始条件**
- 存储分配：为对象分配了具有适当对齐和大小的内存空间。
- 初始化完成：如果对象具有非空初始化（即通过非平凡构造函数初始化），则初始化完成。
- 特殊情况：如果对象是联合体成员或子对象，则只有当该成员成为联合体的初始化成员时，其生命周期才开始。

3. **对象生命周期的结束条件**
- 如果对象类型为具有非平凡析构函数的类类型，则析构函数调用开始。
- 存储被释放或被其他对象占用（且该对象不是当前对象的嵌套对象）。

4. **非空初始化的定义**
对象或其子对象通过非平凡构造函数（如构造函数、复制构造函数或移动构造函数）初始化时，称为非空初始化。

5. **示例代码说明**
- `auto v3 = Foo(3);` 和 `auto v4 = new Foo(4);` 展示了对象的创建方式。
- 对象的析构顺序可能与构造顺序不同，需注意析构函数的调用顺序。

6. **关键条款**
- [basic.life]：定义对象生命周期的开始和结束条件。
- [15.4]：涉及析构函数的调用规则。
- [4.5]：涉及存储分配和重用规则。

#### 总结：
对象的生命周期从存储分配和初始化完成时开始，到存储释放或析构函数调用时结束。非空初始化和析构函数的调用顺序是理解对象生命周期的关键。