AS
Ну по ia64 abi layout таки одинаковый.
и что это доказывает?
Size: a a a
2020 March 06
VO
но не дереференсить это
в смысле *(B*)&a -- нельзя? да ладно?
FS
и что это доказывает?
а разный-то он где?
P
в смысле *(B*)&a -- нельзя? да ладно?
ну да)
VO
докажи компилятором
P
докажи компилятором
скорее стандартом? компиляторы понятное дело делают так, но это уб
AD
Структура с N полей типа T является layout compatible со структурой где в этом же месте будет массив T[N]?
VO
не-не-не. нельзя -- это компилятор генерит error
VO
и кстати, цитату про UB было бы интересно.
P
не-не-не. нельзя -- это компилятор генерит error
нет, компилятор может любое УБ проглотить без всяких эрроров
FS
и кстати, цитату про UB было бы интересно.
+1
FS
я так и не услышал
VO
только вот именно про этот UB
VO
а не про то что если у нас char * в левое место, да еще невыравненное, то обращение float * будет UB
P
только вот именно про этот UB
https://en.cppreference.com/w/cpp/language/reinterpret_cast
секция после type aliasing. Только надо пройти по всем пунктам
секция после type aliasing. Только надо пройти по всем пунктам
VO
нет, компилятор может любое УБ проглотить без всяких эрроров
и что?
P
а не про то что если у нас char * в левое место, да еще невыравненное, то обращение float * будет UB
вот про выравнивание там ничего нет, так что это не важно
P
и что?
ну то что когда я говорю "так нельзя делать" имею ввиду что это УБ по стандарту
VO
https://en.cppreference.com/w/cpp/language/reinterpret_cast
секция после type aliasing. Только надо пройти по всем пунктам
секция после type aliasing. Только надо пройти по всем пунктам
а причем тут reinterpret_cast?
VO
reinterpret_cast он более жесткий чем (type)