mirror of
https://gitlab.com/niansa/libcrosscoro.git
synced 2025-03-06 20:53:32 +01:00
bc3b956ed3
* udp_peer! I hope using the udp peer makes sense on how udp packets are sent and received now. Time will tell! * Fix broken benchmark tcp server listening race condition
75 lines
2.1 KiB
C++
75 lines
2.1 KiB
C++
#pragma once
|
|
|
|
#include <concepts>
|
|
#include <coroutine>
|
|
#include <type_traits>
|
|
#include <utility>
|
|
|
|
namespace coro::concepts
|
|
{
|
|
/**
|
|
* This concept declares a type that is required to meet the c++20 coroutine operator co_await()
|
|
* retun type. It requires the following three member functions:
|
|
* await_ready() -> bool
|
|
* await_suspend(std::coroutine_handle<>) -> void|bool|std::coroutine_handle<>
|
|
* await_resume() -> decltype(auto)
|
|
* Where the return type on await_resume is the requested return of the awaitable.
|
|
*/
|
|
// clang-format off
|
|
template<typename type>
|
|
concept awaiter = requires(type t, std::coroutine_handle<> c)
|
|
{
|
|
{ t.await_ready() } -> std::same_as<bool>;
|
|
std::same_as<decltype(t.await_suspend(c)), void> ||
|
|
std::same_as<decltype(t.await_suspend(c)), bool> ||
|
|
std::same_as<decltype(t.await_suspend(c)), std::coroutine_handle<>>;
|
|
{t.await_resume()};
|
|
};
|
|
|
|
/**
|
|
* This concept declares a type that can be operator co_await()'ed and returns an awaiter_type.
|
|
*/
|
|
template<typename type>
|
|
concept awaitable = requires(type t)
|
|
{
|
|
// operator co_await()
|
|
{ t.operator co_await() } -> awaiter;
|
|
};
|
|
|
|
template<typename type>
|
|
concept awaiter_void = requires(type t, std::coroutine_handle<> c)
|
|
{
|
|
{ t.await_ready() } -> std::same_as<bool>;
|
|
std::same_as<decltype(t.await_suspend(c)), void> ||
|
|
std::same_as<decltype(t.await_suspend(c)), bool> ||
|
|
std::same_as<decltype(t.await_suspend(c)), std::coroutine_handle<>>;
|
|
{t.await_resume()} -> std::same_as<void>;
|
|
};
|
|
|
|
template<typename type>
|
|
concept awaitable_void = requires(type t)
|
|
{
|
|
// operator co_await()
|
|
{ t.operator co_await() } -> awaiter_void;
|
|
};
|
|
|
|
template<awaitable awaitable, typename = void>
|
|
struct awaitable_traits
|
|
{
|
|
};
|
|
|
|
template<awaitable awaitable>
|
|
static auto get_awaiter(awaitable&& value)
|
|
{
|
|
return std::forward<awaitable>(value).operator co_await();
|
|
}
|
|
|
|
template<awaitable awaitable>
|
|
struct awaitable_traits<awaitable>
|
|
{
|
|
using awaiter_type = decltype(get_awaiter(std::declval<awaitable>()));
|
|
using awaiter_return_type = decltype(std::declval<awaiter_type>().await_resume());
|
|
};
|
|
// clang-format on
|
|
|
|
} // namespace coro::concepts
|