sender_operations.hpp

Go to the documentation of this file.

 
#pragma once
 
#include "condy/concepts.hpp"
#include "condy/senders.hpp"
#include "condy/utils.hpp"
#include <coroutine>
#include <stdexcept>
 
namespace condy {
 
template <CQEHandlerLike CQEHandler, PrepFuncLike PrepFunc, typename... Args>
auto build_op_sender(PrepFunc &&prep_func, Args &&...args) {
    return OpSender<std::decay_t<PrepFunc>, CQEHandler>(
        std::forward<PrepFunc>(prep_func),
        CQEHandler(std::forward<Args>(args)...));
}
 
template <CQEHandlerLike CQEHandler, PrepFuncLike PrepFunc,
          typename MultiShotFunc, typename... Args>
auto build_multishot_op_sender(PrepFunc &&func, MultiShotFunc &&multishot_func,
                               Args &&...handler_args) {
    return MultiShotOpSender<std::decay_t<PrepFunc>, CQEHandler,
                             std::decay_t<MultiShotFunc>>(
        std::forward<PrepFunc>(func),
        CQEHandler(std::forward<Args>(handler_args)...),
        std::forward<MultiShotFunc>(multishot_func));
}
 
template <CQEHandlerLike CQEHandler, PrepFuncLike PrepFunc, typename FreeFunc,
          typename... Args>
auto build_zero_copy_op_sender(PrepFunc &&func, FreeFunc &&free_func,
                               Args &&...handler_args) {
    return ZeroCopyOpSender<std::decay_t<PrepFunc>, CQEHandler,
                            std::decay_t<FreeFunc>>(
        std::forward<PrepFunc>(func),
        CQEHandler(std::forward<Args>(handler_args)...),
        std::forward<FreeFunc>(free_func));
}
 
namespace detail {
 
struct NeverStopToken {
public:
    template <typename> struct callback_type {
        constexpr explicit callback_type(NeverStopToken, auto &&) noexcept {}
    };
 
    static constexpr bool stop_requested() noexcept { return false; }
 
    static constexpr bool stop_possible() noexcept { return false; }
 
    constexpr bool operator==(NeverStopToken const &) const noexcept = default;
};
 
template <typename Sender> class [[nodiscard]] SenderAwaiter {
public:
    SenderAwaiter(Sender sender)
        : operation_state_(std::move(sender).connect_impl(Receiver{this})) {}
 
    CONDY_DELETE_COPY_MOVE(SenderAwaiter);
 
public:
    bool await_ready() const noexcept { return false; }
 
    template <typename Promise>
    bool await_suspend(std::coroutine_handle<Promise> handle) noexcept {
        operation_state_.start(0);
        auto h = std::exchange(handle_, handle);
        return h == std::noop_coroutine();
    }
 
    auto await_resume() noexcept { return std::move(result_); }
 
private:
    struct Receiver {
        SenderAwaiter *self;
        template <typename R> void operator()(R &&result) noexcept {
            self->handle_result_(std::forward<R>(result));
        }
        NeverStopToken get_stop_token() const noexcept { return {}; }
    };
 
    template <typename R> void handle_result_(R &&result) noexcept {
        result_ = std::forward<R>(result);
        auto h = std::exchange(handle_, nullptr);
        h.resume();
    }
 
    using OperationState = operation_state_t<Sender, Receiver>;
    // Await/complete path is serialized, so atomic is not needed here.
    std::coroutine_handle<> handle_ = std::noop_coroutine();
    OperationState operation_state_;
    typename Sender::ReturnType result_;
};
 
template <typename Sender> auto as_awaiter(Sender &&sender) {
    return detail::SenderAwaiter<std::decay_t<Sender>>(
        std::forward<Sender>(sender));
}
 
} // namespace detail

template <unsigned int Flags, typename Sender> auto flag(Sender &&sender) {
    return FlaggedOpSender<Flags, std::decay_t<Sender>>(
        std::forward<Sender>(sender));
}

template <typename Sender> auto drain(Sender &&sender) {
    return flag<IOSQE_IO_DRAIN>(std::forward<Sender>(sender));
}

template <typename Sender> auto always_async(Sender &&sender) {
    return flag<IOSQE_ASYNC>(std::forward<Sender>(sender));
}

template <template <typename... Senders> typename SenderType,
          typename... Senders>
auto parallel(Senders &&...senders) {
    return SenderType<std::decay_t<Senders>...>(
        std::forward<Senders>(senders)...);
}

template <template <typename Sender> typename RangedSenderType,
          std::ranges::range Range>
auto parallel(Range &&range) {
    using SenderType = typename std::remove_cvref_t<Range>::value_type;
    auto begin = std::make_move_iterator(std::begin(range));
    auto end = std::make_move_iterator(std::end(range));
    std::vector<SenderType> senders(begin, end);
    return RangedSenderType<SenderType>(std::move(senders));
}

template <typename... Senders> auto when_all(Senders &&...senders) {
    return parallel<WhenAllSender>(std::forward<Senders>(senders)...);
}

template <std::ranges::range Range> auto when_all(Range &&range) {
    return parallel<RangedWhenAllSender>(std::forward<Range>(range));
}

template <typename... Senders> auto when_any(Senders &&...senders) {
    static_assert(sizeof...(Senders) > 0,
                  "when_any requires at least one sender");
    return parallel<WhenAnySender>(std::forward<Senders>(senders)...);
}

template <std::ranges::range Range> auto when_any(Range &&range) {
    if (std::ranges::empty(range)) {
        throw std::invalid_argument("when_any requires at least one sender");
    }
    return parallel<RangedWhenAnySender>(std::forward<Range>(range));
}

template <typename... Senders> auto link(Senders &&...senders) {
    return parallel<LinkSender>(std::forward<Senders>(senders)...);
}

template <std::ranges::range Range> auto link(Range &&range) {
    return parallel<RangedLinkSender>(std::forward<Range>(range));
}

template <typename... Senders> auto hard_link(Senders &&...senders) {
    return parallel<HardLinkSender>(std::forward<Senders>(senders)...);
}

template <std::ranges::range Range> auto hard_link(Range &&range) {
    return parallel<RangedHardLinkSender>(std::forward<Range>(range));
}

namespace operators {

template <typename Sender1, typename Sender2>
auto operator&&(Sender1 s1, Sender2 s2) {
    return when_all(std::move(s1), std::move(s2));
}

template <typename S, typename... Ss>
auto operator&&(WhenAllSender<Ss...> aws, S sender) {
    return WhenAllSender<Ss..., std::decay_t<S>>(std::move(aws),
                                                 std::move(sender));
}

template <typename Sender1, typename Sender2>
auto operator||(Sender1 s1, Sender2 s2) {
    return when_any(std::move(s1), std::move(s2));
}

template <typename S, typename... Ss>
auto operator||(WhenAnySender<Ss...> aws, S sender) {
    return WhenAnySender<Ss..., std::decay_t<S>>(std::move(aws),
                                                 std::move(sender));
}

template <typename Sender1, typename Sender2>
auto operator>>(Sender1 s1, Sender2 s2) {
    return link(std::move(s1), std::move(s2));
}

template <typename S, typename... Ss>
auto operator>>(LinkSender<Ss...> aws, S sender) {
    return LinkSender<Ss..., std::decay_t<S>>(std::move(aws),
                                              std::move(sender));
}
 
} // namespace operators
 
} // namespace condy