Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
119 changes: 119 additions & 0 deletions include/async/generator.hpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,119 @@
#pragma once

#include <async/basic.hpp>
#include <optional>
#include <utility>

namespace async {

template <typename T>
struct generator {
struct promise_type;
using handle_type = corons::coroutine_handle<promise_type>;

struct continuation {
virtual void complete() = 0;
};

struct promise_type {
std::optional<T> current_value;
continuation *cont = nullptr;

generator get_return_object() {
return generator{corons::coroutine_handle<promise_type>::from_promise(*this)};
}

corons::suspend_always initial_suspend() noexcept { return {}; }

struct yield_awaiter {
bool await_ready() noexcept { return false; }

void await_suspend(handle_type h) noexcept {
auto cont = h.promise().cont;
h.promise().cont = nullptr;
if (cont) {
cont->complete();
return;
}
FRG_INTF(panic)("Generator yielded but no consumer is waiting");
}

void await_resume() noexcept {}
};

yield_awaiter yield_value(T value) noexcept {
current_value = std::move(value);
return yield_awaiter{};
}

yield_awaiter final_suspend() noexcept {
return yield_awaiter{};
}

void return_void() {}

void unhandled_exception() {
FRG_INTF(panic)("Unhandled exception in generator coroutine");
}
};

explicit generator(corons::coroutine_handle<promise_type> h) : h_(h) {}

generator(generator &&other) : h_(std::exchange(other.h_, nullptr)) {}

generator &operator=(generator &&other) {
auto h = std::exchange(other.h_, nullptr);
if (h_)
h_.destroy();
h_ = h;
return *this;
}

~generator() {
if (h_)
h_.destroy();
}

template <typename Receiver>
struct next_operation : continuation {
next_operation(handle_type h, Receiver r)
: h_{h}, r_{std::move(r)} {}

void start() {
h_.promise().cont = this;
h_.resume();
}

void complete() override {
auto val = std::move(h_.promise().current_value);
h_.promise().current_value = {};
execution::set_value(std::move(r_), std::move(val));
}

handle_type h_;
Receiver r_;
};

struct next_sender {
handle_type h_;
using value_type = std::optional<T>;

friend sender_awaiter<next_sender, next_sender::value_type> operator co_await (next_sender s) {
return {s};
}

template <typename Receiver>
next_operation<Receiver> connect(Receiver r) {
return {h_, std::move(r)};
}
};

next_sender next() {
return {h_};
}

private:
corons::coroutine_handle<promise_type> h_;
};

} // namespace async
1 change: 1 addition & 0 deletions meson.build
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ if get_option('install_headers')
'include/async/result.hpp',
'include/async/sequenced-event.hpp',
'include/async/wait-group.hpp',
'include/async/generator.hpp',
subdir : 'async/')

pkgconfig.generate(
Expand Down
76 changes: 76 additions & 0 deletions tests/generator.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,76 @@
#include <async/generator.hpp>
#include <async/basic.hpp>
#include <async/result.hpp>
#include <gtest/gtest.h>
#include <memory>

namespace {

async::generator<int> generate_nothing() {
co_return;
}

async::generator<int> generate_ints() {
co_yield 1;
co_yield 2;
co_yield 3;
}

async::generator<std::unique_ptr<int>> generate_unique_ptrs() {
co_yield std::make_unique<int>(1);
co_yield std::make_unique<int>(2);
co_yield std::make_unique<int>(3);
}

} // anonymous namespace

TEST(Generator, YieldNothing) {
async::run([]() -> async::result<void> {
auto gen = generate_nothing();

auto v = co_await gen.next();
EXPECT_FALSE(v.has_value());
}());
}

TEST(Generator, YieldInts) {
async::run([]() -> async::result<void> {
auto gen = generate_ints();

auto v1 = co_await gen.next();
EXPECT_TRUE(v1.has_value());
EXPECT_EQ(*v1, 1);

auto v2 = co_await gen.next();
EXPECT_TRUE(v2.has_value());
EXPECT_EQ(*v2, 2);

auto v3 = co_await gen.next();
EXPECT_TRUE(v3.has_value());
EXPECT_EQ(*v3, 3);

auto v4 = co_await gen.next();
EXPECT_FALSE(v4.has_value());
}());
}

TEST(Generator, YieldMoveOnly) {
async::run([]() -> async::result<void> {
auto gen = generate_unique_ptrs();

auto v1 = co_await gen.next();
EXPECT_TRUE(v1.has_value());
EXPECT_EQ(**v1, 1);

auto v2 = co_await gen.next();
EXPECT_TRUE(v2.has_value());
EXPECT_EQ(**v2, 2);

auto v3 = co_await gen.next();
EXPECT_TRUE(v3.has_value());
EXPECT_EQ(**v3, 3);

auto v4 = co_await gen.next();
EXPECT_FALSE(v4.has_value());
}());
}
1 change: 1 addition & 0 deletions tests/meson.build
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ sources = files(
'sequenced.cpp',
'post-ack.cpp',
'with_cancel_cb.cpp',
'generator.cpp',
)

exe = executable('gtests',
Expand Down