std::noop_coroutine
Материал из cppreference.com
<tbody>
</tbody>
| Определено в заголовочном файле <coroutine>
|
||
std::noop_coroutine_handle noop_coroutine() noexcept; |
(начиная с C++20) | |
Возвращает дескриптор сопрограммы, ссылающийся на неактивную сопрограмму.
Если уже было состояние сопрограммы без операции, не указано, возвращает ли последующий вызов noop_coroutine ранее полученный дескриптор сопрограммы или дескриптор сопрограммы, ссылающийся на новое состояние сопрограммы без операции.
Параметры
(нет)
Возвращаемое значение
std::noop_coroutine_handle ссылается на неактивную сопрограмму.
Примечание
Возвращаемые значения из разных вызовов noop_coroutine могут при сравнении быть равными и не равными.
noop_coroutine может возвращать только noop_coroutine_handle, ссылающийся на объект состояния сопрограммы, без запуска сопрограммы.
Пример
Запустить этот код
#include <coroutine>
#include <iostream>
#include <utility>
template<class T>
struct task
{
struct promise_type
{
auto get_return_object()
{
return task(std::coroutine_handle<promise_type>::from_promise(*this));
}
std::suspend_always initial_suspend() { return {}; }
struct final_awaiter
{
bool await_ready() noexcept { return false; }
void await_resume() noexcept {}
std::coroutine_handle<>
await_suspend(std::coroutine_handle<promise_type> h) noexcept
{
// final_awaiter::await_suspend вызывается, когда выполнение текущей
// сопрограммы (обозначенной буквой 'h') подходит к концу.
// Если текущая сопрограмма была возобновлена другой сопрограммой
// через co_await get_task(), дескриптор этой сопрограммы сохраняется
// как h.promise().previous. В этом случае возвращается дескриптор, чтобы
// возобновить предыдущую сопрограмму.
// Иначе везвращается noop_coroutine(), возобновление которого ничего
// не делает.
if (auto previous = h.promise().previous; previous)
return previous;
else
return std::noop_coroutine();
}
};
final_awaiter final_suspend() noexcept { return {}; }
void unhandled_exception() { throw; }
void return_value(T value) { result = std::move(value); }
T result;
std::coroutine_handle<> previous;
};
task(std::coroutine_handle<promise_type> h) : coro(h) {}
task(task&& t) = delete;
~task() { coro.destroy(); }
struct awaiter
{
bool await_ready() { return false; }
T await_resume() { return std::move(coro.promise().result); }
auto await_suspend(std::coroutine_handle<> h)
{
coro.promise().previous = h;
return coro;
}
std::coroutine_handle<promise_type> coro;
};
awaiter operator co_await() { return awaiter{coro}; }
T operator()()
{
coro.resume();
return std::move(coro.promise().result);
}
private:
std::coroutine_handle<promise_type> coro;
};
task<int> get_random()
{
std::cout << "в get_random()\n";
co_return 4;
}
task<int> test()
{
task<int> v = get_random();
task<int> u = get_random();
std::cout << "в test()\n";
int x = (co_await v + co_await u);
co_return x;
}
int main()
{
task<int> t = test();
int result = t();
std::cout << result << '\n';
}
Вывод:
в test()
в get_random()
в get_random()
8
Смотрите также
(C++20) |
используется для сопрограмм без видимых эффектов (класс) |
(C++20) |
std::coroutine_handle<std::noop_coroutine_promise>, предназначенный для ссылки на сопрограмму без операций (определение типа) |