C++23
出自 cppreference.com
< cpp
目前的 C++ 標準修訂版本。
| 本節尚不完整 原因:檢查是否提及了所有重要特性(使用下方的編譯器支援表)。增加更多連結,並可能重新組合某些行。 |
目錄 |
[編輯] 新語言特性
- 新的語言特性測試巨集
- 顯式物件參數,顯式物件成員函式,又名「推導 this」(deducing this) (P0847R7)
- 多維下標運算子 (例如 v[1, 3, 7] = 42;) (P2128R6)
- static operator[] (P2589R1), static operator(), 以及靜態 lambda (P1169R4)
- auto(x) 與 auto{x}:語言層級的 decay-copy (退化複製) (P0849R8)
- 透過新屬性
[[assume(expression)]]進行假設 (P1774R8) - lambda 表達式上的屬性 (P2173R1)
- 選用的擴展浮點型別:std::float{16|32|64|128}_t,以及 std::bfloat16_t (P1467R9)
- 新前處理器指令:
#elifdef、#elifndef(P2334R1),以及 #warning (P2437R1) - 用於 (有號) std::size_t 字面量的字尾 '
Z'/'z' (P0330R8),例如 auto ouz = 0uz; - 行連接前的空白修剪 (P2223R2)
- 更簡單的隱式移動 (implicit move) (P2266R3)
- 延長範圍型 for 迴圈初始化器中暫存物件的生命週期 (P2718R0)
- 來自繼承建構子的 CTAD (類別範本引數推導) (P2582R1)
- 複合語句末尾的標籤 (P2324R2),例如:
- void f(int& x)
{
if (x)
goto END;
x = 42;
END:
}
- 初始化語句中的別名宣告 (using) (P2360R0),例如:
- for (using T = int; T e : v)
/* ... */
- 使 lambda 表達式的
()變為可選 (P1102R2) - 在 static_assert 與 if constexpr 中向 bool 的窄化語境轉換 (P1401R5)
- 強制(非靜態類別資料成員的)宣告順序佈局 (P1847R4)
- 文字編碼變更
- if consteval / if not consteval (P1938R3)
- constexpr 變更
[編輯] 新函式庫特性
[編輯] 新模組
[編輯] 新標頭檔
C 相容性標頭檔
[編輯] 函式庫特性
[編輯] 通用公用程式
- std::expected:一種用於回傳函式結果的新常用型別 (<expected>) (P0323R12, P2549R1)
- std::move_only_function:僅限移動 (move-only) 的可呼叫包裝器 (P0288R9)
- std::bind_back:呼叫包裝器 (P2387R3)
- std::byteswap:反轉位元組 (P1272R4)
- std::forward_like (P2445R1)
- std::invoke_r:呼叫一個 可呼叫 (Callable) 物件 (P2136R3)
- std::to_underlying:獲取 enum 底層值的公用程式函式 (P1682R3)
- std::unreachable:標記無法到達程式碼的函式 (P0627R6)
- 用於 std::optional (P0798R8) 與 std::expected (P2505R5) 的單子運算 (Monadic operations:
transform,or_else, 與and_then) - std::tuple 與其他類 tuple 物件相容 (P2165R4)
- 為 std::pair 的轉發建構子添加預設引數 (P2718R0)
- 為 std::reference_wrapper 提供 std::basic_common_reference 特化,以產生參照型別 (P2655R3)
[編輯] 協程函式庫
- std::generator:用於範圍 (ranges) 的同步協程生成器 (P2502R2, P2787R0)
[編輯] 診斷
- Stacktrace 函式庫 (P0881R7)
[編輯] 演算法、迭代器與範圍
- 新範圍配接器 (range adaptors)
- views::adjacent 與 views::adjacent_transform (P2321R2)
- views::as_const (P2278R4)
- views::as_rvalue (P2446R2)
- views::cartesian_product (P2374R4)
- views::chunk_by (P2443R1)
- views::chunk (P2442R1)
- views::enumerate (P2164R9)
- views::join_with (P2441R2)
- views::repeat (P2474R2)
- views::slide (P2442R1)
- views::stride (P1899R3)
- views::zip, views::zip_transform (P2321R2)
- ranges::range_adaptor_closure:用於程式定義範圍配接器閉包的協助工具 (P2387R3)
- ranges::to:範圍轉換函式 (P1206R7)
- 新具約束的範圍演算法 (constrained ranges algorithm)
- ranges::starts_with 與 ranges::ends_with (P1659R3)
- ranges::contains 與 ranges::contains_subrange (P2302R4)
- ranges::find_last, ranges::find_last_if, 以及 ranges::find_last_if_not (P1223R5)
- ranges::iota, ranges::shift_left, 以及 ranges::shift_right:非約束演算法的範圍化版本 (P2440R1)
- ranges::fold_left 等:範圍折疊演算法 (range fold algorithms) (P2322R6)
- 修正常數迭代器、哨兵 (sentinels) 與範圍:即 ranges::cbegin 與其他回傳常數迭代器的類似工具,即使對於淺層常數 (shallow-const) 視圖(如 std::span)也應得到充分保證 (P2278R4)
- 使某些視圖 (views) 的多參數建構子變為顯式 (explicit) (P2711R1)
- 範圍迭代器作為非範圍演算法的輸入 (P2408R5)
- 放寬範圍配接器以允許僅限移動 (move-only) 型別 (P2494R2)
[編輯] 容器
- std::mdspan:不具所有權的多維陣列參照 (P0009R18, P2599R2, P2604R0, P2613R1, P2763R1)
- 容器可從其他相容範圍進行建構與賦值 (P1206R7)
- std::flat_set, std::flat_multiset (P1222R4), std::flat_map, std::flat_multimap (P0429R9):扁平集合與扁平映射 —— 包裝底層已排序隨機存取容器的容器配接器
- 允許在 std::stack 與 std::queue 中使用迭代器對建構 (P1425R4)
- 關聯容器的異質清除 (heterogeneous erasure) 多載 (P2077R2)
- 容器推導指引中配置器 (allocators) 的非推導語境 (P1518R2)
- 要求 std::span 與 std::basic_string_view 為平凡可複製 (trivially copyable) (P2251R1)
[編輯] 編譯期支援
- 以下內容的 constexpr 支援
- std::bitset (P2417R2)
- std::unique_ptr (P2273R3)
- std::type_info::operator== (P1328R1)
- 部分 <cmath> 函式 (P0533R9)
- std::to_chars 與 std::from_chars 的整數多載 (P2291R3)
- 元編程 (Metaprogramming) 公用程式
- 為比較概念 (comparison concepts) 添加僅限移動型別的支援 (P2404R3)
- 型別特徵
[編輯] 記憶體管理
- std::out_ptr 與 std::inout_ptr:用於 C 互操作性的智慧指標配接器 (P1132R7)
- std::allocate_at_least 與 std::allocator::allocate_at_least (P0401R6)
- std::start_lifetime_as:用於隱式生命週期型別的顯式生命週期管理函式 (P2590R2)
- 禁止使用者特化 std::allocator_traits (P2652R2)
[編輯] 字串與文字處理
- 字串型別中的新成員函式與變更
- std::basic_string::contains 與 std::basic_string_view::contains (P1679R3)
- 停用 std::basic_string 與 std::basic_string_view 從 nullptr 進行建構 (P2166R1)
- std::basic_string_view 的顯式範圍建構子 (P1989R2)
- std::basic_string::resize_and_overwrite (P1072R10)
- std::basic_string::substr 的右值參照多載,用於高效切片 (P2438R2)
- 格式化範圍、tuple、轉義後的字元與字串表現形式、std::thread::id 以及 stacktraces。 (P2286R8) (P2585R1) (P2693R1)
[編輯] I/O 與列印
- 標頭檔 <print> 中提供的格式化輸出函式 std::print 與 std::println (P2093R14)
- 標頭檔 <spanstream> 中提供的
spanstream函式庫(基於 std::span 的字串流)(P0448R4) - 在 std::fstreams 中支援獨佔模式 (P2467R1)
- 支援列印 volatile T*:std::basic_ostream::operator<<(const volatile void*) (P1147R1)
[編輯] 已過時特性
[編輯] 已移除特性
- 垃圾回收支援以及基於可達性的洩漏檢測。 (P2186R2)
- 混合寬字串字面量連接支援,例如:const auto* no = u"q" U"p" 現在為格式錯誤。 (P2201R1)
- 無法編碼的寬字元字面量與多字元寬字元字面量,例如 wchar_t x = 'db' 現在為格式錯誤。 (P2362R3)
[編輯] 已棄用特性
[編輯] 復原的棄用
- 下標表達式中的 operator, (逗號運算子)(但語義已更改以支援可多載的多維下標 operator[])。
- 部分 C 標頭檔(為了與 C 相容而對應的
<*.h>標頭檔)(P2340R1)
[編輯] 缺陷報告
[編輯] 編譯器支援
主條目:C++23 編譯器支援
[編輯] C++23 核心語言特性
| C++23 特性 |
提案論文 (Papers) |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
Nvidia HPC C++ (原 PGI)* |
Nvidia nvcc |
Cray |
|
|---|---|---|---|---|---|---|---|---|---|---|---|
| 用於 (有號) size_t 的字面量字尾 (FTM)* | P0330R8 | 11 | 13 | 19.43* | 13.1.6* | 6.5 | 2022.2 | 23.9 | |||
使 lambda 的 () 變為可選 |
P1102R2 | 11 | 13 | 19.44* | 13.1.6* | 6.3 | 2022.2 | 22.5 | |||
| if consteval (FTM)* | P1938R3 | 12 | 14 | 19.44* | 14.0.0* | 6.3 | 2022.2 | 24.1 | |||
| 移除垃圾回收支援 | P2186R2 | 12 | 不適用 (N/A) | 19.30* | 不適用 (N/A) | 不適用 (N/A) | |||||
| static_assert 與 constexpr if 中的窄化語境轉換 | P1401R5 | 9 | 13 (部分支援)* 14 |
14.0.0* | 2022.2 | 20.7 | |||||
| 行連接前的空白修剪 | P2223R2 | 是 | 是 | 是 | 6.7 | 2022.2 | 是 | ||||
| 強制宣告順序佈局 | P1847R4 | 是 | 是 | 是 | 是 | 2022.2 | 是 | ||||
| 移除混合寬字串字面量連接 | P2201R1 | 是 | 是 | 是 | 是 | 是 | 是 | 是 | |||
| 顯式物件成員函式 (推導 this) (FTM)* | P0847R7 | 14 | 18 19* |
19.32* (部分支援)* 19.43* |
6.3 | 22.5 | |||||
auto(x) 與 auto{x} (FTM)* |
P0849R8 | 12 | 15 | 14.0.3* | 6.4 | 2022.2 | 23.3 | ||||
#elifdef 與 #elifndef
|
P2334R1 | 12 | 13 | 19.40* | 13.1.6* | 6.5 | 2022.2 | 23.9 | |||
| constexpr 函式中的非字面量變數(以及標籤與 goto) (FTM)* | P2242R3 | 12 | 15 | 19.43* | 14.0.3* | 6.3 | 2022.2 | 22.5 | |||
| 一致的字元字面量編碼 | P2316R2 | 是 | 是 | 19.30* | 是 | 是 | 2022.2 | 是 | |||
| 字元集與編碼 | P2314R4 | 10 | 是 | 是 | 是 | 2022.2 | 是 | ||||
擴展 (for 迴圈 的) 初始化語句以允許別名宣告 |
P2360R0 | 12 | 14 | 14.0.0* | 2022.2 | ||||||
| 多維下標運算子 (FTM)* | P2128R6 | 12 | 15 | 19.42* | 14.0.3* | 2022.2 | |||||
| lambda 上的屬性 | P2173R1 | 9 | 13 | 19.44* | 13.1.6* | 6.6 | 2022.2 | 22.5 | |||
#warning
|
P2437R1 | 是* | 是 | 15.0.0* | 6.5 | 2023.2 | 是 | ||||
| 移除無法編碼的寬字元字面量與多字元寬字元字面量 | P2362R3 | 13 | 14 | 15.0.0* | 6.7 | 2023.2 | |||||
| 複合語句末尾的標籤 | P2324R2 | 13 | 16 | 16.0.0* | 6.5 | 2023.2 | 23.9 | ||||
| 帶分隔符的轉義序列 | P2290R3 | 13 | 15 | 15.0.0* | 6.7 | 2023.2 | |||||
| 具名通用字元轉義 (FTM)* | P2071R2 | 13 | 15 | 15.0.0* | 6.7 | 2023.2 | |||||
| 放寬部分 constexpr 限制 (FTM)* | P2448R2 | 13 | 17 (部分) 19 |
2024.0 (部分) | |||||||
| 更簡單的隱式移動 (FTM)* | P2266R3 | 13 | 13 | 6.7 | 2022.2 | ||||||
| static operator() (FTM)* | P1169R4 | 13 | 16 | 19.44* | 16.0.0* | 6.7 | 2023.2 | ||||
| 選用擴展浮點型別的要求 | P1467R9 | 13 | 不適用 (N/A) | 6.4 | |||||||
| 來自繼承建構子的類別範本引數推導 | P2582R1 | 14 | |||||||||
屬性 [[assume]] |
P1774R8 | 13 | 19 | ||||||||
| 支援 UTF-8 作為可移植的原始碼檔案編碼 | P2295R6 | 13* | 15* | 19.0 (Update 2)** | 15.0.0* | 2023.2 | |||||
| static operator[] (FTM)* | P2589R1 | 13 | 16 | 19.44* | 16.0.0* | 6.7 | 2023.2 | ||||
| 允許在 constexpr 函式中使用 static constexpr 變數 (FTM)* | P2647R1 | 13 | 16 | 16.0.0* | 2023.2 | ||||||
| 延長範圍型 for 迴圈初始化器中暫存物件的生命週期 (FTM)* | P2644R1 P2718R0 CWG2659 |
15 | 19 | ||||||||
| DR11:變更 lambda 後置回傳型別 (trailing-return-type) 的作用域 | P2036R3 P2579R0 |
17 | 2023.2 | ||||||||
| DR20:有意義的導出 (exports) | P2615R1 | 15 | 17 (部分) | ||||||||
| DR20:consteval 需要向上傳遞 (FTM)* | P2564R3 | 14 | 17 | 16.0.0* | 6.7 | 2024.0 | |||||
| DR98:使用 Unicode 標準附錄 31 的 C++ 識別碼語法 | P1949R7 | 12 | 14 | 14.0.0* | 6.4 | 2022.2 | |||||
| DR11:允許重複的屬性 (attributes) | P2156R1 | 11 | 13 | 13.1.6* | 6.5 | 23.9 | |||||
DR20:調整特性測試巨集 __cpp_concepts 的值 |
P2493R0 | 12 | 19.32* | 6.4 | 23.3 | ||||||
| DR98:放寬對 wchar_t 的要求以符合現有實踐 | P2460R2 | 是 | 是 | 是 | 15.0.0* | 不適用 (N/A) | 2023.2 | ||||
| DR11:在常數表達式中使用未知的指標與參照 | P2280R4 | 14 | 20* | ||||||||
| DR20:你正在尋找的相等運算子 | P2468R2 | 13 | 16 | 16.0.0* | 2023.2 | ||||||
| DR20:char8_t 相容性與移植性修正 (FTM)* | P2513R4 | 13 | 16 | 19.34* | 16.0.0* | 2023.2 | |||||
| DR98/11:澄清診斷指令的報告,並允許在範本語境中對非值相關表達式進行 static_assert | CWG2518 | 13 | 17 | 16.0* (部分支援)* 19.40* |
|||||||
| C++23 特性 |
提案論文 (Papers) |
GCC |
Clang |
MSVC |
Apple Clang |
EDG eccp |
Intel C++ |
Nvidia HPC C++ (原 PGI)* |
Nvidia nvcc |
Cray |
[編輯] C++23 函式庫特性
| C++23 特性 |
提案論文 (Papers) |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang* |
|
|---|---|---|---|---|---|---|
| Stacktrace 函式庫 (FTM)* | P0881R7 P2301R1 |
12 (部分支援)* 14* |
19.34* | |||
| <stdatomic.h> (FTM)* | P0943R6 | 12 | 15 | 19.31* | 14.0.3* | |
| std::is_scoped_enum (FTM)* | P1048R1 | 11 | 12 | 19.30* | 13.0.0* | |
| std::basic_string::contains(), std::basic_string_view::contains() (FTM)* | P1679R3 | 11 | 12 | 19.30* | 13.0.0* | |
| std::to_underlying (FTM)* | P1682R3 | 11 | 13 | 19.30* | 13.1.6* | |
| 放寬對 time_point<>::clock 的要求 | P2212R2 | 不適用 (N/A) | 不適用 (N/A) | 不適用 (N/A) | 不適用 (N/A) | |
| 在配置器介面中提供大小回饋 (FTM)* | P0401R6 | 15 | 19.30* | 14.0.3* | ||
| <spanstream>:具有基於 std::span 緩衝區的字串流 (FTM)* | P0448R4 | 12 | 19.31* | |||
| std::out_ptr(), std::inout_ptr() (FTM)* | P1132R8 | 14 | 19 | 19.30* | ||
| constexpr type_info::operator==() (FTM)* | P1328R1 | 12 | 17 | 19.33** 19.34* |
15.0.0* | |
| std::stack 與 std::queue 的迭代器對建構子 (FTM)* | P1425R4 | 12 | 14 | 19.31* | 14.0.3* | |
| 容器推導指引中配置器的非推導語境 | P1518R2 | 12* | 13* | 19.31** | 13.1.6** | |
| ranges::starts_with() 與 ranges::ends_with() (FTM)* | P1659R3 | 17 (部分支援)* 18 |
19.31* | 16.0.0* | ||
| 禁止 std::basic_string 與 std::basic_string_view 從 nullptr 進行建構 | P2166R1 | 12 | 13 | 19.30* | 13.1.6* | |
| std::invoke_r() (FTM)* | P2136R3 | 12 | 17 | 19.31* | 15.0.0* | |
| std::basic_string_view 的範圍建構子 | P1989R2 | 11 | 14 | 19.30* | 14.0.3* | |
| std::pair 轉發建構子的預設範本引數 | P1951R1 | 14 | 14 | 19.30* | 14.0.3* | |
| 移除垃圾回收與基於可達性的洩漏檢測(函式庫支援部分) | P2186R2 | 12 | 14 | 19.30* | 14.0.3* | |
| zip:views::zip, views::zip_transform, views::adjacent, 以及 views::adjacent_transform (FTM)* | P2321R2 | 13 | 15 (部分)* | 19.33*(部分)*** 19.37* |
14.0.3* | |
| 關聯容器的異質清除多載 (FTM)* | P2077R3 | 19.32* | ||||
| std::byteswap() (FTM)* | P1272R4 | 12 | 14 | 19.31* | 14.0.3* | |
| 列印 volatile T* | P1147R1 | 11.3 | 14 | 19.31* | 14.0.3* | |
| basic_string::resize_and_overwrite() (FTM)* | P1072R10 | 12 | 14 | 19.31* | 14.0.3* | |
| std::optional 的單子運算 (FTM)* | P0798R8 | 12 | 14 | 19.32* | 14.0.3* | |
| std::move_only_function (FTM)* | P0288R9 | 12 | 19.32* | |||
| 為 std::exchange 添加條件式 noexcept 規格 | P2401R0 | 12 | 14 | 19.25* | 14.0.3* | |
| 要求 std::span 與 std::basic_string_view 為 平凡可複製 (TriviallyCopyable) | P2251R1 | 是 | 是 | 是 | 是 | |
| 釐清「C 標頭檔」的狀態 | P2340R1 | 是 | 是 | 是 | 是 | |
| <expected> (FTM)* | P0323R12 P2549R1 |
12 | 16 | 19.33* | 15.0.0* | |
| 用於 <cmath> 與 <cstdlib> 的 constexpr (FTM)* | P0533R9 | 4.6 (部分)* | ||||
| std::unreachable() (FTM)* | P0627R6 | 12 | 15 | 19.32* | 14.0.3* | |
| 棄用 std::aligned_storage 與 std::aligned_union | P1413R3 | 13 | 16 | 19.33* | ||
| std::reference_constructs_from_temporary 與 std::reference_converts_from_temporary (FTM)* | P2255R2 | 13 (部分支援)* 14 |
19 | |||
| constexpr std::unique_ptr (FTM)* | P2273R3 | 12 | 16 | 19.33* | 15.0.0* | |
| 使用 ranges::to()、標記建構子、insert 與 assign 成員函式從範圍建構容器與字串 (FTM)* (FTM)* | P1206R7 | 14 (部分支援)* | 17 | 19.34* | 15.0.0* | |
| 為使用者定義範圍配接器提供管道支援 (ranges::range_adaptor_closure, std::bind_back) (FTM)* (FTM)* | P2387R3 | 13 (部分支援)* 14 |
19 | 19.34* | ||
| ranges::iota(), ranges::shift_left(), 與 ranges::shift_right() (FTM)* (FTM)* | P2440R1 | 13 (部分支援)* | 19.34* | |||
| views::join_with (FTM)* | P2441R2 | 13 | 19.34* | |||
| views::chunk 與 views::slide (FTM)* (FTM)* | P2442R1 | 13 | 19.33* | |||
| views::chunk_by (FTM)* | P2443R1 | 13 | 18 | 19.33* | 16.0.0* | |
| std::mdspan:不具所有權的多維陣列參照 (FTM)* | P0009R18 P2599R2 P2604R0 P2613R1 P2763R1 |
17 (部分支援)* 18 |
19.39* | 15.0.0* | ||
| <flat_map> (FTM)* | P0429R9 | 15 | 20 | |||
| <flat_set> (FTM)* | P1222R4 | 15 | ||||
| ranges::find_last(), ranges::find_last_if(), 以及 ranges::find_last_if_not() (FTM)* | P1223R5 | 13 | 19 | 19.36* | ||
| 獨立實作函式庫 (Freestanding Library):簡易 <utility>, <ranges>, 與 <iterator> | P1642R11 | 13* | 不適用 (N/A) | |||
| views::stride (FTM)* | P1899R3 | 13 | 19.34* | |||
| std::tuple 與類 tuple 物件之間的相容性 (FTM)* | P2165R4 | 14 | 2.9 (部分)* | 19.36* (部分)* 19.37* |
部分* | |
| 修正常數迭代器、哨兵與範圍。views::as_const (FTM)* | P2278R4 | 13 | 19.35* (部分)* 19.36* |
|||
| 格式化範圍 (FTM)* | P2286R8 | 16 | 19.37*(部分)* 19.39*(部分)* 19.41*(部分)* 19.42* |
15.0.0* | ||
| 改善預設容器格式化 (FTM)* | P2585R1 | 16 (部分)* 17 |
19.42* | 15.0.0* | ||
| 格式化輸出函式庫 <print> (FTM)* | P2093R14 P2539R4 |
14 | 17 (部分支援)* 18 |
19.37* | 15.0.0** 16.0.0* | |
| 格式化 std::thread::id 與 std::stacktrace (FTM)* | P2693R1 | 14 | 17 (部分支援)* | 19.38* | 15.0.0* | |
| 為 std::to_chars() 與 std::from_chars() 的整數多載提供 constexpr (FTM)* | P2291R3 | 13 | 16 | 19.34* | 15.0.0* | |
| ranges::contains() 與 ranges::contains_subrange() (FTM)* | P2302R4 | 13 | 19 | 19.34* | 16.0.0** | |
| 範圍折疊演算法 (FTM)* | P2322R6 | 13 | 19.35* | |||
| views::cartesian_product (FTM)* | P2374R4 P2540R1 |
13 | 19.37* | |||
為比較概念 (equality_comparable, totally_ordered, three_way_comparable) 添加僅限移動型別的支援 (FTM)* |
P2404R3 | 19.36* | ||||
| 範圍迭代器作為非範圍演算法的輸入 (FTM)* | P2408R5 | 19.34* | ||||
| constexpr std::bitset (FTM)* | P2417R2 | 13 | 16 | 19.34* | 15.0.0* | |
basic_string::substr() && (右值多載) |
P2438R2 | 16 | 19.34* | 15.0.0* | ||
| views::as_rvalue (FTM)* | P2446R2 | 13 | 16 | 19.34* | 15.0.0* | |
| 標準函式庫模組 (FTM)* | P2465R3 | 15* | 17 (部分支援)* | 19.35* (部分支援)* 19.36* |
||
| std::forward_like() (FTM)* | P2445R1 | 14 | 16 | 19.34* | 15.0.0* | |
| 為 std::fstream 支援獨佔模式 (FTM)* | P2467R1 | 12 | 18 | 19.36* | 16.0.0* | |
| views::repeat (FTM)* | P2474R2 | 13 | 17 | 19.36* | 15.0.0* | |
| 放寬範圍配接器以允許僅限移動型別 (FTM)* | P2494R2 | 14 | 17 | 19.34* | 15.0.0* | |
| std::basic_string_view 的範圍建構子應為顯式 (explicit) | P2499R0 | 12.2 | 16 | 19.34* | 15.0.0* | |
| std::generator:用於範圍的同步協程生成器 (FTM)* | P2502R2 P2787R0 |
14 | 19.43* | |||
| 為 std::apply 添加條件式 noexcept 規格 | P2517R1 | 10 | 18 | 19.34* | 16.0.0* | |
| 顯式生命週期管理 (std::start_lifetime_as) (FTM)* | P2590R2 P2679R2 |
|||||
| 釐清 chrono 型別在地語系化格式化中的編碼處理 (FTM)* | P2419R2 | 15* | 19.34** | |||
std::move_iterator 不應總是 input_iterator (FTM)* |
P2520R0 | 12.3* | 17* | 19.34** | 15.0.0* | |
| 為具有顯式物件參數的呼叫運算子更新推導指引 | LWG3617 | 14 | 19.34* | |||
| 為 static operator() 更新推導指引 | P1169R4 | 13 | 16 | 19.39* | 15.0.0* | |
| 擴展浮點型別的標準名稱與函式庫支援 | P1467R9 | 13 | 19.37** | |||
| std::expected 的單子運算 (FTM)* | P2505R5 | 13 | 17 | 19.36* | 15.0.0* | |
| views::enumerate (FTM)* | P2164R9 | 13 | 19.37* | |||
| std::is_implicit_lifetime (FTM)* | P2674R1 | 20 | ||||
| std::reference_wrapper 的 std::common_reference_t 應為參照型別 (FTM)* (FTM)* | P2655R3 | 19.37* | ||||
| 禁止使用者特化 std::allocator_traits | P2652R2 | 19 | 19.37* | |||
| 棄用 std::numeric_limits::has_denorm | P2614R2 | 18 | 19.37* | 16.0.0* | ||
| 使 view 的多參數建構子變為 顯式 (explicit) | P2711R1 | 17 (部分支援)* | 19.36** | 15.0.0* | ||
| DR20:稍微放寬範圍限制 (Relaxing Ranges Just A Smidge) (FTM)* | P2609R3 | 15 | 20 | 19.37* | ||
| DR20:為了正確扁平化而暫存迭代器 (Stashing Stashing Iterators) | P2770R0 | 14 | 18 | 19.37* | ||
| DR17:用於衍生自 std::variant 之類別的 std::visit() (FTM)* | P2162R2 | 11.3 | 13 | 19.20** 19.30* |
13.1.6* | |
| DR20:有條件借用的範圍 (Conditionally borrowed ranges) | P2017R1 | 11 | 16 | 19.30* | ||
| DR20:修復輸入範圍配接器與 std::counted_iterator | P2259R1 | 12 | 19.30*(部分)* 19.31* |
|||
| DR20:views::join 應該連接所有範圍視圖 | P2328R1 | 11.2 | 15 | 19.30* | 14.0.3* | |
DR20:view 不再要求 default_initializable (FTM)* |
P2325R3 | 11.3 | 16 | 19.30* | 15.0.0* | |
| DR20:範圍配接器物件按值 (by value) 繫結引數 | P2281R1 | 11 | 14 | 19.29 (16.10)* (部分支援)* 19.31* |
14.0.3* | |
| DR20:用於 std::optional 與 std::variant 的 constexpr (FTM)* (FTM)* | P2231R1 | 11.3 (部分)* 12 |
13 (部分支援)* 19 |
19.31* | 13.1.6* (部分支援) | |
| DR20:views::lazy_split 與重新設計的 views::split | P2210R2 | 12 | 16 | 19.31* | 15.0.0* | |
| DR20:修復 ranges::istream_view | P2432R1 | 12 | 16 | 19.31* | 15.0.0* | |
DR20:具有所有權的 view (FTM)* |
P2415R2 | 12 | 14 | 19.31* | 14.0.3* | |
| DR20:修復 chrono 格式化器中的區域設定 (locale) 處理 (FTM)* | P2372R3 P2418R2 |
13 | 19.31* | |||
| DR20:清理整數類 (integer-class) 型別 | P2393R1 | 19.32* | ||||
| DR20:編譯期格式字串檢查;減少 std::format() 系列的二進位碼大小 (FTM)* | P2216R3 | 13 | 14 (部分支援)* 15 |
19.32* | 14.0.3* | |
| DR20:為 std::format 添加對非 const 可格式化型別的支援 | P2418R2 | 13 | 15 | 19.32* | 14.0.3* | |
| DR20:std::basic_format_string | P2508R1 | 13 | 15 | 19.35* | 14.0.3* | |
| DR20:毒丸 (Poison Pills) 太毒了 (FTM)* | P2602R2 | 14 | 19 | 19.36* | ||
| DR20:std::format 填充字元寬限 | P2572R1 | 14 | 17 | 19.37* | ||
| DR20:改善 std::format 的寬度估算 | P2675R1 | 14 | 17 | 19.38* | ||
| DR20:std::barrier 的階段完成保證 (FTM)* | P2588R3 | 19.28 (16.8)** 19.36* |
||||
| C++23 特性 |
提案論文 (Papers) |
GCC libstdc++ |
Clang libc++ |
MSVC STL |
Apple Clang* |
* - 將游標懸停在標有星號 * 的儲存格上可查看額外的彈出說明。
DRnn - "DR" 後的數字 nn 表示該缺陷報告適用的 C++ 修訂版本,例如 DR20 → C++20。
[編輯] 外部連結
| 1. | C++23 - 維基百科 |