扩展命名空间 std

 

C++

编译器支持

独立与宿主

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键字 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for 范围 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(); }
};

• 对于 float、double 和 long double 以外的任何类型特化模板 std::complex 是未指定的。

• 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++ 标准。

DR	应用于	已发布行为	正确行为
LWG 120	C++98	用户可以为非用户定义类型显式实例化标准 库模板	禁止
LWG 232	C++98	用户可以显式特化标准库模板 如果声明依赖于用户定义的外部链接名称（可以引用非用户定义类型） 仅允许用于	用户定义类型 用户定义类型
LWG 422	C++98	用户可以特化单个成员或成员模板 而无需特化整个标准库类或类模板	在这种情况下，行为是 未定义的