m
Size: a a a
2020 July 08
🎄T
Я просто не вижу, что компилятор может сделать с кодом такого плана. Понятно, что это UB по стандарту, но что может пойти не так? Я сейчас не говорю, что надо так писать, но цель же топик стартера убедить, что это опасно и так делать не надо.
Если кастуется из void*/char* вроде ничего и не может
🎄T
Борроучекеров в плюсы не завезли, чтобы за лайфтаймом следить
VS
Или каком-нибудь:
static_assert(sizeof(int) == sizeof(float));
float f = 42;
int* i = reinterpret_cast<int*>(&f);
// use i
если говорить про этот код, то я не вижу, что тут может пойти не так
🎄T
Хотя здесь нарушается алиасинг, поэтому тут я могу придумать как его сломать.
Если передавать их в одну функцию?
🎄T
Так они одинакового размера как ты написал
🎄T
И он вроде про алиасинг написал
m
Если передавать их в одну функцию?
Я подумал о другом:
static_assert(sizeof(int) == sizeof(float));Этот assert может пройти успешно, так как копмилятор не обязан перечитывать значение f из памяти.
float f = 42;
int* i = reinterpret_cast<int*>(&f);
*i = 0;
assert(f == 42);
🎄T
Я подумал о другом:
static_assert(sizeof(int) == sizeof(float));Этот assert может пройти успешно, так как копмилятор не обязан перечитывать значение f из памяти.
float f = 42;
int* i = reinterpret_cast<int*>(&f);
*i = 0;
assert(f == 42);
Прикольно
d
Я подумал о другом:
static_assert(sizeof(int) == sizeof(float));Этот assert может пройти успешно, так как копмилятор не обязан перечитывать значение f из памяти.
float f = 42;
int* i = reinterpret_cast<int*>(&f);
*i = 0;
assert(f == 42);
может произойти всё что угодно, вплоть до открытия чёрной дыры, это же UB, но на практике, очень вероятно, сработает assert
VS
может произойти всё что угодно, вплоть до открытия чёрной дыры, это же UB, но на практике, очень вероятно, сработает assert
это обсуждение о том, что находится по ту сторону горизонта событий
m
может произойти всё что угодно, вплоть до открытия чёрной дыры, это же UB, но на практике, очень вероятно, сработает assert
Теологическими доводами не всех можно переубедить.
d
Теологическими доводами не всех можно переубедить.
теологическими?
🎄T
может произойти всё что угодно, вплоть до открытия чёрной дыры, это же UB, но на практике, очень вероятно, сработает assert
А почему если float на double поменять ассерт не срабатывает?
d
А почему если float на double поменять ассерт не срабатывает?
а вот UB... А вообще вполне объяснимо, была занулена и без того нулевая часть дабла, при условии, что дабл реализован по стандарту (какой не помню, но к плюсам отношения он не имеет)
🎄T
а вот UB... А вообще вполне объяснимо, была занулена и без того нулевая часть дабла, при условии, что дабл реализован по стандарту (какой не помню, но к плюсам отношения он не имеет)
Так в ассемблере там заново к памяти не обращаются. А вот если типы одинаковой длины, т.е. еще инт на инт64 поменять, то опять ассерт не проходит
🎄T
Если бы IEEE нарушался, то я думаю процесс в рантайме упал
d
Так в ассемблере там заново к памяти не обращаются. А вот если типы одинаковой длины, т.е. еще инт на инт64 поменять, то опять ассерт не проходит
что значит не проходит? смысле срабатывает?
d
Если бы IEEE нарушался, то я думаю процесс в рантайме упал
что значит нарушался/не нарушался?
