Regular, Revisited

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

摘要

文档讨论了Regular类型在现代C++编程中的重要性，特别是其在标准模板库（STL）中的应用。文中提到，Regular类型是STL设计原则的核心，且在处理值类型、整体-部分语义、复制、复合对象、排序和等式等方面具有重要意义。作者强调了设计和实现Regular类型在日常编程中的关键作用，并指出违反隐式契约可能导致意外行为。文档还探讨了如何在实践中处理非值类型，如string_view和span，并提供了常见问题和指导。

AI总结

《Regular, Revisited》这篇文章主要探讨了“Regular”类型在编程中的重要性及其在标准模板库（STL）中的应用。以下是文档的核心观点和关键信息总结：

1. **正则类型的概念**
- “Regular”（正则）并不是一个新概念，其根源可以追溯到STL的设计原则，尤其是在Alexander Stepanov的《Generic Programming fundamentals》论文中。
- 正则类型是编程中的基础概念，是STL数据结构和算法正常运作的前提条件。

2. **正则类型的重要性**
- STL中的词汇类型（如`string_view`、`span`、`optional`、`expected`等）引发了关于值类型、整体部分语义、复制、复合对象、排序和等式等问题。
- 设计和实现正则类型在日常编程中至关重要，而不仅仅是库设计的一部分。通过合理约束类型和函数原型，可以实现直观的使用；反之，违反隐含契约可能导致意外行为。

3. **与STL的关系**
- STL假设其处理的类型具有特定的性质，并对数据结构和算法提出了概念性要求。正则类型是STL设计的核心基础。
- 作者通过案例和常见问题，探讨了正则类型与STL构造之间的关系，并提供了实际指导。

4. **非值类型的应用**
- Titus Winters的《Revisiting Regular Types》讨论了如何将非值类型（如`string_view`和`span`）视为正则类型，并在实践中对其进行评估，而无需放弃正则设计的原则。

5. **现代C++中的应用**
- 正则类型的概念在不断扩展的C++标准中仍然具有重要意义，适用于新的数据结构和算法设计。
- 作者强调，正则类型不仅仅是语言特性，而是编程中的基础概念，值得深入理解和应用。

总结来说，这篇文章强调了正则类型在编程和STL设计中的核心地位，并通过实际案例和指导帮助开发者更好地理解和应用这一概念。