gо
В C++ ЕСТЬ СЕМАНТИКА ПРИВЯЗАННАЯ К ЗНАКУ НО ПРИ ЭТОМ C++ НЕЯВНО КОНВЕРТИТ ЗНАКИ
Size: a a a
2021 May 27
H
аххаха
Т8
Что включить? Бери не стандарт, а реализацию
H
найс
ИЛ
То-есть просто собрать код G++?
Т8
Да. Собирай gcc, а не стандартом
gо
И так везде
В каждом уголке языка есть неожиданные ногострелы
В каждом уголке языка есть неожиданные ногострелы
gо
Ты пытаешься работать с двумя unsigned short, но они оба неявно промоутятся до signed int, потому что пошёл ты нафиг, и у тебя возникает очень много UB
C
Ты имеешь ввиду неявные преобразования при сложении вычитании беззнакового числа со знаковым?
gо
Хуже
Беззнаковое с беззнаковым может стать знаковым
Беззнаковое с беззнаковым может стать знаковым
Т8
А ничего, что при этом диапазон расширился? И что тут неочевидного происходит?
C
Воу. Не встречался пока с такой проблемой лол. Просто вот преобразование между незнаковым и знаковым у меня clangd всегда штатно обнаруживает и подчёркивает
gо
У тебя меняется беззнаковый тип на знаковый и теперь переполнение — UB, и половина сдвигов — UB.
Т8
Ну да. Тебе такое правило не нравится, или что?
C
ну это реально говно же
Т8
У тебя тип не меняется. У тебя выражение другого типа
C
что бесит в C++, что надо кучу условностей в голове держать
ИЛ
Почему это компилируется?
