Namespaces
Variants

    std::coroutine_traits

    来自 zh.cppreference.net
     
    C++
     
    工具库
    通用工具
    关系运算符 (C++20 中弃用)
    整数比较函数
    (C++20)(C++20)(C++20)    
    (C++20)
    交换 和 类型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    常用词汇类型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    协程支持
    协程特性
    (C++20)
    协程句柄
    (C++20)
    无操作协程
    (C++20)
    (C++20)
    平凡可等待
    (C++20)
    (C++20)
    范围生成器
    (C++23)
     
    定义在头文件 <coroutine> 
    template< class R, class... Args >
struct coroutine_traits;
    		(C++20 起)

    从协程的返回类型和参数类型判断 promise 类型。标准库实现提供了一个公开可访问的成员类型 promise_type，如果限定 id 有效且表示一个类型，则与 R::promise_type 相同。否则，它没有这样的成员。

    程序定义的特化coroutine_traits必须定义一个公开可访问的嵌套类型 promise_type，否则程序非良构。

    模板参数

    R - 协程的返回类型
    Args - 协程的参数类型，包括 隐式对象参数 （当协程为非静态成员函数时）

    嵌套类型

    名称 定义
    promise_type 若有效则为 R::promise_type ，否则由程序定义的特化提供

    可能的实现 

    namespace detail {
template<class, class...>
struct coroutine_traits_base {};
template<class R, class... Args>
requires requires { typename R::promise_type; }
struct coroutine_traits_base <R, Args...>
{
    using promise_type = R::promise_type;
};
}
template<class R, class... Args>
struct coroutine_traits : detail::coroutine_traits_base<R, Args...> {};

    注释

    如果协程是非静态成员函数，那么 Args... 中的第一个类型是隐式对象参数的类型，其余的是函数的参数类型（如果有的话）。

    如果 std::coroutine_traits<R, Args...>::promise_type 不存在或不是类类型，则对应的协程定义是非法的。

    用户可依据程序定义类型定义 coroutine_traits 的显式或偏特化，以避免修改返回类型。

    示例

    运行此代码 
    #include <chrono>
#include <coroutine>
#include <exception>
#include <future>
#include <iostream>
#include <thread>
#include <type_traits>
// 下面特化的 coroutine_traits 所依赖的程序定义类型
struct as_coroutine {};
// 通过使用 std::promise<T> 作为 promise 类型，启用 std::future<T> 作为协程类型
template<typename T, typename... Args>
    requires(!std::is_void_v<T> && !std::is_reference_v<T>)
struct std::coroutine_traits<std::future<T>, as_coroutine, Args...>
{
    struct promise_type : std::promise<T>
    {
        std::future<T> get_return_object() noexcept
        {
            return this->get_future();
        }
        std::suspend_never initial_suspend() const noexcept { return {}; }
        std::suspend_never final_suspend() const noexcept { return {}; }
        void return_value(const T& value)
            noexcept(std::is_nothrow_copy_constructible_v<T>)
        {
            this->set_value(value);
        }
        void return_value(T&& value) noexcept(std::is_nothrow_move_constructible_v<T>)
        {
            this->set_value(std::move(value));
        }
        void unhandled_exception() noexcept
        {
            this->set_exception(std::current_exception());
        }
    };
};
// 对 std::future<void> 同理。
template<typename... Args>
struct std::coroutine_traits<std::future<void>, as_coroutine, Args...>
{
    struct promise_type : std::promise<void>
    {
        std::future<void> get_return_object() noexcept
        {
            return this->get_future();
        }
        std::suspend_never initial_suspend() const noexcept { return {}; }
        std::suspend_never final_suspend() const noexcept { return {}; }
        void return_void() noexcept
        {
            this->set_value();
        }
        void unhandled_exception() noexcept
        {
            this->set_exception(std::current_exception());
        }
    };
};
// 允许通过简单地为每个 co_await 生成新线程来 co_await std::future<T> 和 std::future<void>
template<typename T>
auto operator co_await(std::future<T> future) noexcept
    requires(!std::is_reference_v<T>)
{
    struct awaiter : std::future<T>
    {
        bool await_ready() const noexcept
        {
            using namespace std::chrono_literals;
            return this->wait_for(0s) != std::future_status::timeout;
        }
        void await_suspend(std::coroutine_handle<> cont) const
        {
            std::thread([this, cont]
            {
                this->wait();
                cont();
            }).detach();
        }
        T await_resume() { return this->get(); }