@Antoshkka Антон, скажите, а как поживает [p2141]?

Question

pro.cxx

Constantine Drozdov

@Antoshkka Антон, скажите, а как поживает [p2141]?

#c++ #embedded #programming #russian

0

07.10.2021

13 ответов

43 просмотра

🐙 Antony Polukhin

пока не обсуждали и в ближайших планах нет скорее всего будут рассматривать после auto [x...] = foo(), так как оно даёт простой способ реализовать p2141

0

07.10.2021

Constantine Drozdov Автор вопроса

🐙 Antony Polukhin
пока не обсуждали и в ближайших планах нет скорее...

Ещё идея от @AsGreyWolf, не самая реалистичная, но очень красивая А что, если variant<int, bool> v; auto x = co_visit v; причём дальнейшее является шаблоном?

0

07.10.2021

🐙 Antony Polukhin

Constantine Drozdov
Ещё идея от @AsGreyWolf, не самая реалистичная, но...

Хм... а как это кастомизировать, чтобы работало не только с variant?

0

07.10.2021

Constantine Drozdov Автор вопроса

🐙 Antony Polukhin
Хм... а как это кастомизировать, чтобы работало не...

Вопрос, но в целом это из логики корутин, да можно и в какой-то форме std::variant возвращать. Мысль в том, чтобы монадические интерфейсы как-то линеаризовались в коде. И по-хорошему нужна ещё парная конструкция, которая шаблон заканчивает

0

07.10.2021

Ofee Oficsu

🐙 Antony Polukhin
Хм... а как это кастомизировать, чтобы работало не...

Навскидку: void operator co_visit(std::variant<auto...> v) { std::visit([](auto&& x) { __entry_point_after_co_visit(FWD(x)); }, v); } auto x = будет "подставлен" на место __entry_point_after_co_visit, и ему мы присваиваем FWD(x). Все последующие выражения так же будут скопированы в скоуп __entry_point_after_co_visit Думаю, вопрос расширяемости так или иначе решаем. Идея интересная, но совсем не представляю сейчас, как с этим жить Да и на мой взгляд, решает частную проблему. Хотелось бы более универсальные инструменты задания правил кодогенерации, чтобы не ограничиваться только визитом. Сегодня визит с co_visit, завтра operator try с co_try, послезавтра co_log, выполняющийся лениво, только если у нас подходящий уровень... Я бы больше для начала хотел таки operator try, на который все, похоже, забили

0

07.10.2021

Alexander Karaev

Ofee Oficsu
Навскидку: void operator co_visit(std::variant<au...

Между прочим, в таком виде время жизни всех подвыражений в x продлевается до конца скоупа, что недавно обсуждалось тут же

0

07.10.2021

Ofee Oficsu

Alexander Karaev
Между прочим, в таком виде время жизни всех подвыр...

Да, но при этом перестаёт быть ясно, что именно делает return variant<int, bool> v; auto x = co_visit v; return 42; // ??? // а это? // return x;

0

07.10.2021

Constantine Drozdov Автор вопроса

Ofee Oficsu
Да, но при этом перестаёт быть ясно, что именно де...

Должен выходить из внешней, а не из внутреннего блока, конечно, мы же не страдания генерируем :)

0

07.10.2021

Ofee Oficsu

Constantine Drozdov
Должен выходить из внешней, а не из внутреннего бл...

Это очевидно, но, кажется, одна из версий вординга для продления лайфтаймов в for была отклонена именно поэтому — описываем-то его в терминах кодогенерации, но опять добавляем какие-то неочевидные правила в язык на тему управляющих конструкций

0

07.10.2021

Kelbon

Constantine Drozdov
Ещё идея от @AsGreyWolf, не самая реалистичная, но...

не понимаю что это такое и зачем предлагается

0

08.10.2021

Aidar Fattakhov

Ofee Oficsu
Да, но при этом перестаёт быть ясно, что именно де...

а в эквивалентном visit что?)

0

08.10.2021