以下是一些预计将成为C++26部分的关键特性和改进,这些信息来自Medium上的一篇文章:
- **std::get和std::tuple_size用于聚合体(aggregates):**这个特性允许在通用代码中使用聚合体,使std::get和std::tuple_size能够与它们一起工作。这使得用户可以直接将他们的结构传递给你的通用库,而无需进行不必要的复制。
- **#embed:**这是一个预处理器指令,用于在编译时将文件的内容作为数组进行替换。这个特性正在从新的C标准移植到C++26。
- **从异常中获取std::stacktrace:**这个特性在大多数编程语言中都存在,它允许提供更具信息性和可理解性的诊断,而不是不具信息性的错误消息。然而,它在委员会中遇到了一些阻力。
- **Stackful协程:**经过多年的工作,C++标准终于接近在C++26中添加对stackful协程的基本支持。与stackless协程相比,stackful协程更容易集成到现有项目中,因为它们不需要完全重写为新的习语。
请注意,这些特性仍在开发中,可能会随着C++26标准的演变而改变。
这些都是C++26标准中的一些提议,每个提议都有一个对应的编号,如P2621R2。下面是我对这些提议的理解:
- Removing UB in lexical process (P2621R2): 这个提议可能是关于在词法处理过程中移除未定义行为(Undefined Behavior,简称UB)。
- Making non-encodable string literals ill-formed (P1854R4): 这个提议可能是关于将无法编码的字符串字面量设为错误形式,也就是说,如果一个字符串字面量无法被正确编码,那么它将被视为错误。
- Unevaluated strings (P2361R6): 这个提议可能是关于未评估的字符串,具体的含义可能需要查看具体的提议内容。
- **Adding @, , a n d ‘ t o t h e b a s i c c h a r a c t e r s e t ( P 2558 R 2 ) : ∗ ∗ 这个提议是关于将 @ 、 , and ` to the basic character set (P2558R2):** 这个提议是关于将@、,and‘tothebasiccharacterset(P2558R2):∗∗这个提议是关于将@、和`添加到基本字符集中。
- constexpr cast from void (P2738R1):* 这个提议可能是关于从void进行constexpr转换,也就是说,允许在编译时从void进行转换。
- On the ignorability of standard attributes (P2552R2): 这个提议可能是关于标准属性的可忽略性,也就是说,某些标准属性是否可以被忽略。
- Static storage for braced initializers (P2752R2): 这个提议可能是关于为花括号初始化器提供静态存储,也就是说,允许花括号初始化器使用静态存储。
- User-generated static_assert messages (P2741R2): 这个提议可能是关于用户生成的static_assert消息,也就是说,允许用户为static_assert生成自定义的消息。
- A nice placeholder with no name (P2169R4): 这个提议可能是关于一个没有名字的占位符,具体的含义可能需要查看具体的提议内容。
以上的解释都是基于提议的标题进行的推测,具体的内容可能需要查看每个提议的具体内容。
这些特性和提案是C++26标准库的一部分,下面是对它们的简单解释:
- Testing for success or failure of functions (P2497R0): 这个特性可能是为了改进函数的成功或失败的测试。
- std::text_encoding: text encodings identification (P1885R12): 这个特性可能是为了识别文本编码。
- Arithmetic overloads of std::to_string and std::to_wstring use std::format (P2587R3): 这个特性可能是为了让std::to_string和std::to_wstring的算术重载使用std::format。
- Type checking format args (P2757R3): 这个特性可能是为了检查格式参数的类型。
- Formatting pointers (P2510R3): 这个特性可能是为了格式化指针。
- Hashing support for std::chrono value classes (P2592R3): 这个特性可能是为了支持std::chrono值类的哈希。
- Read-copy update (RCU) (P2545R4): 这个特性可能是为了实现读-复制更新(RCU)。
- Hazard pointers (P2530R3): 这个特性可能是为了实现风险指针。
- ADL-proof std::projected (P2538R1): 这个特性可能是为了使std::projected免受参数依赖查找(ADL)的影响。
- constexpr stable sorting (P2562R1): 这个特性可能是为了实现constexpr稳定排序。
以上只是对这些特性的简单解释,具体的实现和用法可能需要查阅相关的提案和文档。