YS
Ага, уже заметил: http://compcert.inria.fr/download.html
Size: a a a
2020 August 23
A
Увы
Скорее есть компилятор с++ для которого это не уб)
Но я таких не знаю
Скорее есть компилятор с++ для которого это не уб)
Но я таких не знаю
Так у 20 стандарті це вже не уб
AT
Так у 20 стандарті це вже не уб
Вроде ещё да
тут ещё ж прикол в том, что операция логическое И
и правая часть может как выполниться, так и нет
тут ещё ж прикол в том, что операция логическое И
и правая часть может как выполниться, так и нет
A
Ну це да
AT
А вот определили ли они порядок модификации одного объекта несколько раз в одном выражении - не помню
V
В некоторых языках инкрементирование не добавляли, и правильно сделали
AT
Вроде они начали гарантировать результат слева от равно
и справа от равно
И модификация объекта справа не создаст уб для этого же объекта слева
тип:
id = 2 + id++;
А вот для такого, ещё уб:
data[id] = tmp[id++];
Ну и вопросы:
Если это последняя итерация цикла и размер массивов одинаков - вылезем ли мы за границы массива?
и справа от равно
И модификация объекта справа не создаст уб для этого же объекта слева
тип:
id = 2 + id++;
А вот для такого, ещё уб:
data[id] = tmp[id++];
Ну и вопросы:
Если это последняя итерация цикла и размер массивов одинаков - вылезем ли мы за границы массива?
AT
В некоторых языках инкрементирование не добавляли, и правильно сделали
А оно стреляет не только с инкрементами)
У тебя есть метод который модифицирует поле класса и что то возвращает
И отдельно методы для получения этого значения и для установки его
int setAndGet(int)
void set(int)
int get()
set(get() * setAndGet(get()+1));
У тебя есть метод который модифицирует поле класса и что то возвращает
И отдельно методы для получения этого значения и для установки его
int setAndGet(int)
void set(int)
int get()
set(get() * setAndGet(get()+1));
AT
поздравляю
AT
Абсолютно тот же кейз
AT
Ибо не специфицировано что будет выполнено сначала
setAndGet(get()+1)
или же get() - который слева от умножения
Как следствие в регистрах окажутся разные значения
ну и ловим прекрасное уб
setAndGet(get()+1)
или же get() - который слева от умножения
Как следствие в регистрах окажутся разные значения
ну и ловим прекрасное уб
AT
Во всяком случае я не знаю специфицировали ли это
Помню что:
компилятор вправе располагать вычисления операндов коммутативных операции в любом порядке, исходя из предположения что вычисление данных операндов не имеют побочных эффектов для данной операции.
Как то так
но ползти за подробностями надо в стандарт)
Помню что:
компилятор вправе располагать вычисления операндов коммутативных операции в любом порядке, исходя из предположения что вычисление данных операндов не имеют побочных эффектов для данной операции.
Как то так
но ползти за подробностями надо в стандарт)
u
когда в Visual Studio у меня один файл - всё хорошо работает, а когда добавляю второй файл происходят ошибки сборки. с чем это связано?
YS
А как файл добавлял?
u
А как файл добавлял?
проект -> добавить новый элемент
YS
YS
когда в Visual Studio у меня один файл - всё хорошо работает, а когда добавляю второй файл происходят ошибки сборки. с чем это связано?
А вообще показал бы, что за ошибки
YS
Может даже это
u
