C++20 最新进展：加入模块化和协程，进入特性冻结阶段

来自：开源中国
链接：https://www.oschina.net/news/104653/201902-kona-iso-c-committee-trip-report-c20

刚刚结束的 C++ 标准委员会2019春季会议在夏威夷科纳举办，委员会在这次会议中确定了下一个国际标准 C++20 的全部特性，这标志着 C++20 的特性设计工作已完成。
按照 C++20 的发布计划，这次会议正是为了冻结 C++20 的特性而举办，进入特性冻结阶段(Feature freeze)意味着所有的功能特性将被冻结，并且不会再加入更多的新特性。
接下来我们看看上周会议确定添加至 C++20 草案的新特性：

模块化(Modules)
协程(Coroutines)
static, thread_local, 和 lambda capture 的结构化绑定
std::polymorphic_allocator
std::midpoint 和 std::lerp
std::execution::unseq 执行策略
std::ssize() 作为自由函数(free function)会返回符号大小(signed size)
std::span 的可用性增强
lookup 中新增预计算哈希值的功能(Precalculated hash values)

协程的加入应该是最大的惊喜了，值得期待！官方还表示，C++20 应该会是一个像 C++11 那样的大版本。
以下的特性已在本次会议或之前的会议上通过了批准，但尚未添加到 C++20 中，因为目前规范仍在编写中。它们有望在2019年7月的科隆会议上被加入，不过由于时间限制，可能无法完成所有工作。

Expansion statements
The C++20 synchronization library
std::format
constexpr std::vector
Allow constexpr allocation, but disallow allocations that are not deleted at compile time
constexpr std::type_info::operator==
New conceptification of iterators
Monadic operations for std::optional
std::source_location
std::flatmap
std::flatset
std::any_invocable
std::ostream_joiner
Stack trace library
std::byteswap
constinit
Deprecating some uses of volatile
Implicit creation of objects for low-level object manipulation
using enum

下面的这些特性，早已在之前的会议上通过了批准：

Concepts
Contracts
Ranges
operator
A lot more constexpr features: consteval functions, std::is_constant_evaluated, constexpr union, constexpr try and catch, constexpr dynamic_cast and typeid
std::span
Synchronized output
std::atomic_ref

按照计划的发布进度，C++20 预计将于明年夏季推出。

C++20 发布计划
最后，看看 C++ 主要特性的开发进度。
自上次会议以来的变更：

名词解释

IS = 国际标准。如 C++ 编程语言：C++11, C++14, C++17 等
TS = 技术规范。在该阶段中，特性分支处于可使用状态，但尚未被所有厂商实现。如 Coroutines TS v1, Modules TS v1 等。
CD = 委员会草案，即 IS/TS 的草案，用于给标准机构进行审查和反馈("beta testing")。

据透露，工具研究小组 SG15 决定创建一个 C++ 生态系统技术报告，该报告将描述新模块化 C++ 中工具（构建系统等）的最佳实践和最新技术。
详细请内容请复制以下链接到浏览器打开查看https://www.reddit.com/r/cpp/comments/au0c4x/201902_kona_iso_c_committee_trip_report_c20/
●编号457，输入编号直达本文

●输入m获取文章目录
C语言与C++编程
分享C/C++技术文章