Iteration Revisited

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

摘要

文档讨论了C++迭代器的安全性和效率问题。指出了STL迭代器的不安全性，并通过索引迭代减少了未定义行为的可能性。介绍了Flux库作为更安全的替代方案，强调其与STL的兼容性、性能和易用性。此外，文档还比较了C++与其他语言如D和Rust的迭代器实现，探讨了安全性、易用性和未来编程趋势。

AI总结

### 总结

#### 1. 迭代器的基本问题
- STL迭代器（Standard Template Library Iterators）本质上是不安全的抽象，许多操作可能导致未定义行为（Undefined Behaviour，UB）。
- 使用传统指针进行迭代（如`for (size_t i = 0; i < sz; i++)`）虽然直观，但容易引发UB。

#### 2. 迭代器的改进方向
- **基于索引的迭代**：通过索引进行迭代可以显著减少UB的风险，同时保持与指针迭代器相同的强大功能。
- **Flux库**：这是一个C++20库，旨在通过改进迭代器的安全性和易用性，减少“坑点”（gotchas），同时提供与STL代码的兼容性。
- Flux的优势包括：
- 提高默认安全性。
- 更低的运行时性能开销。
- 更直观的语法。
- Flux的目标是与C++20范围的性能相媲美，甚至更优。

#### 3. 安全性与未来
- 迭代器设计的核心价值包括**安全性**、**正则性**（Regular）、**独立性**以及对编程未来的探索。
- 与Rust等语言相比，C++的迭代器设计在安全性和语法简洁性上仍有改进空间。例如，Rust通过值语义和所有权系统提供了更高的安全保证。

#### 4. 关键观点
- 迭代器的不安全性是C++生态系统中的一个长期问题，改进迭代器设计是未来编程语言和库发展的重点方向。
- Flux库提供了一种探索更安全迭代器的途径，但其安全性仍需进一步验证和优化。

#### 5. 总结
- 迭代器的安全性和性能优化是当前C++开发的重要课题。
- 基于索引的迭代和Flux库的探索为解决传统迭代器的不安全性和复杂性提供了新的思路。
- 未来，迭代器的设计需要在安全性、性能和易用性之间找到更好的平衡点。