AB
а причем тут reinterpret_cast?
Потому что в этом случае сикаст это реинтерпрет
Size: a a a
2020 March 06
FS
ну то что когда я говорю "так нельзя делать" имею ввиду что это УБ по стандарту
дак вас (и не только) просят показать это UB в стандарте
P
а причем тут reinterpret_cast?
при том что твой каст это реинтерпрет каст (если отбросить его сишность и ситуации когда этл не реинтерпрет каст)
FS
а не кучу текста, как @das_3sz3tt
P
дак вас (и не только) просят показать это UB в стандарте
я же ссылку дал, там перечислены все случаи когда так можно делать
FS
извиняюсь, я не перехожу на личности, я просто не линкую тот пост
VO
самурай без меча это типа самурай с мечом..
P
а не кучу текста, как @das_3sz3tt
извини нет одной ссылки. Там написано "нельзя unless" Вот посмотри когда можно все остальное нельзя
FS
извини нет одной ссылки. Там написано "нельзя unless" Вот посмотри когда можно все остальное нельзя
инт в инт не запрещено, как видим
FS
извини нет одной ссылки. Там написано "нельзя unless" Вот посмотри когда можно все остальное нельзя
"нельзя если не", тогда уж :)
P
инт в инт не запрещено, как видим
но я не инт в инт а тип A в тип B
AB
а не кучу текста, как @das_3sz3tt
Был разговор о чем? Что для
union {
int[2] arr;
struct {
int a, b;
} s;};нельзя писать в arr и потом читать из s. Это уб по стандарту, ссылки я привел. По разным причинам этот код работает как ожидается в большой тройке, но уб это не отменяет
AB
Не любое уб одинаково вредно, можно полагаться на гарантии компилятора
AB
Нужно понимать возможные последствия. Гццдевы могут сказать, что через 5 лет в gcc15 это уб будет ломать код, эбитесь
AB
Они этого не скажут конечно
FS
Artöm Bakri Al-Sarmini
Был разговор о чем? Что для
union {
int[2] arr;
struct {
int a, b;
} s;};нельзя писать в arr и потом читать из s. Это уб по стандарту, ссылки я привел. По разным причинам этот код работает как ожидается в большой тройке, но уб это не отменяет
там про УБ вообще ни слова же. От Анатолия я увидел про паддинг, но тут тоже не всё так очевидно. Своими словами можете объяснить, желательно на пальцах?
FS
Я сам хотел вбросить пример с 4 интами, но 2 тоже хорошо для разбора полётов.
AB
там про УБ вообще ни слова же. От Анатолия я увидел про паддинг, но тут тоже не всё так очевидно. Своими словами можете объяснить, желательно на пальцах?
Есть такое понятие, как cis - ряд полей, удовлетворяюших набору требований. Если есть юнион с двумя полями-структурами, и у них есть cis из, скажем, одного инта, этот инт можно читать всегда, независимо от активного поля юниона