std::coroutine_traits
| Определён в заголовке <coroutine>
|
||
template< class R, class... Args >
struct coroutine_traits;
|
(начиная с C++20) | |
Определяет тип обещания из возвращаемого типа и типов параметров корутины. Реализация стандартной библиотеки предоставляет общедоступный тип-член promise_type такой же как 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...> {}; |
` и `` оставлен без изменений, как и требовалось. HTML-разметка и атрибуты также сохранены в оригинальном виде.
Примечания
Если сопрограмма является нестатической функцией-членом, то первый тип в
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::future<T> в качестве типа корутины // используя std::promise<T> в качестве типа promise. 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()); } }; }; // Allow co_await'ing std::future<T> and std::future<void> // наивно создавая новый поток для каждого co_await. 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(); } }; return awaiter { std::move(future) }; } // Используйте инфраструктуру, которую мы создали. std::future<int> compute(as_coroutine) { int a = co_await std::async([] { return 6; }); int b = co_await std::async([] { return 7; }); co_return a * b; } std::future<void> fail(as_coroutine) { throw std::runtime_error("бле"); co_return; } int main() { std::cout << compute({}).get() << '\n'; try { fail({}).get(); } catch (const std::runtime_error& e) { std::cout << "ошибка: " << e.что() << '\n'; } }
Вывод:
42 error: bleah