CC
эмм, думаю что компилятор не идиот
Ну всм каждый компилер может сам решить, каким образом ему надо быть не идиотом
Size: a a a
2020 September 04
CC
Наверное по-разному оно решено в разных компилерах
CC
Поэтому UB
RM
Ну всм каждый компилер может сам решить, каким образом ему надо быть не идиотом
Да не, это какой то простой случай
🦊
эмм, думаю что компилятор не идиот
В том то и дело, что он не идиот.
Компилятор реализует стандарт, в стандарте есть as-if rule касаемо оптимизаций. Программы с UB освобождаются от этого правила.
Компилятор реализует стандарт, в стандарте есть as-if rule касаемо оптимизаций. Программы с UB освобождаются от этого правила.
RM
В том то и дело, что он не идиот.
Компилятор реализует стандарт, в стандарте есть as-if rule касаемо оптимизаций. Программы с UB освобождаются от этого правила.
Компилятор реализует стандарт, в стандарте есть as-if rule касаемо оптимизаций. Программы с UB освобождаются от этого правила.
аа даже так
RM
Я бы на месте компилятора выкинул нахуй b
🦊
аа даже так
Эти два нюанса привели к тому, что оптимизирующие компиляторы предполагают, что UB никогда не будет.
🦊
И делают оптимизации, основываясь на этом.
A
Ммм, недосып - штука страшная.
Так спи, что мешает
🦊
Так спи, что мешает
жизнь весёлая мешает
A
жизнь весёлая мешает
Понимаю
🦊
И делают оптимизации, основываясь на этом.
UB здесь - изменение и чтение данных в одной операции без точек синхронизации (см. модель памяти)
🦊
Компилятор имеет право сделать предположение, что такого никогда не напишут.
p
что ты хочешь использовать больше одного ядра? никогда не работал еще с асио. имеет смысл конфигурировать через cmake, если в рантайме!
🦊
И следовательно переставить операнды +
CC
Я раньше думал, что для операторов, которые между и возвращают своё значение, левый операнд вычисляется первым, а потом уже правый.
Походу, это (почти) так только для || и && (почти, потому что для них же правый операнд может вообще не вычисляться, если возвращаемое значение ясно по левому)
Оказывается, оно не определено
Походу, это (почти) так только для || и && (почти, потому что для них же правый операнд может вообще не вычисляться, если возвращаемое значение ясно по левому)
Оказывается, оно не определено
🦊
Да, только, кажется, || и && гарантируют порядок вычисления.
🦊
Это фича этих операторов вообще говоря.
🦊
Про что мы с роем даже говорили.