Корутину) Ну т.е. какой именно конечный автомат возобновит resume()
я не понимаю какую информацию вы оттуда получите, это то же самое что взять .address
address известен лишь в рантайме, компилятор про него не знает
так и конкретный тип корутины зависит от конкретного выова
Типа, это же аналогично вот такому template<class F> void foo1(F& func); void foo2(std::function_ref<void()> func); Кажется понятно, какие тут различия
сейчас std::coroutine_handle аналогичен второму варианту, а первый выразить, кажется, нельзя
нельзя давать доступ к типу промиса, по многим причинам
ты хотел сказать, к типу корутины / coroutine state object? Если что, я не совсем это предлагаю (тут кажется возникнут круговые зависимости нерешаемые). Я хочу выставлять некий unspecified тип (который на практике будет 1:1 маппиться в тип корутины). Но было бы интересно послушать про проблемы. Я вижу только то, что придется иначе указывать тип промиса.
Обсуждают сегодня