A Primer on Initialization

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

摘要

文档系统介绍了C++中的初始化机制，包括默认初始化、值初始化、直接初始化、复制初始化、聚合初始化、零初始化和列表初始化等多种类型。文档详细阐述了每种初始化方式的语法和行为，特别是在不同上下文中的应用，如函数参数和new表达式中的初始化。文档还讨论了初始化在处理数组或聚合类型时的具体规则，以及在没有用户定义构造函数时类成员的初始化方式。

AI总结

《A Primer on Initialization》是一份关于C++初始化的入门指南，主要介绍了初始化的基本概念、语法及不同类型。以下是文档的核心内容总结：

### 1. 初始化概述
- **初始化类型**：包括默认初始化、直接初始化、值初始化、复制初始化、聚合初始化、零初始化等。
- **语法**：初始化通常通过构造函数或直接赋值实现，具体语法形式因初始化类型而异。

### 2. 初始化类型
- **默认初始化**：
- 语法：`T object;`
- 特点：若无用户定义的构造函数，则调用默认构造函数；若无，则成员变量可能处于未定义状态。
- 示例：`struct Point { int a; }; Point p;`中`p.a`可能为未定义值。

- **值初始化**：
- 语法：`T();`（C++03引入）或`T object{};`（C++11引入）。
- 特点：对基本类型零初始化，对类类型调用默认构造函数或零初始化成员变量。
- 示例：`int i{};`结果为0。

- **直接初始化**：
- 语法：`T object(arg);`或`T object{arg};`
- 特点：通过构造函数初始化对象或直接赋值（如数组或聚合类型）。
- 示例：`int x(5);`或`vector vec(3, 10);`。

- **复制初始化**：
- 特点：通过复制构造函数实现对象初始化。
- 示例：`vector vec2(vec1);`。

- **聚合初始化**：
- 语法：`T{...};`
- 特点：适用于数组或聚合类型（如结构体），直接初始化每个成员。
- 示例：`struct Point { int x, y; }; Point p{1, 2};`。

- **零初始化**：
- 特点：所有成员变量初始化为0（或等价值）。
- 示例：数组或未显式初始化的类成员。

### 3. 特殊情况
- **默认初始化的限制**：
- 对基本类型（如`int`）调用默认初始化会导致未定义行为（UB）。
- 示例：`int a;`结果为未定义。

- **值初始化与默认初始化的区别**：
- 值初始化强制零初始化，而默认初始化依赖于是否存在默认构造函数。

### 4. 其他注意事项
- **静态初始化**：全局或静态对象在程序启动时初始化。
- **拷贝消除（Copy Elision）**：在返回值或构造函数中可能优化拷贝操作。

### 总结
初始化是C++编程中的核心概念，不同类型的初始化适用于不同的场景。理解这些类型的语法和行为对于编写高效、可靠的代码至关重要。