Т8
Смотря в каком вузе. Так-то
Size: a a a
2021 May 27
gо
Как гнусный компилятор меняет количество уникальных способов незаметно выстрелить в ногу в плюсах?
gо
Проблема же не в стандарте
ИЛ
И что, реально пропадают такие ништяки как условный use-after-free?
r
В С, например, есть и implicit undefined behavior. То есть UB, который UB как раз потому, что про поведение в этих случаях ничего не написано. http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2248.pdf
gо
Проблема в том, что ты делаешь абсолютно что угодно, а потом выясняется, что так делать было нельзя
gо
И никакого хотя бы относительно единого списка того, что нельзя, я не видел
H
в си он есть
H
прямо в стандарте
p
А расте нет стандарта
gо
Фиг с ней даже с памятью
gо
Ручное управление памятью ок
Т8
Некоторые неочевидные грабли убирает. И результат получится такой, какой ты ожидаешь
Т8
Частично в нём
gо
То, что, например, работать с арифметикой практически невозможно, потому что компилятор будет неявно кастовать твои числа к каким попало типам, а потом ты упорешься в UB, потому что операция невалидна для этого типа — не ок
Т8
Ну, во-первых, да, пропадают. Ты ЗНАЕШЬ, что компилятор сгенерит
Во-вторых, пропадают некоторые ногострельные штуки. Не все, но всё-таки
Во-вторых, пропадают некоторые ногострельные штуки. Не все, но всё-таки
ИЛ
Каким флагом включить это чудо?
gо
Например, моё любимое — unsigned short промоутится до int, становится signed-типом и переполнение становится UB.
Т8
-Wconversion, -Wsign-conversion