全网首发！！C++20新特性全在这一张图里了

前面我写了C++11、C++14、C++17新特性系列文章，大家可以移步到这里 ↓↓↓ 《 C++11新特性，所有知识点都在这了！

》 《 C++14新特性的所有知识点全在这儿啦！

》 《 他来了，他来了，C++17新特性精华都在这了 》 没错，就差C++20新特性了，今天终于出炉啦。

目录

语言特性 比较运算<=> 对于 (a <=> b)，如果a > b ，则运算结果>0，如果a < b，则运算结果<0，如果a==b，则运算结果等于0，注意下，运算符的结果类型会根据a和b的类型来决定，所以我们平时使用时候最好直接用auto，方便快捷。

if (res < 0) std::cout << "foo is less than bar"; else if (res == 0) std::cout << "foo and bar are equal"; else if (res > 0) std::cout << "foo is greater than bar"; } 输出：

指定初始化（cppreference中列出来了这项，但是我没搞明白多了啥特性???知道的老铁请打在评论区）：

A a{.y = 2, .x = 1}; // error; designator order does not match declaration order A b{.x = 1, .z = 2}; 这种乱序初始化方式在C语言中可以，但是在C++中是不可以的，C++里一定要按顺序初始化。

for循环 括号里可以初始化 ：

for (auto n = v.size(); auto i : v) // the init-statement (C++20) std::cout << --n + i << ' '; std::cout << '\n'; } 多了一个char8_t 类型，和普通的char没区别，就是容易区分出具体大小而已，就像int32_t与int一样。

[[no_unique_address]]：看着貌似没啥用，没具体关注... [[likely]]和[[unlikely]]：在分支预测时，用于告诉编译器哪个分支更容易被执行，哪个不容易执行，方便编译器做优化。

if (n > 1) [[likely]] return n * fact(n - 1); else [[unlikely]] return 1; } lambda表达式的捕获 C++20之前[=]会隐式捕获this，而C++20需要显式捕获，这样[=, this]

void S2::f(int i) { [=]{}; // OK: by-copy capture default [=, &i]{}; // OK: by-copy capture, except i is captured by reference [=, *this]{}; // until C++17: Error: invalid syntax // since c++17: OK: captures the enclosing S2 by copy [=, this] {}; // until C++20: Error: this when = is the default // since C++20: OK, same as [=] } lambda表达式可以使用模板：

// generic lambda, operator() is a template with one parameter pack auto f = [](Ts&& ...ts) { return foo(std::forward(ts)...); }; consteval consteval修饰的函数只会在编译期间执行，如果不能编译期间执行，则编译失败。

constint 断言一个变量有静态初始化，即零初始化和常量初始化，否则程序是有问题的。

constinit const char *c = f(true); // OK // constinit const char *d = f(false); // error 删除了在很多上下文中需要使用typename来消除类型歧义的要求

void workWithIterator(IterT it){ typename std::iterator_traits::value_type tmp(*it); // C++20前 std::iterator_traits::value_type tmp(*it); // C++20 } 结构体直接初始化：

T object { .designator = arg1 , .designator { arg2 } ... }; // C++20 协程 协程具体是什么不做过多介绍，它最大的特点就是可以使用顺序代码的逻辑执行异步的任务，让我们写异步代码非常的方便。

如果一个函数的定义有以下任何一种情况，那么它就是协程： 1. 使用co_await操作符暂停执行，直到恢复

char data[1024]; for (;;) { size_t n = co_await socket.async_read_some(buffer(data)); co_await async_write(socket, buffer(data, n)); } } 2. 使用关键字co_yield暂停执行，返回一个值

while(true) co_yield n++; } 3. 使用关键字co_return完成执行，返回一个值

co_return 7; } 每个协程都必须有一个返回类型来满足以下的许多要求。

示例代码：

int main() { std::jthread out; resuming_on_new_thread(out); } 限制： 协程不能使用可变参数、普通返回语句或占位符返回类型(auto或Concept)。

Constexpr函数、构造函数、析构函数和主函数不能是协程。

Modules：直接看代码

export void hello() { // export declaration std::cout << "Hello world!\n"; }

int main() { hello(); } modules使用方式和include差不多，但modules使用比include头文件速度更快，C++全球开发者大会中，C++之父贴出来过测试数据，modules效率比include高了25倍。

using 可以引用enum

kCat, kGog }; int main() { Animal animal; using enum Animal; switch(animal) { case kCat: break; } } Constraints and concepts约束和概念 类模板、函数模板和非模板函数(通常是类模板的成员)可以与一个约束相关联，这个约束指定了对模板实参的要求，这些实参可用于选择最合适的函数重载和模板特化。

这些需求的命名被称为概念。

每个概念都是一个谓词，在编译时计算，并成为模板接口的一部分，在那里它被用作约束：

int main() { using std::operator""s; f("abc"s); // OK, std::string satisfies Hashable //f(meow{}); // Error: meow does not satisfy Hashable } 缩写函数模板

void f2(C1 auto); // same as template void f2(T), if C1 is a concept void f3(C2 auto...); // same as template void f3(Ts...), if C2 is a concept void f4(const C3 auto*, C4 auto&); // same as template void f4(const T*, U&); template void g(T x, U y, C auto z); // same as template void g(T x, U y, W z); 新的library特性 std::format系列 std::format可用于替代printf，它的目的是补充现有的c++ I/O流库，并重用它的一些基础设施，如用户定义类型的重载插入操作符。

增加日历和时区的支持 增加了std::atomic：让智能指针线程安全 source_location：可作为__LINE__ 、__func__这些宏的替代：

int main(int, char*[]) { log("Hello world!"); } span：类模板span可以表示一个片段。

static_assert(starts_with(std::span{a}, std::span{a,4}) && starts_with(std::span{a+1, 4}, std::span{a+1,3}) && !starts_with(std::span{a}, std::span{b}) && !starts_with(std::span{a,8}, std::span{a+1,3}) && ends_with(std::span{a}, std::span{a+6,3}) && !ends_with(std::span{a}, std::span{a+6,2}) && contains(std::span{a}, std::span{a+1,4}) && !contains(std::span{a,8}, std::span{a,9})); } endian：可获取当前平台是大端序还是小端序

} make_shared 支持构造数组 std::remove_cvref看名字就知道，去除CV，去除引用

} 结果全是true std::to_address：获得由p表示的地址，而不形成对p所指向的对象的引用。

线程同步： barrier：屏障 latch：CountDownLatch counting_semaphore：信号量 std::jthread：之前的std::thread在析构时如果没有join或者detach会crash，而jthread在析构时会自动join。

jthread也可以取消线程：request_stop()。

C++20也引进了一些中断线程执行的相关类： stop_token：查询线程是否中断 stop_source：请求线程停止运行 stop_callback：stop_token执行时，可以触发的回调函数 basic_osyncstream：它是对std::basic_syncbuf的再包装，直接使用std::cout多线程下可能出现数据交叉，osyncstream不会发生这种情况。

std::osyncstream synced_out(std::cout); // synchronized wrapper for std::cout synced_out << "Hello, "; synced_out << "World!"; synced_out << std::endl; // flush is noted, but not yet performed synced_out << "and more!\n"; } // characters are transferred and std::cout is flushed string的系列操作 string::starts_with string::ends_with string_view::starts_with string::view::ends_with

test_prefix_print(helloWorld, 'x'); } std::assume_aligned

[[nodiscard]] constexpr T* assume_aligned(T* ptr); 指定多少字节对齐，来进一步生成有效的代码。

int* p1 = std::assume_aligned<256>(p); // Use p1, not p, to ensure benefit from the alignment assumption. // However, the program has undefined behavior if p is not aligned // regardless of whether p1 is used. } bind_front：和使用std::bind绑定第一个参数效果相同 std::ssize：signed size

// since C++20 the signed size (ssize) can avail auto i = std::ssize(v); for (--i; i != -1; --i) { std::cout << v[i] << ' '; } std::cout << "\n" "i = " << i << '\n'; } midpoint 函数计算中位数 lerp函数计算线性差值：

return a + t * (b - a); } Ranges库：ranges库提供了用于处理元素范围的组件，包括各种视图适配器。

表示连续元素或者连续元素的片段。

// a traditional "functional" composing syntax: for (int i : std::views::transform(std::views::filter(ints, even), square)) { std::cout << i << ' '; } } 输出： 0 4 16 0 4 16 std::is_bounded_array：检查数组是不是有界 std::is_unbounded_array

int main() { std::cout << std::boolalpha; std::cout << std::is_bounded_array_v << '\n'; std::cout << std::is_bounded_array_v << '\n'; std::cout << std::is_bounded_array_v << '\n'; std::cout << std::is_bounded_array_v << '\n'; std::cout << std::is_bounded_array_v << '\n'; std::cout << std::is_bounded_array_v << '\n'; std::cout << std::is_bounded_array_v << '\n'; } 在numbers头文件中定义了一些数学常量： e log2e log10e pi inv_pi inv_sqrtpi ln2 ln10 sqrt2 sqrt3 inv_sqrt3 egamma phi 贴一张cppreference的截图：