Телеграмм чат группы ProCxx страница 15136

https://godbolt.org/z/_RrLBX

Compiler Explorer - C++ (x86-64 clang 10.0.0)

int main(){
double f = 42;
int* i = reinterpret_cast<int*>(&f);
*i = 0;
assert(f == 42);
}

А не опять не прав

21:37пожаловаться #1

DP

Denis Paukaev in pro.cxx

вроде есть обращение в каждом случае

21:37пожаловаться #2

d

Так в ассемблере там заново к памяти не обращаются. А вот если типы одинаковой длины, т.е. еще инт на инт64 поменять, то опять ассерт не проходит

сделал дабл и сделал инт 64битным, срабатывает ассерт

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in pro.cxx

21:40пожаловаться #3

🎄T

disba1ancer

сделал дабл и сделал инт 64битным, срабатывает ассерт

Просто экспоненту занулял похоже, которая и так нулевая

21:41пожаловаться #4

d

Просто экспоненту занулял похоже, которая и так нулевая

так оно и есть

21:41пожаловаться #5

d

42 укладывается в 16 бит дабла

21:42пожаловаться #6

d

Просто экспоненту занулял похоже, которая и так нулевая

этот код тоже не даёт ассерта https://godbolt.org/z/y9zypA

Compiler Explorer - C++ (x86-64 clang 10.0.0)

int main(){
float f = 42;
std::uint16_t* i = reinterpret_cast<std::uint16_t*>(&f);
*i = 0;
assert(f == 42);
}

21:43пожаловаться #7

d

но оно так предсказуемо себя ведёт пока оптимизацию не включишь

21:44пожаловаться #8

m

magras in pro.cxx

Мне так и не удалось добиться желаемого эффекта. Вот код на котором удобно экспериментировать: https://godbolt.org/z/pU8yRQ

template <class T, class U>
void foo(T t_, U u_) {
static_assert(sizeof(T) == sizeof(U));
static_assert(alignof(T) == alignof(U));
T t = t_;
U* u = reinterpret_cast<U*>(&t);
*u = u_;
assert(t == t_);
}

int main(int argc, char* argv[]) {
foo<float, int>(42, 0);
}

🎄🎊 R 🎅 Tb| ✡️ 🎊🎄... in pro.cxx

21:45пожаловаться #9

🎄T

disba1ancer

но оно так предсказуемо себя ведёт пока оптимизацию не включишь

А если включить

21:46пожаловаться #10

d

А если включить

там 50х50

21:47пожаловаться #11

d

но поведение может и не изменится

21:47пожаловаться #12

d

Мне так и не удалось добиться желаемого эффекта. Вот код на котором удобно экспериментировать: https://godbolt.org/z/pU8yRQ

template <class T, class U>
void foo(T t_, U u_) {
static_assert(sizeof(T) == sizeof(U));
static_assert(alignof(T) == alignof(U));
T t = t_;
U* u = reinterpret_cast<U*>(&t);
*u = u_;
assert(t == t_);
}

int main(int argc, char* argv[]) {
foo<float, int>(42, 0);
}

да, ассерт должен сработать

21:51пожаловаться #13

d

Мне так и не удалось добиться желаемого эффекта. Вот код на котором удобно экспериментировать: https://godbolt.org/z/pU8yRQ

template <class T, class U>
void foo(T t_, U u_) {
static_assert(sizeof(T) == sizeof(U));
static_assert(alignof(T) == alignof(U));
T t = t_;
U* u = reinterpret_cast<U*>(&t);
*u = u_;
assert(t == t_);
}

int main(int argc, char* argv[]) {
foo<float, int>(42, 0);
}

ты вообще какого эффекта хочешь? не говоря о том что в том коде UB на UB и UB погоняет...

21:52пожаловаться #14

A

Alex in pro.cxx

почему не memcpy, который хотя бы не UB?

21:55пожаловаться #15

m

magras in pro.cxx

Мне так и не удалось добиться желаемого эффекта. Вот код на котором удобно экспериментировать: https://godbolt.org/z/pU8yRQ

template <class T, class U>
void foo(T t_, U u_) {
static_assert(sizeof(T) == sizeof(U));
static_assert(alignof(T) == alignof(U));
T t = t_;
U* u = reinterpret_cast<U*>(&t);
*u = u_;
assert(t == t_);
}

int main(int argc, char* argv[]) {
foo<float, int>(42, 0);
}

Достаточно было скрыть связь через функцию без inline: https://godbolt.org/z/QQB249

Compiler Explorer - C++ (x86-64 gcc 10.1)

template <class T, class U>
U* __attribute__ ((noinline)) bar(T* t) {
return reinterpret_cast<U*>(t);
}

template <class T, class U>
void foo(T t_, U u_) {
static_assert(sizeof(T) == sizeof(U));
static_assert(alignof(T) == alignof(U));
T t = t_;
U* u = bar<T, U>(&t);
*u = u_;
assert(t == t_);
}

int main(int argc, char* argv[]) {
foo<float, int>(42, 0);
}

21:55пожаловаться #16

d

Alex

почему не memcpy, который хотя бы не UB?

а он тут при чём?

21:55пожаловаться #17

m

magras in pro.cxx

Alex

почему не memcpy, который хотя бы не UB?

Так моя задача продемонстрировать опасность UB.

21:56пожаловаться #18

A

Alex in pro.cxx

а, вопрос снят)

21:56пожаловаться #19

d

Так моя задача продемонстрировать опасность UB.

там по ходу сработал strict aliasing и выкинулся ассерт как заведомо не срабатывающий