mp-coro main
Coroutine support tools
task_promise_storage.h
Go to the documentation of this file.
1// The MIT License (MIT)
2//
3// Copyright (c) 2021 Mateusz Pusz
4//
5// Permission is hereby granted, free of charge, to any person obtaining a copy
6// of this software and associated documentation files (the "Software"), to deal
7// in the Software without restriction, including without limitation the rights
8// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9// copies of the Software, and to permit persons to whom the Software is
10// furnished to do so, subject to the following conditions:
11//
12// The above copyright notice and this permission notice shall be included in all
13// copies or substantial portions of the Software.
14//
15// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
21// SOFTWARE.
22
23#pragma once
24
26#include <mp-coro/trace.h>
27#include <concepts>
28
29namespace mp_coro::detail {
30
31template <typename T>
33 void unhandled_exception() noexcept(noexcept(this->set_exception(std::current_exception()))) {
34 TRACE_FUNC();
35 this->set_exception(std::current_exception());
36 }
37};
38
39template <typename T>
41 template <typename U>
42 void return_value(U &&value) noexcept(
43 noexcept(this->set_value(std::forward<U>(value)))) requires requires {
44 this->set_value(std::forward<U>(value));
45 }
46 {
47 TRACE_FUNC();
48 this->set_value(std::forward<U>(value));
49 }
50};
51
52template <>
54 void return_void() noexcept { TRACE_FUNC(); }
55};
56
57} // namespace mp_coro::detail
void set_value(U &&value) noexcept(std::is_nothrow_constructible_v< T, decltype(std::forward< U >(value))>)
Definition: storage.h:46
void set_exception(std::exception_ptr ptr) noexcept
Definition: storage.h:93
void unhandled_exception() noexcept(noexcept(this->set_exception(std::current_exception())))
void return_value(U &&value) noexcept(noexcept(this->set_value(std::forward< U >(value))))
#define TRACE_FUNC()
Definition: trace.h:27