🌞🌞🌞 2021年最新整理， C++ 学习资料，含C++ 11 / 14 / 17 / 20 / 23 新特性、入门教程、推荐书籍、优质文章、学习笔记、教学视频等

🚀 直达 （# C++11） （# C++14） （# C++17） （# C++20） （# C++23）

🌋 C++ 发展历程

• C++ 编程语言的历史可以追溯到 1979 年，当时 Bjarne Stroustrup 为博士学位论文进行了一些开发。在 Stroustrup 可以使用的所有语言中，有一种被称为 Simula 的语言，顾名思义，它可能是一种主要为仿真而设计的语言。Simula 67 语言是 Stroustrup 使用的变体，被认为是支持面向对象编程范例的主要语言。Stroustrup 发现这种范例对包装开发很有帮助。但是，Simula 语言对于实践和实际使用而言太慢了。 随后不久，Bjarne Stroustrup 希望通过支持面向对象范例来增强 C。他深入研究了 Smalltalk 的 OO 实现，以获取有关实现的想法。但是他不愿意为此放弃性能，因此他开始从事 “C with Classes (带有类的 C）” 的工作，希望 C++ 代码运行时应具有与 C 代码相似（或更好）的性能。

• 1983 年，语言的名称从 “带有类的 C” 更改为 C++。C 语言中的 ++ 运算符是用于递增变量的运算符，它使您可以深入了解 Stroustrup 如何看待该语言。在此期间添加了许多新功能，其中最引人注目的是虚函数，函数重载，带有＆符号的引用，const 关键字和使用两个正斜杠的单行注释。

• 1985 年，Stroustrup 出版了名为*“C++ 编程语言” 的书籍*。同年，C++ 被实现为商业产品。该语言尚未正式标准化，因此使该书成为非常重要的参考。该语言在 1989 年再次进行了更新，以包括受保护的成员和静态成员，以及从多个类的继承。

• 1990 年，发行了*《带注释的 C++ 参考手册*》。同年，Borland 的 Turbo C++ 编译器将作为商业产品发布。Turbo C++ 添加了许多其他库，这些库会对 C++ 的开发产生相当大的影响。尽管 Turbo C++ 的最后一个稳定版本是 2006 年，但该编译器仍被广泛使用。

• 1998 年，C++ 标准委员会发布了第一个 C++ ISO / IEC 14882：1998 国际标准，其非正式名称为 C++ 98。据说*《带注释的 C++ 参考手册*》对标准的制定产生了很大的影响。还包括标准模板库，该模板库于 1979 年开始概念开发。2003 年，该委员会对 1998 年标准所报告的多个问题做出了回应，并对其进行了相应的修订。更改的语言称为 C++ 03。

• 2005 年，C++ 标准委员会发布了一份技术报告（称为 TR1），详细介绍了他们计划添加到最新 C++ 标准中的各种功能。新标准被非正式地称为 C++ 0x，因为它有望在第一个十年结束之前的某个时间发布。具有讽刺意味的是，新标准要到 2011 年年中才会发布。直到那时为止，已经发布了几份技术报告，并且一些编译器开始为新功能添加实验性支持。

• 2011 年中，新的 C++ 标准（称为 C++ 11）完成。Boost 库项目对新标准产生了重大影响，其中一些新模块直接来自相应的 Boost 库。一些新功能包括正则表达式支持，全面的随机化库，新的 C++ 时间库，原子支持，标准线程库 ，一种新的 for 循环语法，提供的功能类似于某些其他语言中的 foreach 循环，auto 关键字，新的容器类，对联合和数组初始化列表以及可变参数模板的更好支持。

• 2014 年，C++ 14（也称为 C++ 1y）作为 C++11 的一个小扩展发布，主要功能是错误修复和小的改进，国际标准投票程序草案于 2014 年 8 月中完成，加强 lambda 函数，constexpr 和类型推导特性。

• 2017 年，发布 C17 标准，C17 提供了很多东西。增强了核心语言和库。

• 2020 年，发布 C++20 标准，推出了很多重量级功能，其中比较重要的有：

  • Concepts：概念改变了我们思考和编程模板的方式。它们是模板参数的语义类别。它们使您可以直接在类型系统中表达您的意图。如果出了什么问题，您会收到清晰的错误消息。
  • Ranges library：新的 ranges 库使它可以直接在容器上执行算法，用管道符号组成算法，并将其应用于无限数据流。
  • Coroutines：由于协程，C++ 中的异步编程成为主流。协程是协作任务，事件循环，无限数据流或管道的基础。
  • Modules：模块克服了头文件的限制。头文件和源文件的分离变得和预处理器一样过时了。最后，我们有更快的构建时间和更轻松的构建软件包的方法。
  • Concurrency：Atomic Smart Pointers,Joining & Cancellable Threads,The C20 Synchronization Library，增强了 C++ 并发编程能力；

---

🚪 入门教程

C++ 入门教程（41课时） - 阿里云大学

• C++ 教程
• C++ 简介
• C++ 环境设置
• C++ 基本语法
• C++ 注释
• C++ 数据类型
• C++ 变量类型
• C++ 变量作用域
• C++ 常量
• C++ 修饰符类型
• C++ 存储类
• C++ 运算符
• C++ 循环
• C++ 判断
• C++ 函数
• C++ 数字
• C++ 数组
• C++ 字符串
• C++ 指针
• C++ 引用
• C++ 日期 & 时间
• C++ 基本的输入输出
• C++ 数据结构
• C++ 类 & 对象
• C++ 继承
• C++ 重载运算符和重载函数
• C++ 多态
• C++ 数据抽象
• C++ 数据封装
• C++ 接口（抽象类）
• C++ 文件和流
• C++ 异常处理
• C++ 动态内存
• C++ 命名空间
• C++ 模板
• C++ 预处理器
• C++ 信号处理
• C++ 多线程
• C++ Web 编程
• C++ STL 教程
• C++ 标准库

📚 书籍推荐

• 《深入理解C++11：C++11新特性解析与应用》
• 《C++入门经典（第10版）》
• 《C++ Primer Plus 第6版 中文版(异步图书出品)》
• 《清华计算机图书译丛：精通C++（第9版）》
• 《C++高级编程(第4版)》
• 《C++游戏编程入门（第4版）(异步图书出品)》
• 《STL源码剖析》
• 《C++程序设计:原理与实践(基础篇)(原书第2版)》
• 《Accelerated C++中文版》
• 《C++编程思想(两卷合订本)》
• 《中文版Effective STL:50条有效使用STL的经验》
• 《C++编程剖析:问题、方案和设计准则》
• 《C++ Templates中文版》
• 《C++设计新思维》
• 《C++模板元编程》
• 《C++并发编程实战》
• 《C++程序设计语言(第1-3部分)(原书第4版)》
• 《C++标准库(第2版)》
• 《Essential C++》
• 《C++ 语言的设计与演化》
• 《深度探索C++ 对象模型》
• 《泛型编程与STL》

📰 文章推荐

• 每个c++开发人员都应该使用的10个c++11特性
• 在c++项目中你必须真正使用的15个c++11特性
• 如何在 C++11 中使用 Lambda 表达式
• 深入理解C++11
• 吐血整理：C++11新特性
• C++11新特性之auto和decltype知识点
• C++11新特性之左值引用、右值引用、移动语义、完美转发
• C++11新特性之列表初始化
• C++11新特性std::function和lambda表达式
• C++11新特性之模板改进
• C++11新特性之线程相关知识点
• C++11新特性之异步操作-async
• C++11新特性之智能指针
• C++14新特性浅谈
• C++14新特性的所有知识点全在这儿啦

▶ 教学视频

🌰 干货铺

• C++ FAQ − C++ 常见问题
• Free Country − Free Country 提供了免费的 C++ 源代码和 C++ 库，这些源代码和库涵盖了压缩、存档、游戏编程、标准模板库和 GUI 编程等 C++ 编程领域。
• C and C++ Users Group − C 和 C++ 的用户团体提供了免费的涵盖各种编程领域 C++ 项目的源代码，包括 AI、动画、编译器、数据库、调试、加密、游戏、图形、GUI、语言工具、系统编程等
• LearnCpp - 免费学习c++编程

🖥 部分代码案例

关键字

新增关键字

• thread_local
• static_assert
• nullptr
• noexcept
• decltype
• constexpr
• char16_t
• char32_t
• alignof
• alignas

含义变化或者新增含义关键字（meaning changed or new meaning added）

• auto
• class
• default
• delete
• export
• extern
• inline
• mutable
• sizeof
• struct
• using

类型支持（基本类型、RTTI、类型特性）

Defined in header <type_traits>

• is_void

• is_integral

• is_floating_point

• is_array

• is_enum

• is_union

• is_class

• is_function

• is_pointer

• is_lvalue_reference

• is_rvalue_reference

• is_member_object_pointer

• is_member_function_pointer

• is_fundamental

• is_arithmetic

• is_scalar

• is_object

• is_compound

• is_reference

• is_member_pointer

• is_const

• is_volatile

• is_trivial

• is_trivially_copyable

• is_standard_layout

• is_literal_type

• is_empty

• is_polymorphic

• is_abstract

• is_signed

• is_unsigned

• is_constructible

• is_trivially_constructible

• is_nothrow_constructible

• is_default_constructible

• is_trivially_default_constructible

• is_nothrow_default_constructible

• is_copy_constructible

• is_trivially_copy_constructible

• is_nothrow_copy_constructible

• is_move_constructible

• is_trivially_move_constructible

• is_nothrow_move_constructible

• is_assignable

• is_trivially_assignable

• is_nothrow_assignable

• is_copy_assignable

• is_trivially_copy_assignable

• is_nothrow_copy_assignable

• is_move_assignable

• is_trivially_move_assignable

• is_nothrow_move_assignable

• is_destructible

• is_trivially_destructible

• is_nothrow_destructible

• has_virtual_destructor

STL容器

• std::array
• std::forward_list
• std::begin
• std::end
• std::move
• 容器初始化
• emplace

无序容器

• std::unordered_map
• std::unordered_multimap
• std::unordered_set
• std::unordered_multiset

元组std::tuple

• std::make_tuple
• std::get
• std::tie

hash

• std::hash<std::string>
• std::hash<std::u16string>
• std::hash<std::u32string>
• std::hash<std::wstring>
• std::hash<std::error_code>
• std::hash<std::bitset>
• std::hash<std::type_index>
• std::hash<std::vector<bool>>

智能指针

• std::shared_ptr
• std::weak_ptr
• std::unique_ptr
• auto_ptr(弃用)

正则表达式

• basic_regex
• sub_match
• match_results

函数

非静态成员函数

• cv限定函数
• 引用限定

函数对象模板

• std::function
• std::bind
• std::bad_function_call
• mem_fn

类

• 类型别名
• 类成员初始化
• 仿函数(functor)
• 委托构造函数
• 继承构造函数
• 移动构造函数
• 移动赋值运算符

模板

• 尖括号“>”
• 别名模板
• 外部模板
• 可变参数模板
• 默认模板参数

原子操作

• std::atomic<bool>
• std::atomic<char>
• std::atomic<signed char>
• std::atomic<unsigned char>
• std::atomic<short>
• std::atomic<unsigned short>
• std::atomic<int>
• std::atomic<unsigned int>
• std::atomic<long>
• std::atomic<unsigned long>
• std::atomic<long long>
• std::atomic<unsigned long long>
• std::atomic<char8_t>
• std::atomic<char16_t>
• std::atomic<char32_t>
• std::atomic<wchar_t>
• std::atomic<std::int8_t>
• std::atomic<std::uint8_t>
• std::atomic<std::int16_t>
• std::atomic<std::uint16_t>
• std::atomic<std::int32_t>
• std::atomic<std::uint32_t>
• std::atomic<std::int64_t>
• std::atomic<std::uint64_t>
• std::atomic<std::int_least8_t>
• std::atomic<std::uint_least8_t>
• std::atomic<std::int_least16_t>
• std::atomic<std::uint_least16_t>
• std::atomic<std::int_least32_t>
• std::atomic<std::uint_least32_t>
• std::atomic<std::int_least64_t>
• std::atomic<std::uint_least64_t>
• std::atomic<std::int_fast8_t>
• std::atomic<std::uint_fast8_t>
• std::atomic<std::int_fast16_t>
• std::atomic<std::uint_fast16_t>
• std::atomic<std::int_fast32_t>
• std::atomic<std::uint_fast32_t>
• std::atomic<std::int_fast64_t>
• std::atomic<std::uint_fast64_t>

线程

• std::thread
• std::mutex
• std::lock
• std::call_once
• std::atomic
• std::cond_ition_variable
• std::async
• volatile
• std::future
• std::thread_local

异常

• std::exception_ptr
• std::make_exception_ptr
• std::current_exception
• std::rethrow_exception
• std::nested_exception
• std::throw_with_nested
• std::rethrow_if_nested

错误

• std::error_category
• std::generic_category
• std::error_condition
• std::errc
• std::error_code
• std::system_error

新语法

预处理

• 语法：__pragma(字符串字面量)

• _Pragma运算符

C++宏(cplusplus macro)

• _cplusplus宏

基于范围的for语句

• for循环 for(x:range)

对齐支持(alignment support)

• alignof
• alignas
• std::alignment_of
• std::aligned_storage
• std::max_align_t
• std::align

显式转换操作符(explicit conversion operators)

• explicit关键字

静态断言(static assert)

• 语法：static_assert(常量表达式，"提示字符串")

• static assert

数字限制(numeric limits)

• 数字限制

原始字符串(raw string)

• 原始字符串

追踪返回类型语法(trailing return type syntax)

• 追踪返回类型语法

扩展的friend语法(extended friend syntax)

• 扩展的friend语法

扩展的整型(extended integer types)

• 扩展的整型

非受限联合体(unrestricted union)

• 非受限联合体

内联名字空间(lnline namespace)

• 内联名字空间

用户定义的字面量(user-defined literals)

• 用户定义的字面量

强类型枚举(scoped and strongly typed enums)

• 强类型枚举

随机装置(random device)

• random device

std::ref和std::cref

• std::ref和std::cref

常量表达式(constexpr)

• constexpr

lamda表达式

• lamda表达式

指针空值(nullptr)

• nullptr

防止类型收窄(Preventing narrowing)

• 防止类型收窄

初始化列表(initializer lists)

• 初始化列表——Initializer List
• initializer_list(作入参)

统一的初始化语法和语义(Uniform initialization syntax and semantics)

• 统一的初始化语法和语义

POD(plain old data)

• POD

long long整型

• long long

移动语义(move semantics)

• move semantics

右值引用(rvalue reference)

• rvalue reference

c99特性(c99)

• c99特性

一般化的SFINAE规则(generalized SFINAE rules)

• generalized SFINAE rules

---

类型支持（基本类型、RTTI、类型特性）

Defined in header<type_traits>

• 检查类型是否为 std::nullptr_t
• is_final(检查类型是否为 final 类类型)

Defined in header<utility>

• exchange(将实参替换为一个新值，并返回其先前值)
• integer_sequence(实现编译时整数数列)

Defined in header<initializer_list>

• rbegin(返回指向一个容器或数组的逆向迭代器)
• crbegin(返回指向一个容器或数组的逆向迭代器)
• rend(返回容器或数组的逆向尾迭代器)
• crend(返回容器或数组的逆向尾迭代器)

Defined in header<iterator>

Defined in namespace std

• make_reverse_iterator(创建拥有从实参推出的类型的 std::reverse_iterator)

Defined in header <array>

Defined in header <deque>

Defined in header <forward_list>

Defined in header <iterator>

Defined in header <list>

Defined in header <map>

Defined in header <regex>

Defined in header <set>

Defined in header <span>

Defined in header <string>

Defined in header <string_view>

Defined in header <unordered_map>

Defined in header <unordered_set>

Defined in header <vector>

Defined in namespace std

• begin(返回指向容器或数组起始的迭代器)

• cbegin(返回指向容器或数组起始的迭代器)

• end(返回指向容器或数组结尾的迭代器)

• cend(返回指向容器或数组结尾的迭代器)

• rbegin(返回指向一个容器或数组的逆向迭代器)

• crbegin(返回指向一个容器或数组的逆向迭代器)

• rend(返回容器或数组的逆向尾迭代器)

• crend(返回容器或数组的逆向尾迭代器)

---

关键字

含义变化或者新增含义关键字（meaning changed or new meaning added）

• register

类型支持（基本类型、RTTI、类型特性）

Defined in header<type_traits>

• byte(字节类型)

• is_aggregate(检查类型是否聚合类型)

• is_swappable_with(检查一个类型的对象是否能与同类型或不同类型的对象交换)

• is_swappable(检查一个类型的对象是否能与同类型或不同类型的对象交换)

• is_nothrow_swappable_with(检查一个类型的对象是否能与同类型或不同类型的对象交换)

• is_nothrow_swappable(检查一个类型的对象是否能与同类型或不同类型的对象交换)

• is_invocable(检查类型能否以给定的实参类型调用（如同以 std::invoke）)

• is_invocable_r(检查类型能否以给定的实参类型调用（如同以 std::invoke）)

• is_nothrow_invocable(检查类型能否以给定的实参类型调用（如同以 std::invoke）)

• is_nothrow_invocable_r(检查类型能否以给定的实参类型调用（如同以 std::invoke）)

• invoke_result(推导以一组实参调用一个可调用对象的结果类型)

• void_t(变参别名模板)

• conjunction(变参的逻辑与元函数)

• disjunction(变参的逻辑或元函数)

• ndisjunctionegation(逻辑非元函数)

• integral_constant(具有指定值的指定类型的编译期常量)

Defined in header<utility>

• as_const(获得到其实参的 const 引用)

Defined in header<tuple>

• apply(以一个实参的元组来调用函数)
• make_from_tuple(以一个实参元组构造对象)

Defined in header<optional>

• optional(可能或可能不保有一个对象的包装器)
• make_optional(创建一个 optional 对象)
• std::swap(std::optional)(特化 std::swap 算法)
• std::hash<std::optional>(特化 std::hash 算法)
• nullopt_t(带未初始化状态的 optional 类型的指示器)
• bad_optional_access(指示进行了到不含值的 optional 的有检查访问的异常)
• nullopt(nullopt_t 类型对象)

Defined in header<variant>

• variant(类型安全的可辨识联合体)
• visit(以一或多个 variant 所保有的各实参调用所提供的函数对象)
• holds_alternative(检查某个 variant 是否当前持有某个给定类型)
• std::get(std::variant)(以给定索引或类型（若类型唯一）读取 variant 的值，错误时抛出异常)
• get_if(以给定索引或类型（若其唯一），获得指向被指向的 variant 的值的指针，错误时返回空指针)
• std::swap(std::variant)(特化 std::swap 算法)
• monostate(用作非可默认构造类型的 variant 的首个可选项的占位符类型)
• bad_variant_access(非法地访问 variant 的值时抛出的异常)
• variant_size(在编译时获得 variant 可选项列表的大小)
• variant_size_v(在编译时获得 variant 可选项列表的大小)
• variant_alternative(在编译时获得以其下标指定的可选项的类型)
• variant_alternative_t(在编译时获得以其下标指定的可选项的类型)
• std::hash<std::variant>(特化 std::hash 算法)
• variant_npos(非法状态的 variant 的下标)

Defined in header<any>

• any(可保有任何可复制构造 (CopyConstructible) 类型的实例的对象)
• std::swap(std::any)(特化 std::swap 算法)
• any_cast(对被容纳对象的类型安全访问)
• make_any(创建 any 对象)
• bad_any_cast(当类型不匹配时按值返回形式的 any_cast 所抛出的异常)

Defined in header<charconv>

• to_chars(转换整数或浮点值到字符序列象)
• from_chars(转换字符序列到整数或浮点值)
• chars_format(指定 std::to_chars 和 std::from_chars 所用的格式)

Defined in header<initializer_list>

• empty(检查容器是否为空)
• data(获得指向底层数组的指针)

容器库

Defined in header<map>

• insert_or_assign(插入元素，或若键已存在则赋值给当前元素)
• try_emplace(若键不存在则原位插入，若键存在则不做任何事)
• extract(从另一容器释出结点)
• merge(从另一容器接合结点)

Defined in header<unordered_map>

• insert_or_assign(插入元素，或若键已存在则赋值给当前元素)
• try_emplace(若键不存在则原位插入，若键存在则不做任何事)
• extract(从另一容器释出结点)
• merge(从另一容器接合结点)

Defined in header <array>

Defined in header <deque>

Defined in header <forward_list>

Defined in header <iterator>

Defined in header <list>

Defined in header <map>

Defined in header <regex>

Defined in header <set>

Defined in header <span>

Defined in header <string>

Defined in header <string_view>

Defined in header <unordered_map>

Defined in header <unordered_set>

Defined in header <vector>

Defined in namespace std

• size(返回容器或数组的大小)
• empty(检查容器是否为空)
• data(获得指向底层数组的指针)

---

关键字

新增关键字

• char8_t
• concept
• consteval
• co_await
• co_return
• co_yield
• requires

含义变化或者新增含义关键字（meaning changed or new meaning added）

• export

类型支持（基本类型、RTTI、类型特性）

Defined in header<type_traits>

• is_bounded_array(检查类型是否为有已知边界的数组类型)

• is_unbounded_array(检查类型是否为有未知边界的数组类型)

• is_layout_compatible(检查二个类型是否布局兼容)

• is_pointer_interconvertible_base_of(检查一个类型是否为另一类型的指针可互转换（起始）基类)

• is_pointer_interconvertible_with_class(检查一个类型的对象是否与该类型的指定子对象指针可互转换)

• is_corresponding_member(检查二个指定成员是否在二个指定类型中的公共起始序列中彼此对应)

• is_nothrow_convertible(检查是否能转换一个类型为另一类型)

• remove_cvref(将 std::remove_cv 与 std::remove_reference 结合)

• type_identity(返回不更改的类型实参)
• is_constant_evaluated(检测调用是否在常量求值的语境内发生)

协程支持

Defined in header<coroutine>

• coroutine_traits(用于发现协程承诺类型的特征类型)
• coroutine_handle(用于指代暂停或执行的协程)
• noop_coroutine(创建在等待或销毁时无操作的协程柄)
• noop_coroutine_promise(用于无可观察作用的协程)
• noop_coroutine_handle(std::coroutine_handle<std::noop_coroutine_promise> ，有意用于指代无操作协程)
• suspend_never(指示 await 表达式应该决不暂停)
• suspend_always(指示 await 表达式应该始终暂停)

三路比较

Defined in header<compare>

• std::coroutine_traits
• std::coroutine_handle
• three_way_comparable(指定运算符 <=> 在给定类型上产生一致的结果)
• three_way_comparable_with(指定运算符 <=> 在给定类型上产生一致的结果)
• partial_ordering(三路比较的结果类型，支持所有 6 种运算符，不可替换，并允许不可比较的值)
• weak_ordering(三路比较的结果类型，支持所有 6 种运算符且不可替换)
• strong_ordering(三路比较的结果类型，支持所有 6 种运算符且可替换)
• is_eq(具名比较函数)
• is_neq(具名比较函数)
• is_lt(具名比较函数)
• is_lteq(具名比较函数)
• is_gt(具名比较函数)
• is_gteq(具名比较函数)
• compare_three_way(实现 x <=> y 的函数对象)
• compare_three_way_result(获得三路比较运算符 <=> 在给定类型上的结果)
• common_comparison_category(给定的全部类型都能转换到的最强比较类别)
• strong_order(进行三路比较并产生 std::strong_ordering 类型结果)
• weak_order(进行三路比较并产生 std::weak_ordering 类型结果)
• partial_order(进行三路比较并产生 std::partial_ordering 类型结果)
• compare_strong_order_fallback(进行三路比较并产生 std::strong_ordering 类型的结果，即使 operator<=> 不可用)
• compare_weak_order_fallback(进行三路比较并产生 std::weak_ordering 类型的结果，即使 operator<=> 不可用)
• compare_partial_order_fallback(进行三路比较并产生 std::partial_ordering 类型的结果，即使 operator<=> 不可用

Defined in header<concepts>

• ranges::swap(交换两个对象的值)

Defined in header<utility>

• cmp_equal(比较二个整数值，而无转换所致的值更改)
• cmp_not_equal(比较二个整数值，而无转换所致的值更改)
• cmp_less(比较二个整数值，而无转换所致的值更改)
• cmp_less_equal(比较二个整数值，而无转换所致的值更改)
• cmp_greater_equal(比较二个整数值，而无转换所致的值更改)
• in_range(检查整数值是否在给定整数类型的范围内)

Defined in header<memory>

• uninitialized_move(移动一个范围的对象到未初始化的内存区域)
• uninitialized_move_n(移动一定数量对象到未初始化内存区域)
• uninitialized_default_construct(在范围所定义的未初始化的内存区域以默认初始化构造对象)
• uninitialized_default_construct_n(在起始和计数所定义的未初始化内存区域用默认初始化构造对象)
• uninitialized_value_construct(在范围所定义的未初始化内存中用值初始化构造对象)
• uninitialized_value_construct_n(在起始和计数所定义的未初始化内存区域以值初始化构造对象)
• destroy_at(销毁在给定地址的对象)
• destroy(销毁一个范围中的对象)
• destroy_n(销毁范围中一定数量的对象)

Concepts library(概念库)

Defined in header<concepts>

• same_as(指定一个类型与另一类型相同)
• derived_from(指定一个类型派生自另一类型)
• convertible_to(指定一个类型能隐式转换成另一类型)
• common_reference_with(指定两个类型共有一个公共引用类型)
• common_with(指定两个类型共有一个公共类型)
• integral(指定类型为整型类型)
• signed_integral(指定类型为有符号的整型类型)
• unsigned_integral(指定类型为无符号的整型类型)
• floating_point(指定类型为浮点类型)
• assignable_from(指定一个类型能从另一类型赋值)
• swappable(指定一个类型能进行交换，或两个类型能彼此交换)
• swappable_with(指定一个类型能进行交换，或两个类型能彼此交换)
• destructible(指定能销毁该类型的对象)
• constructible_from(指定该类型的变量能从一组实参类型进行构造，或绑定到一组实参类型)
• default_initializable(指定能默认构造一个类型的对象)
• move_constructible(指定能移动构造一个类型的对象)
• copy_constructible(指定能复制构造和移动构造一个类型的对象)
• boolean-testable(指定能用于布尔语境的类型)
• equality_comparable(指定运算符 == 为等价关系)
• equality_comparable_with(指定运算符 == 为等价关系)
• totally_ordered(指定比较运算符在该类型上产生全序)
• totally_ordered_with(指定比较运算符在该类型上产生全序)
• movable(指定能移动及交换一个类型的对象)
• copyable(指定能复制、移动及交换一个类型的对象)
• semiregular(指定能赋值、移动、交换及默认构造一个类型的对象)
• regular(指定类型为正则，即它既为 semiregular 亦为 equality_comparable)
• invocable(指定能以给定的一组实参类型调用的可调用类型)
• regular_invocable(指定能以给定的一组实参类型调用的可调用类型)
• predicate(指定可调用类型为布尔谓词)
• relation(指定可调用类型为二元关系)
• equivalence_relation(指定 relation 施加等价关系)
• strict_weak_order(指定一个 relation 所强加的是严格弱序)

动态内存管理

Defined in header<memory>

• uses_allocator_construction_args(准备匹配给定类型所要求的使用分配器构造的口味的参数列表)

• make_obj_using_allocator(以使用分配器构造的手段创建给类型的对象)

• uninitialized_construct_using_allocator(以使用分配器构造的手段在指定的内存位置创建给定类型的对象)

• construct_at(在给定地址创建对象)

• no-throw-input-iterator(指定迭代器、哨位和范围上的某些操作不抛出)

• no-throw-forward-iterator(指定迭代器、哨位和范围上的某些操作不抛出)

• no-throw-sentinel-for(指定迭代器、哨位和范围上的某些操作不抛出)

• no-throw-input-range(指定迭代器、哨位和范围上的某些操作不抛出)

• no-throw-forward-range(指定迭代器、哨位和范围上的某些操作不抛出)

• ranges::uninitialized_copy(复制元素范围到未初始化的内存区域)

• ranges::uninitialized_copy_n(复制一定量元素到未初始化的内存区域)

• ranges::uninitialized_fill(复制一个对象到范围所定义的未初始化的内存区域)

• ranges::uninitialized_fill_n(复制一个对象到起始与计数所定义的未初始化的内存区域)

• ranges::uninitialized_move(移动对象范围到未初始化的内存区域)

• ranges::uninitialized_move_n(移动一定量对象到未初始化的内存区域)

• ranges::uninitialized_default_construct(在范围所定义的未初始化的内存区域以默认初始化构造对象)

• ranges::uninitialized_default_construct_n(在起始与计数所定义的未初始化的内存区域以默认初始化构造对象)

• ranges::uninitialized_value_construct(在范围所定义的未初始化的内存区域以值初始化构造对象)

• ranges::uninitialized_value_construct_n(在起始与计数所定义的未初始化的内存区域以值初始化构造对象)

• ranges::destroy_at(销毁位于给定地址的元素)

• ranges::destroy(销毁范围中的元素)

• ranges::destroy_n(销毁范围中一定量的元素)

• ranges::construct_at(在给定地址创建对象)

• to_address(从指针式类型获得裸指针)

• assume_aligned(告知编译器指针已对齐)

日期和时间工具

Defined in header<chrono>

• is_clock(确定类型是否为时钟 (Clock))
• is_clock_v(确定类型是否为时钟 (Clock))
• utc_clock(协调世界时 (UTC) 的时钟 (Clock))
• tai_clock(国际原子时 (TAI) 的时钟 (Clock))
• gps_clock(GPS 时间的时钟 (Clock))
• file_clock(用于文件时间的时钟 (Clock))
• local_t(表示本地时间的伪时钟)
• clock_time_conversion(定义如何转换一个时钟的时间点为另一个的特性类)
• clock_cast(转换一个时钟的时间点为另一个)
• time_of_day(表示一日中的时间)
• is_am(在 12 时和 24 时格式当天时刻之间翻译)
• is_pm(在 12 时和 24 时格式当天时刻之间翻译)
• make12(在 12 时和 24 时格式当天时刻之间翻译)
• make24(在 12 时和 24 时格式当天时刻之间翻译)
• last_spec(指示一个月中最后日期或星期的标签类)
• day(表示月之日期)
• month(表示年之月份)
• year(表示格里高利历中的年)
• weekday(表示格里高利历中星期之日)
• weekday_indexed(表示月份的第 n 个 weekday)
• weekday_last(表示月份的最后一个 weekday)
• month_day(表示特定 month 的特定 day)
• month_day_last(表示特定 month 的最后一日)
• month_weekday(表示特定 month 的第 n 个 weekday)
• month_weekday_last(表示特定 month 的最后一个 weekday)
• year_month(表示特定 year 的特定 month)
• year_month_day(表示特定的 year 、 month 和 day)
• year_month_day_last(表示特定 year 和 month 的最后一日)
• year_month_weekday(表示特定 year 和 month 的第 n 个 weekday)
• year_month_weekday_last(表示特定 year 和 month 的最后一个 weekday)
• operator/(创建格里高利历日期的约定语法)
• tzdb(描述 IANA 时区数据库的副本)
• tzdb_list(表示 tzdb 的链表)
• get_tzdb(访问和控制全球时区数据库信息)
• get_tzdb_list(访问和控制全球时区数据库信息)
• reload_tzdb(访问和控制全球时区数据库信息)
• remote_version(访问和控制全球时区数据库信息)
• locate_zone(定位基于其名称的 time_zone)
• current_zone(返回当前的 time_zone)
• time_zone(表示时区)
• sys_info(表示在特定时间点的关于时区的信息)
• local_info(表示关于从本地时间转换到 UNIX 时间的信息)
• choose(选择应如何解析歧义的本地时间)
• zoned_traits(zoned_time 所用的时区指针的特性类)
• zoned_time(表示时区和时间点)
• leap_second(含有关于插入闰秒的信息)
• time_zone_link(表示时区的替用名)
• nonexistent_local_time(抛出以报告本地时间不存在的异常)
• ambiguous_local_time(抛出以报告本地时间有歧义的异常)
• parse(从流分析 chrono 对象)

字符串

Defined in header<string>

• starts_with(检查 string 是否始于给定前缀)
• ends_with(检查 string 是否终于给定后缀)

Defined in header<string_view>

• starts_with(检查 string_view 是否始于给定前缀)
• ends_with(检查 string_view 是否终于给定后缀)

Defined in header<cuchar>

• mbrtoc8(转换窄多字节字符为 UTF-8 编码)
• c8rtomb(转换 UTF-8 字符串为窄多字节编码)

容器库

Defined in header<array>

• to_array(从内建数组创建 std::array 对象)

Defined in header<vector>

• erase(std::vector)(擦除所有满足特定判别标准的元素)
• erase_if(std::vector)(擦除所有满足特定判别标准的元素)

Defined in header<map>

• contains(检查容器是否含有带特定键的元素)
• erase_if(std::map)(擦除所有满足特定判别标准的元素)

Defined in header<unordered_map>

• contains(检查容器是否含有带特定键的元素)
• erase_if(std::unordered_map)(擦除所有满足特定判别标准的元素)

Defined in header<span>

• begin(返回指向起始的迭代器)
• end(返回指向末尾的迭代器)
• rbegin(返回指向起始的逆向迭代器)
• rend(返回指向末尾的逆向迭代器)
• front(访问第一个元素)
• back(访问最后一个元素)
• dynamic_extent(size_t 类型常量，指明 span 拥有动态长度)

Defined in namespace std

• indirectly_readable(指定类型通过应用运算符 * 可读)
• indirectly_writable(指定可向迭代器所引用的对象写入值)
• weakly_incrementable(指定 semiregular 类型能以前后自增运算符自增)
• incrementable(指定 weakly_incrementable 类型上的自增操作保持相等性，而且该类型为 equality_comparable)
• input_or_output_iterator(指定该类型对象可以自增且可以解引用)
• sentinel_for(指定类型为某个 input_or_output_iterator 类型的哨位类型)
• sized_sentinel_for(指定可对一个迭代器和一个哨位应用 - 运算符，以在常数时间计算其距离)
• input_iterator(指定类型为输入迭代器，即可读取其所引用的值，且可前/后自增)
• output_iterator(指定类型为给定的值类型的输出迭代器，即可向其写入该类型的值，且可前/后自增)
• forward_iterator(指定 input_iterator 为向前迭代器，支持相等比较与多趟操作)
• bidirectional_iterator(指定 forward_iterator 为双向迭代器，支持向后移动)
• random_access_iterator(指定 bidirectional_iterator 为随机访问迭代器，支持常数时间内的前进和下标访问)
• contiguous_iterator(指定 random_access_iterator 为连续迭代器，指代内存中连续相接的元素)
• indirectly_readable_traits(计算 indirectly_readable 类型的值类型)
• iter_value_t(计算迭代器的关联类型)
• iter_reference_t(计算迭代器的关联类型)
• iter_difference_t(计算迭代器的关联类型)
• iter_rvalue_reference_t(计算迭代器的关联类型)
• iter_common_reference_t(计算迭代器的关联类型)
• iterator_traits(为迭代器各项性质提供统一接口)
• input_iterator_tag(用于指示迭代器类别的空类类型)
• output_iterator_tag(用于指示迭代器类别的空类类型)
• forward_iterator_tag(用于指示迭代器类别的空类类型)
• bidirectional_iterator_tag(用于指示迭代器类别的空类类型)
• random_access_iterator_tag(用于指示迭代器类别的空类类型)
• contiguous_iterator_tag(用于指示迭代器类别的空类类型)

Defined in namespace std::ranges

• iter_move(将解引用迭代器的结果转型为其关联的右值引用类型)
• iter_swap(交换两个可解引用对象所引用的值)

Defined in namespace std

• indirectly_readable(指定类型通过应用运算符 * 可读)
• indirectly_writable(指定可向迭代器所引用的对象写入值)
• weakly_incrementable(指定 semiregular 类型能以前后自增运算符自增)
• incrementable(指定 weakly_incrementable 类型上的自增操作保持相等性，而且该类型为 equality_comparable)
• input_or_output_iterator(指定该类型对象可以自增且可以解引用)
• sentinel_for(指定类型为某个 input_or_output_iterator 类型的哨位类型)
• sized_sentinel_for(指定可对一个迭代器和一个哨位应用 - 运算符，以在常数时间计算其距离)
• input_iterator(指定类型为输入迭代器，即可读取其所引用的值，且可前/后自增)
• output_iterator(指定类型为给定的值类型的输出迭代器，即可向其写入该类型的值，且可前/后自增)
• forward_iterator(指定 input_iterator 为向前迭代器，支持相等比较与多趟操作)
• bidirectional_iterator(指定 forward_iterator 为双向迭代器，支持向后移动)
• random_access_iterator(指定 bidirectional_iterator 为随机访问迭代器，支持常数时间内的前进和下标访问)
• contiguous_iterator(指定 random_access_iterator 为连续迭代器，指代内存中连续相接的元素)
• incrementable_traits(计算 weakly_incrementable 类型的差类型)
• indirectly_readable_traits(计算 indirectly_readable 类型的值类型)
• iter_value_t(计算迭代器的关联类型)
• iter_reference_t(计算迭代器的关联类型)
• iter_difference_t(计算迭代器的关联类型)
• iter_rvalue_reference_t(计算迭代器的关联类型)
• iter_common_reference_t(计算迭代器的关联类型)
• iterator_traits(为迭代器各项性质提供统一接口)
• input_iterator_tag(用于指示迭代器类别的空类类型)
• output_iterator_tag(用于指示迭代器类别的空类类型)
• forward_iterator_tag(用于指示迭代器类别的空类类型)
• bidirectional_iterator_tag(用于指示迭代器类别的空类类型)
• random_access_iterator_tag(用于指示迭代器类别的空类类型)
• contiguous_iterator_tag(用于指示迭代器类别的空类类型)

Defined in header

Defined in namespace std

• indirectly_unary_invocable(指定可调用类型能以解引用某个 indirectly_readable 类型的结果进行调用)
• indirectly_regular_unary_invocable(指定可调用类型能以解引用某个 indirectly_readable 类型的结果进行调用)
• indirect_unary_predicate(指定可调用类型，在以解引用一个 indirectly_readable 类型的结果进行调用时，满足 predicate)
• indirect_binary_predicate(指定可调用类型，在以解引用两个 indirectly_readable 类型的结果进行调用时，满足 predicate)
• indirect_equivalence_relation(指定可调用类型，在以解引用两个 indirectly_readable 类型的结果进行调用时，满足 equivalence_relation)
• indirect_strict_weak_order(指定可调用类型，在以解引用两个 indirectly_readable 类型的结果进行调用时，满足 strict_weak_order)
• indirectly_movable(指定可从 indirectly_readable 类型移动值给 indirectly_writable 类型)
• indirectly_movable_storable(指定可从 indirectly_readable 类型移动值给 indirectly_writable 类型，且该移动可以通过中间对象进行)
• indirectly_copyable(指定可从 indirectly_readable 类型复制值给 indirectly_writable 类型)
• indirectly_copyable_storable(指定可从 indirectly_readable 类型复制值给 indirectly_writable 类型，且该复制可以通过中间对象进行)
• indirectly_swappable(指定能交换两个 indirectly_readable 类型所引用的值)
• indirectly_comparable(指定能比较两个 indirectly_readable 类型所引用的值)
• permutable(指定在原位重排元素的算法的共用要求)
• mergeable(指定通过复制元素将已排序序列归并到输出序列中的算法的要求)
• sortable(指定重排序列为有序序列的算法的共用要求)
• indirect_result_t(计算在解引用某组 indirectly_readable 类型的结果上调用可调用对象的结果)
• projected(用于对接受投影的算法指定约束的辅助模板)
• move_sentinel(用于 std::move_iterator 的哨位适配器)
• common_iterator(适配一个迭代器类型及其哨位为一个公共迭代器类型)
• default_sentinel_t(用于知晓其边界的迭代器的默认哨位)
• counted_iterator(对到范围结尾距离进行跟踪的迭代器适配器)
• unreachable_sentinel_t(始终与任何 weakly_incrementable 类型比较都不相等的哨位)

Defined in header

• ranges::advance(令迭代器前进给定的距离或到给定的边界)
• ranges::distance(返回迭代器与哨位间的距离，或范围起始与结尾间的距离)
• ranges::next(自增迭代器给定的距离或到边界)
• ranges::prev(自减迭代器给定的距离或到边界)

Defined in header <array>

Defined in header <deque>

Defined in header <forward_list>

Defined in header <iterator>

Defined in header <list>

Defined in header <map>

Defined in header <regex>

Defined in header <set>

Defined in header <span>

Defined in header <string>

Defined in header <string_view>

Defined in header <unordered_map>

Defined in header <unordered_set>

Defined in header <vector>

Defined in namespace std

• ssize(返回容器或数组的大小)

Defined in header <ranges>

Defined in header <iterator>

Defined in namespace std::ranges

• ranges::begin(返回指向范围起始的迭代器)
• ranges::cbegin(返回指向只读范围起始的迭代器)
• ranges::end(返回指示范围结尾的哨位)
• ranges::cend(返回指示只读范围结尾的哨位)
• ranges::rbegin(返回指向范围的逆向迭代器)
• ranges::crbegin(返回指向只读范围的逆向迭代器)
• ranges::rend(返回指向范围的逆向尾迭代器)
• ranges::crend(返回指向只读范围的逆向尾迭代器)
• ranges::size(获得能在常数时间内计算大小的范围的大小)
• ranges::ssize(获得能在常数时间内计算大小的范围的大小，并将它转换成有符号整数)
• ranges::empty(检查范围是否为空)
• ranges::data(获得指向连续范围的起始的指针)
• ranges::cdata(获得指向只读连续范围的起始的指针)

---

类型支持（基本类型、RTTI、类型特性）

Defined in header<type_traits>

• is_scoped_enum(检查类型是否为有作用域枚举类型)

Defined in header<utility>

• to_underlying(转换枚举到其底层类型)

Defined in header<stacktrace>

• stacktrace_entry(栈踪中求值的表示)
• basic_stacktrace(由栈踪条目组成的调用序列的近似表示)

动态内存管理

Defined in header<memory>

• out_ptr_t(与外来指针设置器交互，并在析构时重设智能指针)
• out_ptr(以关联的智能指针和重设参数创建 out_ptr_t)
• inout_ptr_t(与外来指针设置器交互，从智能指针获得初始指针值，并在析构时重设它)
• inout_ptr(以关联的智能指针和重设参数创建 inout_ptr_t)
• allocation_result(记录由 allocate_at_least 分配的存储的地址与实际大小)
• allocate_at_least(经由分配器分配至少与请求的大小一样大的存储)

字符串

Defined in header<string>

• contains(检查字符串是否含有给定的子串或字符)

Defined in header<string_view>

• contains(检查字符串视图是否含有给定的子串或字符)

---

联系专栏

零声教育，专注于c/c++Linux后台服务器开发架构技术学习提升。

每天晚上8点【免费技术直播】：分享Linux，Nginx，ZeroMQ，MySQL，Redis，fastdfs，MongoDB，ZK，流媒体，CDN，P2P，K8S，Docker，TCP/IP，协程，DPDK等技术内容，立即学习。

关注微信公众号【后台服务架构师】——【联系我们】，获取本repo最全PDF学习文档！