擴充套件名稱空間 std

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

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

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

C++ 語言

通用主題
預處理器 註釋	關鍵詞 轉義序列
流程控制
條件執行語句
if	switch
迭代語句（迴圈）
for range-for (C++11)	while do-while
跳轉語句
continue - break	goto - return
函式
函式宣告
Lambda 函式表示式
inline 說明符
動態異常規範 (直到 C++17*)
noexcept 說明符 (C++11)
異常
throw 表示式 try 塊	catch 處理程式
名稱空間
名稱空間宣告	命名空間別名
型別
基本型別 列舉型別 函式型別	類/結構體型別 聯合型別
說明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
儲存期說明符
初始化
預設初始化 值初始化 零初始化 複製初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表示式
值類別 求值順序	運算子 運算子優先順序
替代表示
字面量
布林 - 整型 - 浮點型
字元 - 字串 - nullptr (C++11)
使用者定義 (C++11)
工具
屬性 (C++11)
型別
typedef 宣告
類型別名宣告 (C++11)
型別轉換
隱式轉換 static_cast const_cast	顯式轉換 dynamic_cast reinterpret_cast
記憶體分配
new 表示式	delete 表示式
類
類宣告 建構函式 this 指標	訪問說明符 friend 說明符
類特有的函式屬性
虛擬函式 override 說明符 (C++11)   final 說明符 (C++11)	explicit (C++11) static
特殊成員函式
預設建構函式 複製建構函式 移動建構函式 (C++11)	複製賦值 移動賦值 (C++11) 解構函式
模板
類模板 函式模板	模板特化 引數包 (C++11)
雜項
內聯彙編	C++ 歷史

 

向 std 新增宣告

向名稱空間 std 或 std 內的任何巢狀名稱空間新增宣告或定義是未定義行為，但以下列出的少數例外情況除外。

#include <utility>
 
namespace std
{
    // a function definition added to namespace std: undefined behavior
    pair<int, int> operator+(pair<int, int> a, pair<int, int> b)
    {
        return {a.first + b.first, a.second + b.second};
    }
}

新增模板特化

類模板

只有當宣告依賴於至少一個程式定義型別且特化滿足原始模板的所有要求（除非此類特化被禁止）時，才允許向名稱空間 std 新增任何標準庫類模板的模板特化。

// Get the declaration of the primary std::hash template.
// We are not permitted to declare it ourselves.
// <typeindex> is guaranteed to provide such a declaration, 
// and is much cheaper to include than <functional>.
 
#include <typeindex> 
 
// Specialize std::hash so that MyType can be used as a key in 
// std::unordered_set and std::unordered_map.  Opening namespace
// std can accidentally introduce undefined behavior, and is not
// necessary for specializing class templates.
template<>
struct std::hash<MyType>
{
    std::size_t operator()(const MyType& t) const { return t.hash(); }
};

• 將模板 std::complex 特化為除 float、double 和 long double 以外的任何型別是未指定的。

• std::numeric_limits 的特化必須以可作為整型常量表達式使用的方式定義主模板中宣告為static const(C++11 前)static constexpr(C++11 起)的所有成員。

在<type_traits>中定義的模板，除了std::common_type 和 std::basic_common_reference(C++20 起)之外，都不能為程式定義型別特化。這包括型別特性和類模板std::integral_constant。 std::hash 為程式定義型別所做的特化必須滿足 Hash 要求。 std::atomic 的特化必須具有已刪除的複製建構函式、已刪除的複製賦值運算子和 constexpr 值建構函式。 std::shared_ptr 和 std::weak_ptr 的特化必須是 CopyConstructible 和 CopyAssignable。此外，std::shared_ptr 的特化必須是 LessThanComparable，並且可轉換為 bool。 std::istreambuf_iterator 的特化必須具有平凡的複製建構函式、constexpr 預設建構函式和平凡的解構函式。

(C++11 起)

std::unary_function 和 std::binary_function 不得特化。

(C++17 前)

宣告標準庫類或類模板的任何成員類模板的完整或部分特化是未定義行為。

函式模板和模板的成員函式

只有當宣告依賴於至少一個程式定義型別且特化滿足原始模板的所有要求（除非此類特化被禁止）時，才允許向名稱空間 std 新增任何標準庫函式模板的模板特化。	(C++20 前)
宣告任何標準庫函式模板的完整特化是未定義行為。	(C++20 起)

宣告標準庫類模板的任何成員函式的完整特化是未定義行為。

宣告標準庫類或類模板的任何成員函式模板的完整特化是未定義行為。

變數模板

宣告任何標準庫變數模板的完整或部分特化是未定義行為，除非明確允許。 std::disable_sized_sentinel_for、std::ranges::disable_sized_range、std::ranges::enable_view 和 std::ranges::enable_borrowed_range 的特化必須在常量表達式中可用，並且型別為 const bool。並且 std::disable_sized_sentinel_for 可以特化用於 cv 非限定非陣列物件型別 S 和 I，其中至少一個為程式定義型別。 std::ranges::disable_sized_range、std::ranges::enable_view 和 std::ranges::enable_borrowed_range 可以特化用於 cv 非限定程式定義型別。 每個數學常量變數模板都可以部分或顯式特化，前提是特化依賴於程式定義型別。 (C++20 起)

(C++14 起)

模板的顯式例項化

只有當宣告依賴於至少一個程式定義型別的名稱且例項化滿足原始模板的標準庫要求時，才允許顯式例項化標準庫中定義的類(C++20 起)模板。

其他限制

名稱空間 std 不得宣告為內聯名稱空間。

定址限制 如果 C++ 程式顯式或隱式地嘗試形成指向標準庫函式或標準庫函式模板例項化的指標、引用（對於自由函式和靜態成員函式）或成員指標（對於非靜態成員函式），除非它被指定為*可定址函式*（見下文），否則其行為是未指定的（可能格式錯誤）。 以下程式碼在 C++17 中是良定義的，但從 C++20 起會導致未指定行為並可能編譯失敗 #include <cmath> #include <memory>   int main() { // by unary operator& auto fptr0 = &static_cast<float(&)(float, float)>(std::betaf);   // by std::addressof auto fptr1 = std::addressof(static_cast<float(&)(float, float)>(std::betaf));   // by function-to-pointer implicit conversion auto fptr2 = static_cast<float(&)(float)>(std::riemann_zetaf);   // forming a reference auto& fref = static_cast<float(&)(float)>(std::riemann_zetaf); } 指定的可定址函式 I/O 操縱器: fmtflags 操縱器 std::boolalpha std::noboolalpha std::showbase std::noshowbase std::showpoint std::noshowpoint std::showpos std::noshowpos std::skipws std::noskipws std::uppercase std::nouppercase std::unitbuf std::nounitbuf adjustfield 操縱器 std::internal std::left std::right basefield 操縱器 std::dec std::hex std::oct floatfield 操縱器 std::fixed std::scientific std::hexfloat std::defaultfloat basic_istream 操縱器 std::ws basic_ostream 操縱器 std::endl std::ends std::flush std::emit_on_flush std::noemit_on_flush std::flush_emit

(C++20 起)

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 120	C++98	使用者可以為非使用者定義型別顯式例項化標準 庫模板	已禁止
LWG 232	C++98	如果宣告依賴於具有外部連結的使用者定義名稱（可以引用非使用者定義型別），則使用者可以顯式特化標準庫模板。 如果宣告依賴於具有外部連結的使用者定義名稱（可以引用非使用者定義型別），則使用者可以顯式特化標準庫模板。 如果宣告依賴於具有外部連結的使用者定義名稱（可以引用非使用者定義型別），則使用者可以顯式特化標準庫模板。	僅允許用於 使用者定義型別
LWG 422	C++98	使用者可以特化單個成員或成員模板 而無需特化整個標準庫類或類模板	在這種情況下，行為是 未定義的