C++26 编译器支持
来自cppreference.com
< cpp | compiler support
* - 在版本号上停留可以查看注记 * 查看其他注记
DRnn - 在 "DR" 后的数字 nn 表示应用该缺陷报告的目标 C++ 修订版本,例如 DR20 → C++20。
C++26 核心语言功能特性
| C++26 功能特性 |
提案 |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
Nvidia HPC C++ (ex PGI)* |
Nvidia nvcc |
Cray |
|
|---|---|---|---|---|---|---|---|---|---|---|---|
| DR98: 从词法分析中删除未定义行为 | P2621R3 | 是 | 3.3 | 16.0.0* | |||||||
| DR98: 使不可编码的字符串文本格式非良构 | P1854R4 | 14 | 14 | 16.0.0* | |||||||
| 不求值字符串 | P2361R6 | 14 | 17 (部分)* 18 |
16.0.0* | |||||||
将 @,$,和 ` 添加至基本字符集
|
P2558R2 | 15 | 是 | 16.0.0* | |||||||
constexpr 的从 void* 转换 (FTM)*
|
P2738R1 | 14 | 17 | ||||||||
| DR20: 使标准属性可忽略 | P2552R3 | 15 | 是 | ||||||||
| DR11: 花括号初始化的静态存储 | P2752R3 | 14 | |||||||||
| 用户生成的 static_assert 消息 (FTM)* | P2741R3 | 14 | 17 | ||||||||
| 没有名字的占位符变量 (FTM)* | P2169R4 | 14 | 18 | ||||||||
| 包索引 (FTM)* | P2662R3 | 15 | 19 | ||||||||
| 删除枚举被弃用的算术转换 | P2864R2 | 14 | 18 | ||||||||
| DR11/20:模板形参初始化 | P2308R1 | 9 | 18 | ||||||||
| 不允许绑定返回的引用到临时量 | P2748R5 | 14 | 19 | ||||||||
| 结构化绑定的属性 (FTM)* | P0609R3 | 15 | 19 | ||||||||
未初始化读取的错误行为,[[indeterminate]] 属性
|
P2795R5 P3684R1 |
16 | |||||||||
= delete("reason"); (FTM)*
|
P2573R2 | 15 | 19 | ||||||||
| 可变参数友元 (FTM)* | P2893R3 | 15 | 20 | ||||||||
| DR98:澄清聚合初始化中的括号消除规则 | P3106R1 | 是 | 17 | ||||||||
| DR20:不允许模块声明为宏 | P3034R1 | 15 | |||||||||
| DR11:平凡的无限循环不是未定义行为 | P2809R3 | 14 | 19 | ||||||||
constexpr 布置 new (FTM)* (FTM)*
|
P2747R2 | 15 | 20 | ||||||||
| 用结构化绑定声明作为条件 (FTM)* | P0963R3 | 15 | 6(部分)* 21 |
||||||||
| 涉及折叠表达式的约束定序 (FTM)* | P2963R3 | 19 | |||||||||
| 删除指向不完整类型的指针应当非良构 | P3144R2 | 15 | 19 | 6.7 | |||||||
| 结构化绑定可以引入包 (FTM)* | P1061R10 | 16 | 21 | ||||||||
constexpr 结构化绑定与 constexpr 变量的引用
|
P2686R5 | 16* | 22 (部分)* | 6.7 | |||||||
constexpr 异常 (FTM)*
|
P3068R6 | 16 | |||||||||
| 牛津可变逗号 | P3176R1 | 15 | 20 | ||||||||
| 移除已弃用的数组比较 | P2865R6 | 15 | 20 | ||||||||
#embed (FTM)*
|
P1967R14 | 15 | 19* | ||||||||
| 概念和可变模板模板参数 (FTM)* | P2841R7 | 22 (部分)* | |||||||||
| 平凡联合体 (FTM)* | P3074R7 P3726R2 |
||||||||||
| 可观测检查点 | P1494R5 | 16 | |||||||||
| 契约 (FTM)* | P2900R14 | 16 | |||||||||
| 反射 (FTM)* | P2996R13 P3394R4 P3293R3 P3096R12 P3795R2 |
16* | |||||||||
| 展开语句 (FTM)* | P1306R5 | 16 | |||||||||
constexpr 虚继承 (FTM)*
|
P3533R2 | 16 | |||||||||
| 诊断预处理器错误 | P2843R3 | 16 | |||||||||
| 允许将主函数附加到全局模块 | P3618R0 | 16 | |||||||||
DR20:允许 #line 出现于模块声明之前
|
P3868R1 | ||||||||||
| DR17:对类模板模板形参进行类模板实参推导 | P3865R3 | ||||||||||
| 契约断言中拼接表达式的 const 化 | P3598R0 | ||||||||||
| C++26 功能特性 |
提案 |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
Nvidia HPC C++ (ex PGI)* |
Nvidia nvcc |
Cray |
C++26 库功能特性
| C++26 功能特性 |
提案 |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang* |
|
|---|---|---|---|---|---|---|
| 测试 <charconv> 函数的成功或失败 (FTM)* | P2497R0 | 14 | 18 | 16.0.0* | ||
| std::text_encoding:文本编码识别 (FTM)* | P1885R12 P2862R1 |
14 | ||||
| 使用 std::format 实现 std::to_string 和 std::to_wstring 的算术类型重载 (FTM)* | P2587R3 | 14 | ||||
| 类型检查格式参数 (FTM)* | P2757R3 | 15 | ||||
| 格式化指针 (FTM)* | P2510R3 | 14* | 17* | 19.40** | ||
| std::chrono 各值类型的散列支持 (FTM)* | P2592R3 | 16 | ||||
| <rcu>:读-复制-更新(RCU) (FTM)* | P2545R4 | |||||
| <hazard_pointer>:风险指针 (FTM)* | P2530R3 | |||||
| 免遭 ADL 的 std::projected | P2538R1 | 14* | 18* | 19.38** | 16.0.0* | |
| constexpr 的稳定排序 (FTM)* | P2562R1 | 15 | 21 | |||
| 成员 std::basic_format_arg::visit() (FTM)* | P2637R3 | 15 | 19 | |||
| 成员 std::variant::visit() (FTM)* | P2637R3 | 15 | 18 | |||
| std::is_within_lifetime (FTM)* | P2641R4 P3450R1 |
22 (部分)* | ||||
| 使用既存的异构重载扩展关联容器 (FTM)* | P2363R5 | 16 | ||||
| 允许在无序关联容器中使用 std::weak_ptr 作为 key (FTM)* | P1901R2 | 16 | ||||
| 从文件流获得本机句柄 (FTM)* | P1759R6 | 14 | 18 | 16.0.0* | ||
| 字符串流的 std::string_view 接口 (FTM)* | P2495R3 | 16 | 19 | |||
| std::bitset 的 std::string_view 接口 (FTM)* | P2697R1 | 16 | 18 | 16.0.0* | ||
使 <cmath> 和 <complex> 更 constexpr (FTM)* (FTM)*
|
P1383R2 | 4.6 (部分)* | ||||
| 为 <ratio> 添加新的 2022 国际单位制(SI)前缀:std::quecto、std::ronto、std::ronna 和 std::quetta (FTM)* | P2734R0 | 14 | 17* | |||
| std::function_ref:类型擦除的可调用引用 (FTM)* | P0792R14 P3961R1 |
16 | ||||
| std::copyable_function (FTM)* | P2548R6 | 16 | ||||
| 使用 NTTP 可调用对象的 std::bind_front、std::bind_back 和 std::not_fn (FTM)* (FTM)* (FTM)* |
P2714R1 | 16 | ||||
| std::submdspan() (FTM)* | P2630R4 P3355R1 P3663R3 P3982R2 |
16 | ||||
| 独立式语言:可选 ::operator new | P2013R5 | 19.38* | ||||
| 独立的 std::char_traits,std::errc 和 <charconv>、<cstdlib>、<cstring>、<cwchar> 中的设施 (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* | P2338R4 | 19.38* | ||||
| 更多独立设施 (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* |
P2198R7 | 19.38* | ||||
| 饱和算术 (FTM)* | P0543R3 P4052R0 |
14 16* |
18 | 16.0.0* | ||
| <debugging>:调试支持 (FTM)* | P2546R5 P2810R4 |
16* | ||||
| <linalg>:基于 BLAS 的自由函数线性代数接口 (FTM)* | P1673R13 P3050R2 P3222R0 P3371R5 |
|||||
| 使 assert() 宏用户友好 | P2264R7 | 是* | ||||
| 动态格式化字符串 (FTM)* | P2918R2 P3953R3 |
14* 16* |
18 | 16.0.0* | ||
| std::span::at() (FTM)* | P2821R5 | 14 | 18 | 16.0.0* | ||
| 向 std::complex 添加元组协议 (FTM)* | P2819R2 | 15 | 19 | |||
| std::generate_canonical 的新规范 | P0952R2 | 16 | 19.42* | |||
| 删除被弃用的类型别名 std::allocator::is_always_equal | P2868R3 | 15 | 18 | 16.0.0* | ||
| 删除 std::basic_string::reserve() 的无参重载 | P2870R3 | 18 | 16.0.0* | |||
| 删除被弃用的 Unicode 转换设施 (<codecvt>) | P2871R3 | 18 | 16.0.0* | |||
| 独立式:删除 std::strtok (FTM)* | P2937R0 | 14 | 19.40* | |||
| 独立式库:使得部分类独立 (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* | P2407R5 | 14 | 19.42* | |||
| 独立式库:std::inout、std::expected、std::span (FTM)* (FTM)* (FTM)* (FTM)* |
P2833R2 | 14 | 19.42* | |||
| DR23:std::basic_const_iterator 应该遵从其底层类型的可转换性 (FTM)* | P2836R1 P2950R0 |
14 | 19.40* | |||
| DR20:std::make_format_args 只接受左值引用而不是转发引用 | P2905R2 | 14 | 18 | 19.40* | 16.0.0* | |
| DR20:修复格式化代码单元为整数 (FTM)* | P2909R4 | 13.3 | 18 | 19.40* | 16.0.0* | |
| views::concat (FTM)* | P2542R8 | 15 | ||||
| 连接字符串和字符串视图 (FTM)* | P2591R5 | 15 | 19 | |||
| 为算法启用列表初始化 (FTM)* | P2248R8 P3217R0 P3787R2 |
15 | ||||
| std::ranges::generate_random (FTM)* | P1068R11 | |||||
| std::reference_wrapper 的比较,以及对 std::pair、std::tuple、std::optional 和 std::variant 的比较的约束 (FTM)* (FTM)* | P2944R3 | 14 | 22 19 (部分)* |
|||
有填充 mdspan 布局 (FTM)*
|
P2642R6 | 16 | ||||
| 新的 std::span 和 std::mdspan 以整数常量进行的 CTAD | P3029R1 | 16 | 19 | |||
| 原子的最大值与最小值 (FTM)* | P0493R5 | 16 | ||||
| std::formatter<std::filesystem::path> (FTM)* | P2845R8 | 16 | ||||
| 用 std::println() 打印空行 (FTM)* | P3142R0 | 14* | 19* | 19.41** | ||
| 取消弃用 std::polymorphic_allocator::destroy | P2875R4 | 14.3* | 15 | 19.41* | ||
移除已弃用的 strstream
|
P2867R2 | 19 | ||||
| 移除已弃用的 std::shared_ptr 原子访问 API | P2869R4 | |||||
| 移除 std::wstring_convert | P2872R3 | 19 | ||||
| DR23:允许 std::print 的一种高效实现 (FTM)* | P3107R5 P3235R3 |
16 | 19.43* | |||
| 执行控制库 (FTM)* | P2300R10 P3396R0 P3570R2 P3481R5 P3433R1 P3682R0 P3388R3 P3887R1 |
|||||
| 额外的执行控制库修复 | P3826R5 P4159R0 P4154R0 P3373R4 P3986R1 |
|||||
| std::inplace_vector:具有固定容量的可动态调整大小向量 (FTM)* | P0843R14 P3981R2 P4022R0 |
16 | ||||
| std::philox_engine:基于计数器的随机数引擎 (FTM)* | P2075R6 | 16 | ||||
| std::optional 的范围支持 (FTM)* | P3168R2 P3913R1 |
16 | 22 (部分)* | |||
| std::is_virtual_base_of:用于检测虚基类的类型特征 (FTM)* | P2985R0 | 15 | 20 | |||
| 用于 std::mdspan 的 std::dims (FTM)* | P2389R2 | 16 | 19 | |||
| DR11:std::ignore 的类型的正式规范 | P2968R2 | 15 | 19 | 19.42* | ||
| DR20:移除可间接调用概念中对公共引用的要求 (FTM)* | P2997R1 | 15 | 19 | 19.42* | ||
| 弃用 std::is_trivial 和 std::is_trivial_v | P3247R2 | 15 | 21 | |||
| DR20:算法函数对象 | P3136R1 | 是 | 是 | 19.39* | 是 | |
| std::ranges::cache_latest_view (FTM)* | P3138R5 | 15 | ||||
| 约束 std::expected 的相等运算符 (FTM)* | P3379R0 | 15 | 22 | |||
| std::aligned_accessor:使用过量对齐指针的 std::mdspan 访问器 (FTM)* | P2897R7 | 16 | ||||
| std::is_sufficiently_aligned:检查指针的对齐前条件 (FTM)* | P2897R7 | 16 | ||||
| std::atomic_ref::address() (FTM)* | P2835R7 | 16 | 22 | |||
| DR11/20:std::atomic 与 std::atomic_ref 中的 cv 限定类型 | P3323R1 | 16 | 19.44* | |||
| constexpr 的 std::atomic 与 std::atomic_ref (FTM)* | P3309R3 | |||||
| constexpr 的特化内存算法 (FTM)* | P3508R0 P3369R0 |
15 | ||||
| <stdbit.h> 与 <stdckdint.h> (FTM)* (FTM)* | P3370R1 | 15* 16 |
||||
| <simd>:数据并行类型 (FTM)* | P1928R15 P3430R3 P2876R3 P3691R1 P3922R1 P3690R1 P3932R0 P4012R1 |
16 (部分)* | ||||
| SIMD 数学运算 | P1928R15 P3844R4 |
|||||
| 用于创建执行环境的工具 | P3325R5 | |||||
| constexpr 的异常类型,例如 std::bad_alloc、std::bad_cast 等 (FTM)* | P3068R6 P3378R2 P3842R2 |
16 | ||||
| std::simd::chunk | P3441R2 | 16 | ||||
| SIMD 位运算 (FTM)* | P2933R4 | |||||
| std::simd 中对交错 std::complex 值的支持 (FTM)* | P3475R1 | |||||
无害化和弃用 std::memory_order::consume
|
P2663R7 | |||||
| 将 std::monostate 放入 <utility> | P0472R3 | 15 | 21 | 19.50* | ||
| std::indirect (FTM)* | P3019R14 | 16 | ||||
| std::polymorphic (FTM)* | P3019R14 | 16 | ||||
| 更多 constexpr 容器和适配器 (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* |
P3372R3 | 16 (部分)* | 21 (部分)* 22 (部分)* |
|||
| 非平凡类型 std::inplace_vector 的 constexpr (FTM)* | P3074R7 | |||||
| std::ranges::as_input_view (FTM)* | P3828R1 | 15* 16* |
||||
| std::ranges::approximately_sized_range 和 std::ranges::reserve_hint (FTM)* | P2846R6 | |||||
| <hive>:一种基于桶的重用已擦除元素内存位置的容器 (FTM)* | P0447R28 | |||||
| 对可观测检查点的库支持 (FTM)* | P1494R5 P3641R0 |
16 | ||||
| <contracts>:契约违背处理支持 (FTM)* | P2900R14 P3819R0 |
16 | ||||
| 标准库加固 | P3471R4 P3697R1 P3878R1 |
15 (部分)* | 19.44* (部分)* 19.50* (部分)* |
|||
| 独立式库:<algorithm>、<numeric> 和 <random> (FTM)* (FTM)* (FTM)* (FTM)* (FTM)* |
P2976R1 | |||||
| DR20:将连续迭代器转换为指针 | P3349R0 | 15 | 19.51* | |||
| <meta>: 反射的库支持 (FTM)* | P2996R13 P3394R4 P3293R3 P3096R12 P3795R2 P4156R0 |
16 (partial)* | ||||
| 以 constexpr 异常用作反射中的错误处理 (FTM)* | P3560R2 | 16 | ||||
| std::define_static_object, std::define_static_array, std::define_static_string (FTM)* | P3491R3 | 16 | ||||
| std::simd::basic_vec 和 std::simd::basic_mask 是范围类型 | P3480R6 | 16 | ||||
| std::optional<T&> (FTM)* (FTM)* | P2988R12 P3836R2 |
16 | 22 | |||
| std::string::subview() (FTM)* | P3044R2 | 16 | 22 | |||
| constexpr std::shared_ptr 和类似物 (FTM)* | P3037R6 | |||||
| 协程任务类型 (FTM)* | P3552R3 P3980R1 P3927R2 P3941R4 P4151R1 |
|||||
| 异步作用域:创建用于非序列并发的作用域 (FTM)* | P3149R11 P3815R1 |
|||||
| 并行调度器 (FTM)* | P2079R10 P3804R2 |
|||||
| 使用 constexpr 异常的高质量发送器诊断 | P3557R3 | |||||
| execution::write_env 和 execution::unstoppable 发送器适配器 | P3284R4 | |||||
| std::views::indices (FTM)* | P3060R3 | 16 | ||||
| 并行范围算法 (FTM)* | P3179R9 P3709R2 |
|||||
| 原子浮点数最大值与最小值 (FTM)* | P3008R6 | |||||
| 原子的归约操作 (FTM)* | P3111R8 | |||||
| SIMD 排列操作 (FTM)* | P2664R11 | |||||
| std::mdspan::at() | P3383R3 | 16 | ||||
| std::exception_ptr_cast() (FTM)* | P2927R3 P3748R0 P3981R2 |
16 (部分)* | ||||
| 标准化 constexpr 类型排序 (FTM)* | P2830R10 P3778R0 P4140R0 |
16 | ||||
| std::constant_wrapper (FTM)* | P2781R9 P3978R3 |
16 | 23 | |||
| 移除 std::apply 的返回类型推导并添加相关类型特征 | P1317R2 | |||||
| 使 std::promise 和 std::packaged_task 中类型擦除分配器的使用保持一致 | P3503R3 | 19.51* | ||||
| std::filesystem::path::display_string() 与 std::filesystem::path::native_encoded_string() (FTM)* | P2319R5 | |||||
| 使 std::istream::ignore() 的行为更不令人意外 | P3223R2 | 16 | 19.50* | |||
| 解决了 std::valarray 和 std::initializer_list 在 begin/end 上的不一致性问题。 (FTM)* (FTM)* | P3016R6 | 19.51* | ||||
| std::flat_meow 修正 (FTM)* (FTM)* | P3567R2 | 22 | 19.51* | |||
| 使 std::integer_sequence 能用于结构化绑定和展开语句 (FTM)* | P1789R3 | 16 | 22 | |||
| constexpr 文本格式化 (FTM)* | P3391R2 | |||||
| std::start_lifetime (FTM)* | P3726R2 | |||||
| std::is_structural:用于检测结构式类型的类型特征 (FTM)* | P3856R8 | 16 | ||||
| std::constant_wrapper 用作 std::function_ref 构造函数实参 | P3948R1 | 16 | ||||
在随机数生成中支持 signed char 和 unsigned char
|
P4037R1 | |||||
| 使用功能特性宏实现由实现定义的合约违规处理器的可替换性检测 (FTM)* | P3886R0 | 16 | ||||
| DR20:将视图迭代器/哨位的用户定义构造函数设为私有 | P3059R2 | 是 | ||||
| DR20:用于更安全使用的过滤器视图扩展 (FTM)* | P3725R3 | 16 | ||||
| C++26 功能特性 |
提案 |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang* |