C++20

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

版本

C++98

C++03

C++11

C++14

C++17

C++20

C++23

C++26

當前狀態

 

C++20 是 C++17 之後的一個主要版本，包含主要特性（概念、模組、協程和區間）以及其他語言和庫特性。該標準於 2020 年 12 月釋出。

新語言特性

• 特性測試宏
• 三路比較運算子 <=> 和 operator==() = default
• 指定初始化器
• range-for 中的初始化語句和初始化器
• char8_t
• 新屬性：[[no_unique_address]], [[likely]], [[unlikely]]
• 包展開 在 lambda 初始化捕獲中
• 移除了在許多上下文中需要使用 typename 來消除型別歧義的要求
• consteval, constinit
• 進一步放寬 constexpr
• 有符號整數為 2 的補碼
• 位移運算子統一行為
• 使用括號的聚合初始化
• 協程
• 模組
• 約束和概念
• 縮寫函式模板
• DR11：陣列 new 可以推導陣列大小

新庫特性

新標頭檔案

• <bit>
• <compare>
• <concepts>
• <coroutine>
• <format>
• <numbers>
• <ranges>
• <source_location>
• <span>
• <syncstream>
• <version>

在 執行緒支援庫中

• <barrier>
• <latch>
• <semaphore>
• <stop_token>

庫特性

• 庫特性測試宏
• 格式化庫
• 概念庫
• 日曆和時區庫 在 <chrono> 中
• std::source_location
• std::span
• std::endian: big / little / native
• 2 的冪的整數操作和 std::bit_cast 在 <bit> 中
• 對 std::make_shared 的陣列支援
• std::remove_cvref
• std::to_address
• 浮點原子操作, std::shared_ptr 原子操作
• 執行緒協調類: std::barrier, std::latch, 和 std::counting_semaphore
• std::jthread 和 執行緒取消類: std::stop_token, std::stop_source, 和 std::stop_callback
• std::basic_osyncstream
• std::basic_string 和其他 char8_t 用法
• constexpr 用於 <algorithm>, <utility>, <complex>
• string::starts_with / ends_with 和 string_view::starts_with / ends_with
• std::assume_aligned
• std::bind_front
• std::c8rtomb / std::mbrtoc8
• std::make_obj_using_allocator 等
• std::make_shared_for_overwrite / std::make_unique_for_overwrite
• 無序關聯容器中的異構查詢
• std::pmr::polymorphic_allocator 帶有額外的成員函式和 std::byte 作為其預設模板引數
• execution::unseq
• std::midpoint 和 std::lerp
• std::ssize
• std::is_bounded_array, std::is_unbounded_array
• Ranges
• 統一容器擦除：std::erase / std::erase_if, 例如 std::erase(std::list) 或 erase_if(std::map) 等
• 數學常數 在 <numbers> 中

編譯器支援

主要文章：C++20 編譯器支援

C++20 核心語言特性

C++20 特性	提案	GCC	Clang	MSVC	Apple Clang	EDG eccp	Intel C++	Nvidia HPC C++ (前 PGI)*	Nvidia nvcc	Cray
允許 Lambda 捕獲 [=, this]	P0409R2	8	6	19.22*	10.0.0*	5.1	2021.1	20.7	12.0	11.0
__VA_OPT__	P0306R4 P1042R1	8 (部分)* 10 (部分)* 12	9	19.25*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
指定初始化器  (FTM)*	P0329R4	4.7 (部分)* 8	3.0 (部分)* 10	19.21*	12.0.0*	5.1	2021.1	20.7	12.0	11.0
泛型 lambda 的模板引數列表  (FTM)*	P0428R2	8	9	19.22*	11.0.0*	5.1	2021.1	20.7	12.0	11.0
位域的預設成員初始化器	P0683R1	8	6	19.25*	10.0.0*	5.1	2021.1	20.7	12.0	11.0
類模板引數推導中的初始化列表建構函式	P0702R1	8	6	19.14*	是	5.0	2021.1	20.7	12.0	11.0
const&-限定的成員指標	P0704R1	8	6	19.0 (2015)*	10.0.0*	5.1	2021.1	20.7	12.0	11.0
概念  (FTM)*	P0734R0	5* 10	10	19.23* (部分)* 19.30*	12.0.0* (部分)	6.1	2023.1*	20.11	12.0	11.0
未求值上下文中的 Lambda	P0315R4	9	13 (部分)* 14 (部分)* 17	19.28 (16.8)*	13.1.6* (部分)	6.2	2023.1 (部分) 2024.0	20.7	12.0
三路比較運算子  (FTM)*	P0515R3	10	8 (部分) 10	19.20*	12.0.0*	5.1	2021.1	20.7	12.0	11.0
DR11: 簡化隱式 lambda 捕獲	P0588R1	8		19.24*		5.1	2021.1	20.7	12.0
基於範圍的 for 迴圈的初始化語句	P0614R1	9	8	19.25*	11.0.0*	6.0	2021.7	20.11	12.0	11.0
預設可構造和可賦值的無狀態 lambda	P0624R2	9	8	19.22*	10.0.1*	5.1	2021.1	20.7	12.0	11.0
預設特殊成員函式的型別不匹配	P0641R2	9 (部分)*	8	19.0 (2015)* (部分)*	10.0.1*	5.1	2021.1	20.7	12.0	11.0
對特化進行訪問檢查	P0692R1	是	8 (部分) 14	19.26*	14.0.0*	5.1	2021.1	20.7	12.0
ADL 和不可見的函式模板	P0846R0	9	9	19.21*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
DR11: 指定 constexpr 函式定義何時需要常量求值  (FTM)*	P0859R0	5.2 (部分)* 9	8	19.27* (部分)* 19.31**	11.0.0*	(部分)			12.0	11.0
屬性 [[likely]] 和 [[unlikely]]	P0479R5	9	12	19.26*	13.0.0*	5.1	2021.7	20.7	12.0
使 typename 更可選	P0634R3	9	16	19.29 (16.10)*	16.0.0*	5.1	2023.1	20.7	12.0
包展開 在 lambda 初始化捕獲中  (FTM)*	P0780R2	9	9	19.22*	11.0.3*	6.1	2021.7	20.11	12.0	11.0
屬性 [[no_unique_address]]	P0840R2	9	9	19.28 (16.9)**	11.0.3*	5.1	2021.1	20.7	12.0	11.0
條件平凡的特殊成員函式  (FTM)*	P0848R3	10	16	19.28 (16.8)*		6.1	2021.7	20.11	12.0
DR17: 放鬆結構化繫結的自定義點查詢規則	P0961R1	8	8	19.20*	10.0.1*	5.1	2021.1	20.7	12.0	11.0
DR11: 放鬆範圍-for迴圈的自定義點查詢規則	P0962R1	8	8	19.25*	11.0.0*	5.1	2021.1	20.7	12.0	11.0
DR17: 允許結構化繫結到可訪問成員	P0969R0	8	8	19.20*	10.0.1*	5.1	2021.1	20.7	12.0	11.0
銷燬 operator delete  (FTM)*	P0722R3	9	6	19.27*	10.0.0*	6.1	2023.1	20.11	12.0	11.0
類型別在非型別模板引數中	P0732R2	9	12 (部分)	19.26*(部分)* 19.28 (16.9)*	13.0.0* (部分)	6.2	2023.1 (部分)	21.3	12.0
棄用透過 [=] 隱式捕獲 this 的一些用法	P0806R2	9	7	19.22*	10.0.1*	5.1		20.7	12.0	11.0
explicit(bool)  (FTM)*	P0892R2	9	9	19.24*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
整合特性測試宏	P0941R2	5	3.4	19.15* (部分) 19.20*	是	5.0	2021.1	20.7	12.0	11.0
禁止具有使用者宣告建構函式的聚合	P1008R1	9	8	19.20*	10.0.1*	5.1	2021.1	20.7	12.0	11.0
constexpr 虛擬函式  (FTM)*	P1064R0	9	9	19.28 (16.9)*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
比較一致性改進	P1120R0	10	8 (部分) 10	19.22*	12.0.0*	5.1	2023.1	20.7	12.0	11.0
char8_t  (FTM)*	P0482R6	9	7*	19.22*	10.0.0*	5.1	2021.1	20.7	12.0	11.0
std::is_constant_evaluated()  (FTM)*	P0595R2	9	9	19.25*	11.0.3*	5.1	19.1	21.1	12.0	11.0
constexpr try-catch 塊	P1002R1	9	8	19.25*	10.0.1*	5.1	2023.1	20.7	12.0	11.0
即時函式 (consteval)  (FTM)*	P1073R3	10 (部分)* 11	11 (部分) 14 (部分)* 17	19.28 (16.8)* (部分)* 19.29 (16.10)*	11.0.3* (部分) 15.0.0*	5.1	2021.1	20.7	12.0
巢狀內聯名稱空間	P1094R2	9	8	19.27*	10.0.1*	5.1	2021.1	20.7	12.0	11.0
另一種處理受限宣告的方法	P1141R2	10	10	19.26* (部分) 19.28 (16.9)*	12.0.5*	6.1	2023.1	20.11	12.0	11.0
有符號整數是二補碼	P1236R1	9	9	是	11.0.3*	N/A	2023.1*	是*	12.0	11.0
dynamic_cast 和多型 typeid 在 常量表達式中	P1327R1	10	9	19.28 (16.9)*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
在 constexpr 中改變聯合體的活動成員  (FTM)*	P1330R0	9	9	19.10*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
協程  (FTM)*  (FTM)*	P0912R5 LWG3393	10	8 (部分) 17 (部分)*	19.0 (2015)* (部分) 19.10** 19.28 (16.8)*	10.0.1* (部分)	5.1	2021.1	23.3*	12.0 (僅主機程式碼)
括號式聚合初始化  (FTM)*	P0960R3	10	16	19.28 (16.8)*	16.0.0*	5.1	2021.1	20.7	12.0
DR11: new 表示式中的陣列大小推導	P1009R2	11	9	19.27*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
模組  (FTM)*	P1103R3	11 (部分)	8 (部分)	19.0 (2015)* (部分) 19.10** 19.28 (16.8)*	10.0.1* (部分)		2023.1 (部分)
更強的 Unicode 要求	P1041R4 P1139R2	10	是	19.0 (2015)** 19.26**	是	N/A	2023.1*	是	12.0	11.0
<=> != ==	P1185R2	10	10	19.22*	12.0.0*	5.1	2021.1	20.7	12.0	11.0
DR11: 具有不同異常規範的顯式預設函式	P1286R2	10	9	19.28 (16.8)*	11.0.3*	5.1	2021.1	20.7	12.0	11.0
lambda 捕獲和結構化繫結的儲存類說明符	P1091R3 P1381R1	10	8 (部分) 16	19.11** 19.24**	16.0.0*	5.1	2021.1	20.7	12.0
允許轉換為未知大小的陣列	P0388R4	10	14	19.27*	14.0.0*	6.0	2021.5	20.11	12.0
constexpr 容器操作  (FTM)*	P0784R7	10	10	19.28 (16.9)*	12.0.0*	6.0	2021.5	20.11	12.0	11.0
棄用 volatile 的一些用法	P1152R4	10	10	19.27*	12.0.0*	6.0	2021.5	20.11	12.0	11.0
constinit  (FTM)*	P1143R2	10	10	19.29 (16.10)*	12.0.0*	6.1	2021.7	20.11	12.0	11.0
棄用下標中的逗號運算子	P1161R3	10	9	19.25*	11.0.3*	6.0	2021.7	20.11	12.0	11.0
帶有訊息的 [[nodiscard]]	P1301R4	10	9	19.25*	11.0.3*	6.0	2021.5	20.11	12.0	11.0
constexpr 函式中的平凡預設初始化	P1331R2	10	10	19.27*	12.0.0*	6.1	2021.7	20.11	12.0	11.0
constexpr 函式中未求值的 asm 宣告	P1668R1	10	10	19.28 (16.9)*	12.0.0*	6.1	2021.7	20.11	12.0	11.0
using enum  (FTM)*	P1099R5	11	13	19.24*	13.1.6*	6.3	2023.1	22.5	12.0
為指定比較類別合成三路比較	P1186R3	11	10	19.24*	12.0.0*	6.0	2021.5	20.11	12.0	11.0
DR17: 建構函式的 [[nodiscard]]	P1771R1	10	9	19.24*	11.0.3*	6.0	2021.5	20.11	12.0	11.0
別名模板的類模板引數推導  (FTM)*	P1814R0	10	19	19.27*		6.5		23.9	12.0
聚合的類模板引數推導  (FTM)*	P1816R0 P2082R1	10* 11*	17	19.27*		6.3	2023.1 (部分)* 2024.1	23.3	12.0
DR11: 更多區域性物件和右值引用的隱式移動	P1825R0	11*	13	19.24*	13.1.6*	6.0	2021.5	20.11	12.0
允許按值預設比較	P1946R0	10	10	19.25*	12.0.0*	6.1	2021.7	20.11	12.0	11.0
移除 std::weak_equality 和 std::strong_equality	P1959R0	10	10	19.25*	12.0.0*	6.1	2021.7	20.11	12.0	11.0
非型別模板引數的不一致性  (FTM)*	P1907R1	10 (部分) 11	18 (部分)*	19.26*	13.1.6* (部分)	6.2	2023.1 (部分)	21.3	12.0
DR98: 偽解構函式結束物件生命週期	P0593R6	11	11	是	12.0.5*	N/A	2023.1*	是	12.0	11.0
DR11: 從 T* 轉換為 bool 應視為收縮轉換	P1957R2	10* 11*	11	19.27*	12.0.5*	6.1			12.0	11.0
C++20 特性	提案	GCC	Clang	MSVC	Apple Clang	EDG eccp	Intel C++	Nvidia HPC C++ (前 PGI)*	Nvidia nvcc	Cray

C++20 庫特性

C++20 特性	提案	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang*
std::endian  (FTM)*	P0463R1	8	7	19.22*	10.0.0*
擴充套件 std::make_shared() 以支援陣列  (FTM)*	P0674R1	12	15	19.27*	14.0.3*
浮點原子操作  (FTM)*	P0020R6	10	18	19.22*	16.0.0*
同步緩衝 (std::basic_osyncstream)  (FTM)*	P0053R7	11	18	19.29 (16.10)*
constexpr 用於 <algorithm> 和 <utility>  (FTM)*	P0202R3	10	8 (部分) 12	19.26*	10.0.1* (部分) 13.0.0*
更多 constexpr 用於 <complex>  (FTM)*	P0415R1	9	7 (部分) 16	19.27*	10.0.0* (部分) 15.0.0*
使 std::memory_order 成為有作用域的列舉	P0439R0	9	9	19.25*	11.0.3*
字串字首和字尾檢查：string(_view) ::starts_with / ends_with  (FTM)*	P0457R2	9	6	19.21*	10.0.0*
對 operator<=> 庫支援 <compare>  (FTM)*	P0768R1	10	7 (部分) 12 (部分)* 17	19.20* (部分) 19.28 (16.9)*	13.0.0*
std::remove_cvref  (FTM)*	P0550R2	9	6	19.20*	10.0.0*
[[nodiscard]] 在標準庫中	P0600R1	9	7 (部分) 16	19.13* (部分) 19.22*	10.0.0* (部分) 15.0.0*
在數值演算法中使用 std::move	P0616R0	9	12	19.23*	13.0.0*
將指標轉換為原始指標的工具  (FTM)*	P0653R2	8	6	19.22*	是
原子 std::shared_ptr 和 std::weak_ptr  (FTM)*	P0718R2	12		19.27*
std::span  (FTM)*	P0122R7	10	7	19.26*	10.0.0*
日曆和時區  (FTM)*	P0355R7	11 (部分)* 13 (部分)* 14	7 (部分) 19 (部分)*	19.29 (16.10)*	10.0.0* (部分)
<version>	P0754R2	9	7	19.22*	10.0.0*
比較無序容器	P0809R0	是	是	16.0*	是
ConstexprIterator 要求  (FTM)*  (FTM)*	P0858R0	9	12	19.11*	13.0.0*
std::basic_string::reserve() 不應縮小	P0966R1	11	8	19.25*	10.0.1*
帶填充位的原子比較和交換	P0528R3	13		19.28 (16.8)*
std::atomic_ref  (FTM)*	P0019R8	10	19	19.28 (16.8)*
關聯容器的 contains() 成員函式，例如 std::map::contains()	P0458R2	9	13	19.21*	13.1.6*
DR11: 分段構造的保證複製省略	P0475R1	9	是	19.29 (16.10)*	是
std::bit_cast()  (FTM)*	P0476R2	11	14	19.27*	14.0.3*
2 的整數冪操作 std::bit_ceil(), std::bit_floor(), std::bit_width(), std::has_single_bit()  (FTM)*	P0556R3 P1956R1	9* 10*	9* 12*	19.25** 19.27** 19.28 (16.8)*	11.0.3** 13.0.0**
改進類似擦除演算法的返回值  (FTM)*	P0646R1	9	10	19.21*	12.0.0*
std::destroying_delete_t  (FTM)*	P0722R3	9	9	19.27*	11.0.3*
std::is_convertible  (FTM)*	P0758R1	9	9	19.23*	11.0.3*
新增 std::shift_left/right 到 <algorithm>  (FTM)*	P0769R2	10	12	19.21*	13.0.0*
Constexpr 用於 std::swap() 和 swap 相關函式	P0879R0	10	13	19.26*	13.1.6*
std::type_identity  (FTM)*	P0887R1	9	8	19.21*	10.0.1*
概念庫  (FTM)*	P0898R3	10	13	19.23*	13.1.6*
constexpr 比較運算子 用於 std::array	P1023R0	10	8	19.27*	10.0.1*
std::unwrap_ref_decay 和 std::unwrap_reference  (FTM)*	P0318R1	9	8	19.21*	10.0.1*
std::bind_front()  (FTM)*	P0356R5	9	13	19.25*	13.1.6*
std::reference_wrapper 用於不完整型別	P0357R3	9	8	19.26*	10.0.1*
修復 operator>>(basic_istream&, CharT*)	P0487R1	11	8	19.23*	10.0.1*
char8_t 的庫支援  (FTM)*	P0482R6	9	8 (部分) 16	19.22*	10.0.1* (部分) 15.0.0*
工具函式來實現 uses-allocator 構造	P0591R4	9	16	19.29 (16.10)*	15.0.0*
DR17: std::variant 和 std::optional 應該傳播複製/移動平凡性	P0602R4	8.3	8	19.11*	10.0.1*
DR17: 一個合理的 std::variant 轉換建構函式	P0608R3	10	9	19.29 (16.10)** 19.42**	11.0.3*
std::function 的移動建構函式應為 noexcept	P0771R1	7.2	6	19.22*	是
One Ranges 提案  (FTM)*	P0896R4	10	13 (部分) 15*	19.29 (16.10)*	14.0.3*
無序關聯容器的異構查詢  (FTM)*	P0919R3 P1690R1	11	12	19.23* (P0919R3) 19.25* (P1690R1)	13.0.0*
<chrono> zero(), min(), 和 max() 應該為 noexcept	P0972R0	9	8	19.14*	10.0.1*
constexpr 在 std::pointer_traits 中  (FTM)*	P1006R1	9	8	19.26*	10.0.1*
std::assume_aligned()  (FTM)*	P1007R3	9* 11	15	19.28 (16.9)*	14.0.3*
具有預設初始化的智慧指標建立 (例如 make_unique_for_overwrite)  (FTM)*	P1020R1 P1973R1	11* 12*	16	19.28 (16.9)*	15.0.0*
各種 constexpr 位  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*	P1032R1	10	13	19.28 (16.8)*	13.1.6*
移除 std::span 的比較運算子	P1085R2	10	8	19.26*	10.0.1*
使有狀態分配器傳播對於 operator+(basic_string) 更一致	P1165R1	10	15	19.26*	14.0.3*
一致的容器擦除，例如 std::erase(std::vector) 或 std::erase_if(std::map)  (FTM)*	P1209R0 P1115R3	9* 10*	8* 11*	19.25** 19.27**	10.0.1** 12.0.5**
標準庫頭單元	P1502R1	11		19.29 (16.10)*
polymorphic_allocator<> 作為詞彙型別  (FTM)*	P0339R6	9	16	19.28 (16.9)*	15.0.0*
std::execution::unseq  (FTM)*	P1001R2	9	17	19.28 (16.8)*
std::lerp() 和 std::midpoint()  (FTM)*	P0811R3	9	9	19.23* (部分) 19.28 (16.8)*	11.0.3*
對 std::span 的可用性增強	P1024R3	10	9* 14	19.26*	11.0.3*
DR17: 使 std::create_directory() 更直觀	P1164R1	8.3	12	19.20*	13.0.0*
std::ssize() 和 std::span 的無符號範圍  (FTM)*	P1227R2	10	9	19.25*	11.0.3*
有界和無界陣列的特性  (FTM)*	P1357R1	9	9	19.25*	11.0.3*
std::to_array()  (FTM)*	P0325R4	10	10	19.25*	12.0.0*
高效訪問 std::basic_stringbuf 的緩衝區	P0408R7	11	17	19.29 (16.10)*	15.0.0*
佈局-相容性和指標-可互換性特性  (FTM)*  (FTM)*	P0466R5	12		19.29 (16.10)**
位操作: std:: rotl(), rotr(), countl_zero(), countl_one(), countr_zero(), countr_one(), popcount()  (FTM)*	P0553R4	9	9	19.25** 19.28 (16.8)*	11.0.3*
數學常數  (FTM)*	P0631R8	10	11	19.25*	12.0.5*
文字格式化  (FTM)*	P0645R10	13	14** 17	19.29 (16.10)*	15.0.0*
std::stop_token 和 std::jthread  (FTM)*	P0660R10	10	17 (部分)* 20*	19.28 (16.9)*
constexpr std::allocator 和相關工具  (FTM)*	P0784R7	10	12	19.29 (16.10)*	13.0.0*
constexpr std::string  (FTM)*	P0426R1 P1032R1 P0980R1	12	15	19.29 (16.10)* 19.30**	14.0.3*
constexpr std::vector  (FTM)*	P1004R2	12	15	19.29 (16.10)* 19.30**	14.0.3*
輸入範圍介面卡	P1035R7	10	16	19.29 (16.10)*	15.0.0*
constexpr std::invoke() 和相關工具	P1065R2	10	12	19.28 (16.8)*	13.0.0*
原子等待和通知，std::counting_semaphore, std::latch 和 std::barrier  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*  (FTM)*	P1135R6	11	11	19.28 (16.9)*	13.1.6*
std::source_location  (FTM)*	P1208R6	11	15* (部分) 16	19.29 (16.10)*	15.0.0*
將 <=> 新增到標準庫	P1614R2	10	14* (部分) 17* (部分) 19	19.29 (16.10)*	13.1.6* (部分)
constexpr std::atomic 和 std::atomic_flag 的預設建構函式  (FTM)*	P0883R2	10	13	19.26*	13.1.6*
constexpr 用於數值演算法  (FTM)*	P1645R1	10	12	19.26*	13.0.0*
安全整數比較  (FTM)*	P0586R2	10	13	19.27*	13.1.6*
C++20 特性	提案	GCC libstdc++	Clang libc++	MSVC STL	Apple Clang*

* - 將滑鼠懸停在標有星號 * 的單元格上可檢視額外的彈出式註釋。
DRnn - “DR”後的數字 nn 表示該缺陷報告（Defect Report）所適用的 C++ 修訂版本，例如 DR20 → C++20。

外部連結

1.	C++20 - 維基百科
2.	C++20 示例