Lifetime Safety in C++: Past, Present and Future

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

摘要

文档讨论了C++在生命周期安全性（Lifetime Safety）方面的发展现状和未来的改进方向，包括工具箱、长期和短期调查，以及C++ Core Guidelines的Lifetime Safety Profile的修订计划。内容涵盖了C++生命周期安全工具箱的应用、短期调查中的具体内容如流敏感检查和高信度警告处理，以及相关提案如P2255和P2771的讨论。文档还提到了constexpr和consteval等功能的改进，以及Herb Sutter对Lifetime Safety Profile的修订计划，这些都是C++未来发展的重要方向。

AI总结

以下是对文档内容的总结：

---

## 《Lifetime Safety in C++: Past, Present and Future》总结

### 文档核心内容
本文档主要探讨了C++在生命周期安全（Lifetime Safety）方面的现状、近期改进和未来发展方向，重点围绕以下几个方面展开：

---

### 1. **C++生命周期安全的工具箱**
C++正在变得更安全，其生命周期安全工具箱包含以下内容：
- **短期调查与改进**：微软正在进行的短期工作包括：
- 关闭语句本地生命周期检查的差距。
- 将高置信度的生命周期警告移出实验阶段。
- 扩展`lifetimebound`支持到流敏感检查。
- 比较Crubit与C++核心指南的生命周期安全配置文件。
- **C++核心指南的生命周期安全-profile**：Herb Sutter计划在C++2x中修订生命周期安全配置文件。

---

### 2. **C++的安全性改进**
C++的安全性正在逐步提升，具体体现在：
- **constexpr/consteval关键字**：如`consteval`可以防止返回仅临时对象的指针。

  consteval int f() { int *p = nullptr; { int i = 1729; p = &i; } return *p; }

- **P2255提案**：解决从临时对象构造引用的问题，例如：

  std::tuple x("hello");

- **use-after-move问题**：C++正在通过提高移后（use-after-move）安全性来防止潜在的安全漏洞。

---

### 3. **未来展望**
C++的未来发展方向包括：
- **P2771提案**：Thomas Neumann提出的依赖注解（Dependency Annotations）。
- **安全性与效率的结合**：通过改进生命周期安全工具箱和核心指南，进一步提升C++的安全性和易用性。

---

### 总结
本文档阐述了C++在生命周期安全方面的现状、近期改进和未来方向，强调了通过工具、指南和语言特性来提升安全性的重要性，展现了C++在安全性和效率领域的持续进步。

---