Почему при проектировании сопрограммы C++ используется стирание типа с помощью coroutine_handle? ⇐ C++

[Anonymous]

Почему при проектировании C++ для реализации сопрограммы не используется встроенный тип, аналогичный лямбда-выражению, а вместо этого используется стирание типа с помощью coroutine_handle? Это должно повлечь за собой дополнительные накладные расходы, что, по-видимому, противоречит обычной философии проектирования C++. Стандартная библиотека должна быть полностью способна использовать процесс создания, аналогичный функции, для предоставления coroutine_handle? Или возможно, я неправильно понял сопрограммы C++?Я примерно сформулировал эту идею.
struct promise_type {
int value;
std::suspend_never initial_suspend() {
return {};
}

std::suspend_never final_suspend() noexcept {
return {};
}

void return_value(int v) {
value = v;
}

void unhandled_exception() {
std::exit(1);
}
};

template
struct MyCoroutine {

CORO coro_handle;

MyCoroutine(CORO c) : coro_handle(std::move(c)) {}
~MyCoroutine() {
if (coro_handle) {
coro_handle.destroy();
}
}

int get_value() {
return coro_handle.promise().value;
}
};

auto simple_coroutine() {
std::cout

Подробнее здесь: https://stackoverflow.com/questions/792 ... ine-handle