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

亦凉 2022-11-15 14:23 156阅读 0赞

![7fcbad4e28aff4bce74bd89b5b781137.png][]

建了微信群，欢迎大家加群我个人微信号，拉大家进群！

![83be813d58724f03654bb34caef7a0b5.png][]

前面写了C++11、C++14、C++17新特性系列文章，大家可以移步到这里

**↓↓↓**

《[C++11新特性，所有知识点都在这了！][C_11]》

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

《[他来了，他来了，C++17新特性精华都在这了][C_17]》

没错，就差C++20新特性了，今天终于出炉啦。

**目录**

![7bef5a500f14a58b09bcf341a3a68eba.png][]

语言特性

比较运算<=>

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

#include <compare>
    #include <iostream>
     
    int main() {
        double foo = 0.0;
        double bar = 1.0;
     
        auto res = foo <=> bar;
     
        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";
    }

输出：

foo is less than bar

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

struct A { int x; int y; int z; };
    A a{.y = 2, .x = 1}; // error; designator order does not match declaration order
    A b{.x = 1, .z = 2};

这种乱序初始化方式在C语言中可以，但是在C++中是不可以的，C++里一定要按顺序初始化。

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

#include <iostream>
    #include <vector>
     
    int main() {
        std::vector<int> v = {0, 1, 2, 3, 4, 5};
     
        for (const int& i : v) // access by const reference
            std::cout << i << ' ';
        std::cout << '\n';
     
        for (auto i : v) // access by value, the type of i is int
            std::cout << i << ' ';
        std::cout << '\n';
     
        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\]\]：在分支预测时，用于告诉编译器哪个分支更容易被执行，哪个不容易执行，方便编译器做优化。

constexpr long long fact(long long n) noexcept {
        if (n > 1) [[likely]]
            return n * fact(n - 1);
        else [[unlikely]]
            return 1;
    }

lambda表达式的捕获

C++20之前\[=\]会隐式捕获this，而C++20需要显式捕获，这样\[=, this\]

struct S2 { void f(int i); };
    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 two parameters
    auto glambda = []<class T>(T a, auto&& b) { return a < b; };
     
    // generic lambda, operator() is a template with one parameter pack
    auto f = []<typename ...Ts>(Ts&& ...ts) {
       return foo(std::forward<Ts>(ts)...);
    };

consteval

consteval修饰的函数只会在编译期间执行，如果不能编译期间执行，则编译失败。

consteval int f() { return 42; }

constint

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

const char *g() { return "dynamic initialization"; }
    constexpr const char *f(bool p) { return p ? "constant initializer" : g(); }
     
    constinit const char *c = f(true); // OK
    // constinit const char *d = f(false); // error

删除了在很多上下文中需要使用typename来消除类型歧义的要求

template<typename IterT>
    void workWithIterator(IterT it){
        typename std::iterator_traits<IterT>::value_type tmp(*it); // C++20前
        std::iterator_traits<IterT>::value_type tmp(*it); // C++20
    }

结构体直接初始化：

T object {arg1, arg2, ... }; // C++11
    T object { .designator = arg1 , .designator { arg2 } ... }; // C++20

协程

协程具体是什么不做过多介绍，它最大的特点就是可以使用顺序代码的逻辑执行异步的任务，让我们写异步代码非常的方便。

如果一个函数的定义有以下任何一种情况，那么它就是协程：

1. 使用co\_await操作符暂停执行，直到恢复

task<> tcp_echo_server() {
      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暂停执行，返回一个值

generator<int> iota(int n = 0) {
      while(true)
        co_yield n++;
    }

3. 使用关键字co\_return完成执行，返回一个值

lazy<int> f() {
      co_return 7;
    }

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

示例代码：

#include <coroutine>
    #include <iostream>
    #include <stdexcept>
    #include <thread>
     
    auto switch_to_new_thread(std::jthread& out) {
      struct awaitable {
        std::jthread* p_out;
        bool await_ready() { return false; }
        void await_suspend(std::coroutine_handle<> h) {
          std::jthread& out = *p_out;
          if (out.joinable())
            throw std::runtime_error("Output jthread parameter not empty");
          out = std::jthread([h] { h.resume(); });
          // Potential undefined behavior: accessing potentially destroyed *this
          // std::cout << "New thread ID: " << p_out->get_id() << '\n';
          std::cout << "New thread ID: " << out.get_id() << '\n'; // this is OK
        }
        void await_resume() {}
      };
      return awaitable{&out};
    }
     
    struct task{
      struct promise_type {
        task get_return_object() { return {}; }
        std::suspend_never initial_suspend() { return {}; }
        std::suspend_never final_suspend() noexcept { return {}; }
        void return_void() {}
        void unhandled_exception() {}
      };
    };
     
    task resuming_on_new_thread(std::jthread& out) {
      std::cout << "Coroutine started on thread: " << std::this_thread::get_id() << '\n';
      co_await switch_to_new_thread(out);
      // awaiter destroyed here
      std::cout << "Coroutine resumed on thread: " << std::this_thread::get_id() << '\n';
    }
     
    int main() {
      std::jthread out;
      resuming_on_new_thread(out);
    }

限制：

协程不能使用可变参数、普通返回语句或占位符返回类型(auto或Concept)。Constexpr函数、构造函数、析构函数和主函数不能是协程。

Modules：直接看代码

// helloworld.cpp
    export module helloworld;  // module declaration
    import <iostream>;         // import declaration
     
    export void hello() {      // export declaration
        std::cout << "Hello world!\n";
    }

// main.cpp
    import helloworld;  // import declaration
     
    int main() {
        hello();
    }

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

![c6db0ddb5addb48fd5f0c75c9dda0252.png][]

using 可以引用enum

enum class Animal {
      kCat,
      kGog  
    };
    int main() {
        Animal animal;
        using enum Animal;
        switch(animal) {
            case kCat:
                break;
        }
    }

Constraints and concepts约束和概念

类模板、函数模板和非模板函数(通常是类模板的成员)可以与一个约束相关联，这个约束指定了对模板实参的要求，这些实参可用于选择最合适的函数重载和模板特化。

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

#include <string>
    #include <cstddef>
    #include <concepts>
    
    
    template<typename T>
    concept Hashable = requires(T a) {
        { std::hash<T>{}(a) } -> std::convertible_to<std::size_t>;
    };
     
    struct meow {};
     
    // Constrained C++20 function template:
    template<Hashable T>
    void f(T) {}
    
    
    int main() {
      using std::operator""s;
      f("abc"s); // OK, std::string satisfies Hashable
      //f(meow{}); // Error: meow does not satisfy Hashable
    }

缩写函数模板

void f1(auto); // same as template<class T> void f(T)
    void f2(C1 auto); // same as template<C1 T> void f2(T), if C1 is a concept
    void f3(C2 auto...); // same as template<C2... Ts> void f3(Ts...), if C2 is a concept
    void f4(const C3 auto*, C4 auto&); // same as template<C3 T, C4 U> void f4(const T*, U&);
    template <class T, C U>
    void g(T x, U y, C auto z); // same as template<class T, C U, C W> void g(T x, U y, W z);

新的library特性

std::format系列

std::format可用于替代printf，它的目的是补充现有的c++ I/O流库，并重用它的一些基础设施，如用户定义类型的重载插入操作符。

std::string message = std::format("The answer is {}.", 42);

增加日历和时区的支持

增加了std::atomic：让智能指针线程安全

source\_location：可作为\_\_LINE\_\_ 、\_\_func\_\_这些宏的替代：

#include <iostream>
    #include <string_view>
    #include <source_location>
     
    void log(const std::string_view message,
             const std::source_location& location = std::source_location::current())
    {
        std::cout << "info: "
                  << location.file_name() << "("
                  << location.line() << ":"
                  << location.column() << ") `"
                  << location.function_name() << "` "
                  << message << '\n';
    }
     
    int main(int, char*[])
    {
        log("Hello world!");
    }

span：类模板span可以表示一个片段。

#include <algorithm>
    #include <cstddef>
    #include <iostream>
    #include <span>
     
    template<class T, std::size_t N> [[nodiscard]]
    constexpr auto slide(std::span<T,N> s, std::size_t offset, std::size_t width) {
        return s.subspan(offset, offset + width <= s.size() ? width : 0U);
    }
     
    template<class T, std::size_t N, std::size_t M> [[nodiscard]]
    constexpr bool starts_with(std::span<T,N> data, std::span<T,M> prefix) {
        return data.size() >= prefix.size() 
            && std::equal(prefix.begin(), prefix.end(), data.begin());
    }
     
    template<class T, std::size_t N, std::size_t M> [[nodiscard]]
    constexpr bool ends_with(std::span<T,N> data, std::span<T,M> suffix) {
        return data.size() >= suffix.size() 
            && std::equal(data.end() - suffix.size(), data.end(), 
                          suffix.end() - suffix.size());
    }
     
    template<class T, std::size_t N, std::size_t M> [[nodiscard]]
    constexpr bool contains(std::span<T,N> span, std::span<T,M> sub) {
        return std::search(span.begin(), span.end(), sub.begin(), sub.end())
            != span.end();
    }
     
    void print(const auto& seq) {
        for (const auto& elem : seq) std::cout << elem << ' ';
        std::cout << '\n';
    }
     
    int main()
    {
        constexpr int a[] { 0, 1, 2, 3, 4, 5, 6, 7, 8 };
        constexpr int b[] { 8, 7, 6 };
     
        for (std::size_t offset{}; ; ++offset) {
            constexpr std::size_t width{6};
            auto s = slide(std::span{a}, offset, width);
            if (s.empty())
                break;
            print(s);
        }
     
        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：可获取当前平台是大端序还是小端序

#include <bit>
    #include <iostream>
     
    int main() {
     
        if constexpr (std::endian::native == std::endian::big) {
            std::cout << "big-endian" << '\n';
        }
        else if constexpr (std::endian::native == std::endian::little) {
            std::cout << "little-endian"  << '\n';
        }
        else {
            std::cout << "mixed-endian"  << '\n';
        }
     
    }

make\_shared 支持构造数组

std::remove\_cvref看名字就知道，去除CV，去除引用

#include <iostream>
    #include <type_traits>
     
    int main()
    {
        std::cout << std::boolalpha
                  << std::is_same_v<std::remove_cvref_t<int>, int> << '\n'
                  << std::is_same_v<std::remove_cvref_t<int&>, int> << '\n'
                  << std::is_same_v<std::remove_cvref_t<int&&>, int> << '\n'
                  << std::is_same_v<std::remove_cvref_t<const int&>, int> << '\n'
                  << std::is_same_v<std::remove_cvref_t<const int[2]>, int[2]> << '\n'
                  << std::is_same_v<std::remove_cvref_t<const int(&)[2]>, int[2]> << '\n'
                  << std::is_same_v<std::remove_cvref_t<int(int)>, int(int)> << '\n';
    }
    结果全是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

#include <iostream>
    #include <string_view>
    #include <string>
     
    template <typename PrefixType>
    void test_prefix_print(const std::string& str, PrefixType prefix)
    {
        std::cout << '\'' << str << "' starts with '" << prefix << "': " <<
            str.starts_with(prefix) << '\n';
    }
     
    int main()
    {
        std::boolalpha(std::cout);    
        auto helloWorld = std::string("hello world");
     
        test_prefix_print(helloWorld, std::string_view("hello"));
     
        test_prefix_print(helloWorld, std::string_view("goodbye"));
     
        test_prefix_print(helloWorld, 'h');
     
        test_prefix_print(helloWorld, 'x');
    }

std::assume\_aligned

template< std::size_t N, class T >
    [[nodiscard]] constexpr T* assume_aligned(T* ptr);

指定多少字节对齐，来进一步生成有效的代码。

void f(int* p) {
       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

#include <iostream>
    #include <vector>
    #include <iterator>
     
    int main() 
    {
        std::vector<int> v = { 3, 1, 4 };
        std::cout << std::size(v) << '\n'; 
     
        int a[] = { -5, 10, 15 };
        std::cout << std::size(a) << '\n';
     
        // 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函数计算线性差值：

constexpr double lerp( double a, double b, double t) noexcept {
        return a + t * (b - a);
    }

Ranges库：ranges库提供了用于处理元素范围的组件，包括各种视图适配器。表示连续元素或者连续元素的片段。

#include <ranges>
    #include <iostream>
     
    int main()
    {
        auto const ints = {0,1,2,3,4,5};
        auto even = [](int i) { return 0 == i % 2; };
        auto square = [](int i) { return i * i; };
     
        // "pipe" syntax of composing the views:
        for (int i : ints | std::views::filter(even) | std::views::transform(square)) {
            std::cout << i << ' ';
        }
     
        std::cout << '\n';
     
        // 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

#include <iostream>
    #include <type_traits>
     
    class A {};
     
    int main() 
    {
        std::cout << std::boolalpha;
        std::cout << std::is_bounded_array_v<A> << '\n';
        std::cout << std::is_bounded_array_v<A[]> << '\n';
        std::cout << std::is_bounded_array_v<A[3]> << '\n';
        std::cout << std::is_bounded_array_v<float> << '\n';
        std::cout << std::is_bounded_array_v<int> << '\n';
        std::cout << std::is_bounded_array_v<int[]> << '\n';
        std::cout << std::is_bounded_array_v<int[3]> << '\n';
    }

在numbers头文件中定义了一些数学常量：

*  e
 *  log2e
 *  log10e
 *  pi
 *  inv\_pi
 *  inv\_sqrtpi
 *  ln2
 *  ln10
 *  sqrt2
 *  sqrt3
 *  inv\_sqrt3
 *  egamma
 *  phi

贴一张cppreference的截图：

![e283e6f012a5fdaa5c454368cee5ba50.png][]

**参考资料**

https://en.cppreference.com/w/cpp/20

![2e5d3566e7322edcb56bd38278ebc8d4.png][]

[7fcbad4e28aff4bce74bd89b5b781137.png]: /images/20221022/b872418ec9444f89903a2785898238a1.png
[83be813d58724f03654bb34caef7a0b5.png]: /images/20221022/4734a7ab9e8f41928d2a9cd548c7a497.png
[C_11]: http://mp.weixin.qq.com/s?__biz=MzkyODE5NjU2Mw%3D%3D&chksm=c21d37d6f56abec06877b5f639d055f9241293d17d6ff17d2c5628d200792bd31867a11e37f9&idx=1&mid=2247484778&scene=21&sn=c9bebce5470b8273dccdd85e67681f16#wechat_redirect
[C_14]: http://mp.weixin.qq.com/s?__biz=MzkyODE5NjU2Mw%3D%3D&chksm=c21d37e9f56abeffca414c0d43d55b36396956735e3cff1c13e1a229a3d21336371a54da84ce&idx=1&mid=2247484757&scene=21&sn=523a55fcf636113e678f1de297ec4691#wechat_redirect
[C_17]: http://mp.weixin.qq.com/s?__biz=MzkyODE5NjU2Mw%3D%3D&chksm=c21d37e8f56abefe52ed5dc1b1d52779de477ac6a7e1e56728e4cb6bb2b04827f4b98feb866b&idx=1&mid=2247484756&scene=21&sn=0f54e5fcb56e23aaf4d90af7e8308142#wechat_redirect
[7bef5a500f14a58b09bcf341a3a68eba.png]: /images/20221022/d7e1eeca261548a1bd555636dedc71bc.png
[c6db0ddb5addb48fd5f0c75c9dda0252.png]: /images/20221022/dbab77dc7a6c422e92045fd26c471392.png
[e283e6f012a5fdaa5c454368cee5ba50.png]: /images/20221022/d650c2e6e1734f80b1750ec6a9f4c116.png
[2e5d3566e7322edcb56bd38278ebc8d4.png]: /images/20221022/3e1242766d9d4d7cb3844033e4ddf4c0.png