CPlusPlus - #032 C++20 新特性

C++20 新特性

1 前言

C++20 是 C++ 语言发展史上的又一个重要版本，标志着 C++ 进入了一个全新的时代。C++20 引入了一些革命性的特性，如概念（Concepts）和协程（Coroutines），这些特性极大地扩展了 C++ 的应用场景和编程范式。除此之外，C++20 还带来了模块化编程（Modules）和改进的标准库，这些都为编写大型复杂系统提供了更强大的支持。本文将详细介绍 C++20 的主要新特性，深入解析这些特性的原理和使用方法，帮助读者全面掌握 C++20，为编写现代化、高性能的 C++ 程序打下坚实的基础。 ## 2 示例代码

2.1 概念 (Concepts): 约束模板参数

#include <iostream>
#include <concepts>

template<std::integral T>
T add(T a, T b) {
    return a + b; // 模板参数被约束为整型
}

int main() {
    std::cout << add(1, 2) << std::endl;  // 3
    // std::cout << add(1.0, 2.0) << std::endl;  // 错误：double 不是整型
    return 0;
}

2.2 协程 (Coroutines): 异步生成值的函数

#include <coroutine>
#include <iostream>

struct Generator {
    struct promise_type {
        int current_value;
        std::suspend_always yield_value(int value) {
            current_value = value;
            return {}; // 暂停协程并保存当前值
        }
        std::suspend_always initial_suspend() { return {}; }
        std::suspend_always final_suspend() noexcept { return {}; }
        Generator get_return_object() { return Generator{this}; }
        void return_void() {}
        void unhandled_exception() { std::terminate(); }
    };

    struct iterator {
        std::coroutine_handle<promise_type> coro;
        bool operator!=(iterator const&) const { return !coro.done(); }
        void operator++() { coro.resume(); }
        int operator*() const { return coro.promise().current_value; }
    };

    iterator begin() { return {coro}; }
    iterator end() { return {nullptr}; }

    Generator(promise_type* p) : coro(std::coroutine_handle<promise_type>::from_promise(*p)) {}
    std::coroutine_handle<promise_type> coro;
};

Generator generate(int n) {
    for (int i = 0; i < n; ++i)
        co_yield i; // 协程生成值
}

int main() {
    for (auto i : generate(5))
        std::cout << i << " "; // 输出0 1 2 3 4
    return 0;
}