AB
Потому что всегда работало и работает
Size: a a a
2020 March 13
AB
кажется понятие UB было кардинально извращенно
Оно всегда таким было
VO
и теперь UB объявляют любой код который мешает оптимизатору
VO
VO
исходно UB понимался как "от прогона к прогону поведение может меняться [на некоторых архитектруах как минмум] и гарантировать неизменность слишком дорого"
AB
и теперь UB объявляют любой код который мешает оптимизатору
Этот уб вытекает из вординга, который хотят поправить. Это нужно, чтобы программист имел гарантию на правильное поведение
AB
И не любой уб оптимизации поддается
VO
вот к примеру на pdp11 защиты памяти нет, и потому по адресу 0 в случае багов может оказаться что угодно. как результат передача управления по адресу 0 -- действительно неопределена
VO
Artöm Bakri Al-Sarmini
Этот уб вытекает из вординга, который хотят поправить. Это нужно, чтобы программист имел гарантию на правильное поведение
что-что они хотят сделать? в двух словах можешь сказать?
AB
что-что они хотят сделать? в двух словах можешь сказать?
Дать гарантию, что подобный код рабочий
VO
и в чем проблема? у них бюрократически это просто не записанно что ли?
AB
Именно
VO
Artöm Bakri Al-Sarmini
И не любой уб оптимизации поддается
причем тут это? оптимизаторы и не хотят что бы он поддавался, они хотят творить свою фантазию.
VO
Artöm Bakri Al-Sarmini
Именно
а, ну ок.
ПК
и теперь UB объявляют любой код который мешает оптимизатору
Всё верно, UB это ключ к мощным оптимизациям
ПК
Ну и чтоб реализации компиляторов упрощать
VO
звучит как жульничество
DS
UB есть же unspecified и Undefined
ПК
звучит как жульничество
Это способ переложить часть работы с компилятора на программиста, что например может ещё ускорять компиляцю
ПК
Типа ручной контроль, все дела, сишники это обожают