C++ 標準庫擴充套件，版本 2
來自 cppreference.com
C++ 庫基礎擴充套件版本 2，ISO/IEC TS 19568:2017，除了版本 1 中定義的元件外，還定義了以下 C++ 標準庫新元件
目錄 |
[編輯] C++ 檢測慣用法
| 定義於標頭檔案
<experimental/type_traits> | |
| 別名模板，用於檢測 template-id 是否形式良好 (別名模板) | |
| 失敗時由 detected_t 返回的類型別 (類) | |
[編輯] 用於指標類物件的 const 傳播包裝器
| 定義於標頭檔案
<experimental/propagate_const> | |
| 用於指標類物件的 const 傳播包裝器 (類模板) | |
[編輯] 非擁有指標
| 定義於標頭檔案
<experimental/memory> | |
| 表示非擁有指標的類 (類模板) | |
[編輯] std::array 建立
| 定義於標頭檔案
<experimental/array> | |
| (庫基礎 TS v2) |
建立 std::array 物件，其大小和可選的元素型別從引數中推導 (函式模板) |
[編輯] ostream_joiner
| 定義於標頭檔案
<experimental/iterator> | |
| 一個輸出迭代器，將連續元素寫入輸出流，並用分隔符分隔相鄰元素 (類模板) | |
[編輯] 簡單的隨機數生成工具
為每個執行緒維護一個型別為 std::default_random_engine 的每執行緒引擎，初始化為不可預測的狀態，並由以下函式使用。
| 定義於標頭檔案
<experimental/random> | |
| 在指定範圍內生成隨機整數 (函式模板) | |
| 重新播種每執行緒隨機引擎 (函式) | |
| 定義於標頭檔案
<experimental/algorithm> | |
| 從序列中選擇 n 個隨機元素 (函式模板) | |
| 隨機地重排一個範圍中的元素 (函式模板) | |
[編輯] 特性測試宏
| 定義於標頭檔案
<experimental/type_traits> | |
| __cpp_lib_experimental_logical_traits |
至少 201511 的值表示支援邏輯運算子型別特徵 (宏常量) |
| __cpp_lib_experimental_detect |
至少 201505 的值表示支援檢測慣用法 (宏常量) |
| 定義於標頭檔案
<experimental/propagate_const> | |
| __cpp_lib_experimental_propagate_const |
至少 201505 的值表示支援 propagate_const (宏常量) |
| 定義於標頭檔案
<experimental/functional> | |
| __cpp_lib_experimental_not_fn |
至少 201406 的值表示支援 not_fn (宏常量) |
| 定義於標頭檔案
<experimental/memory> | |
| __cpp_lib_experimental_observer_ptr |
至少 201411 的值表示支援 observer_ptr (宏常量) |
| 定義於標頭檔案
<experimental/array> | |
| __cpp_lib_experimental_make_array |
至少 201505 的值表示支援 make_array (宏常量) |
| 定義於標頭檔案
<experimental/iterator> | |
| __cpp_lib_experimental_ostream_joiner |
至少 201411 的值表示支援 ostream_joiner (宏常量) |
| 定義於標頭檔案
<experimental/vector> | |
| __cpp_lib_experimental_erase_if |
至少 201411 的值表示支援統一容器擦除 (宏常量) |
| 定義於標頭檔案
<experimental/numeric> | |
| __cpp_lib_experimental_gcd_lcm |
至少 201411 的值表示支援 gcd 和 lcm (宏常量) |
| 定義於標頭檔案
<experimental/random> | |
| __cpp_lib_experimental_randint |
至少 201511 的值表示支援 randint 及相關函式 (宏常量) |
| 定義於標頭檔案
<experimental/source_location> | |
| __cpp_lib_experimental_source_location |
至少 201505 的值表示支援 source_location (宏常量) |
[編輯] 合併到 C++17
庫基礎 v2 的以下元件已納入 C++17 標準。
| 定義於標頭檔案
<experimental/type_traits> | |
void 的可變引數別名模板(別名模板) | |
| 定義於標頭檔案
<experimental/type_traits> | |
| 可變引數邏輯 AND 元函式 (類模板) | |
| 可變引數邏輯 OR 元函式 (類模板) | |
| 邏輯 NOT 元函式 (類模板) | |
| 定義於標頭檔案
<experimental/functional> | |
| 建立函式物件，該物件返回其所持函式物件結果的補數 (函式模板) | |
| 定義於標頭檔案
<experimental/numeric> | |
返回兩個整數最大公約數的 constexpr 函式模板(函式模板) | |
返回兩個整數最小公倍數的 constexpr 函式模板(函式模板) | |
[編輯] 合併到 C++20
庫基礎 v2 的以下元件已納入 C++20 標準。
[編輯] 統一容器擦除
| 定義於標頭檔案
<experimental/string> | |
| 從 std::basic_string 中擦除所有等於特定值的元素 (函式模板) | |
| 從 std::basic_string 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/deque> | |
| 從 std::deque 中擦除所有等於特定值的元素 (函式模板) | |
| 從 std::deque 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/vector> | |
| 從 std::vector 中擦除所有等於特定值的元素 (函式模板) | |
| 從 std::vector 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/forward_list> | |
| 從 std::forward_list 中擦除所有等於特定值的元素 (函式模板) | |
| 從 std::forward_list 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/list> | |
| 從 std::list 中擦除所有等於特定值的元素 (函式模板) | |
| 從 std::list 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/map> | |
| 從 std::map 中擦除所有滿足謂詞的元素 (函式模板) | |
| 從 std::multimap 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/set> | |
| 從 std::set 中擦除所有滿足謂詞的元素 (函式模板) | |
| 從 std::multiset 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/unordered_map> | |
| 從 std::unordered_map 中擦除所有滿足謂詞的元素 (函式模板) | |
| 從 std::unordered_multimap 中擦除所有滿足謂詞的元素 (函式模板) | |
| 定義於標頭檔案
<experimental/unordered_set> | |
| 從 std::unordered_set 中擦除所有滿足謂詞的元素 (函式模板) | |
| 從 std::unordered_multiset 中擦除所有滿足謂詞的元素 (函式模板) | |
[編輯] 原始碼資訊捕獲
| 定義於標頭檔案
<experimental/source_location> | |
| 一個表示原始碼資訊的類，例如檔名、行號和函式名 (類) | |
[編輯] std::array 轉換
| 定義於標頭檔案
<experimental/array> | |
| 從內建陣列建立 std::array 物件 (函式模板) | |
