Через requires отрезать нужный случай может думали?

Question

pro.cxx

다니엘(줄리아)

Через requires отрезать нужный случай может думали?

#c++ #embedded #programming #russian

0

01.08.2022

12 ответов

21 просмотр

Skarn

Arelav
ну в смысле? Компилятор видит два return_void и re...

В разных ветках?

0

01.08.2022

magras

Наверное, технически это ничему не противоречит, но мне кажется такой дизайн мягко говоря странным. Если корутина возвращает значение, return не должен быть пустым. То есть пока я на стороне стандарта.

0

01.08.2022

magras

С другой стороны, то что разрешены перегрузки, тоже ломает логику обычной функции, где тип возвращаемого значения один.

0

01.08.2022

Arelav

magras
Наверное, технически это ничему не противоречит, н...

У вас любая Task уже умеет обрабатывать эксепшн (как правило сохраняя его в exception_ptr поле/варианте). Как минимум можно представить случай когда вы не хотите кидать эксепшн а сразу хотите вернуть Хотя более практичное соображение на мой взгляд это кенсел корутины со стороны промиса co_return StopTag{}; Сейчас вы можете поддержать такое поведение для T!=void, а для void надо либо кидать эксепшн (что дорого), либо делать сo_await Stop() который никогда не вернеться, что можно но некрасиво и неявно

0

01.08.2022

Arelav

magras
С другой стороны, то что разрешены перегрузки, тож...

И это хорошо например я могу реализовать return_value(Task<T>) эффективнее чем co_return co_await task

0

01.08.2022

magras

А как работает решение со StopTag? Возврат чего-то типа Either T StopTag и кастомный operator await, который делает что-то вроде if (Right _) return StopTag; (не уверен, что это возможно)?

0

01.08.2022

Arelav

magras
А как работает решение со StopTag? Возврат чего-то...

Ну внутри Task условно variant<T,...,StopTag>, в него сохраняется вместо T, StopTag, остальное не отличается. Или вопрос про решение co_await Stop()/StopTag{}?

0

01.08.2022

magras

Arelav
Ну внутри Task условно variant<T,...,StopTag>, в н...

Отмена это про раскрутку всего стэка. Отмена одной футуры никому не интересна.

0

01.08.2022

Arelav

magras
Отмена это про раскрутку всего стэка. Отмена одной...

Ну так она прокинется дальше

0

01.08.2022