ПК
а наоборот уже нет потому что из множества возможных double далеко не все принадлежат A
объекты "первое поле A типа double" и "объект типа A" являются pointer-interconvertible?
Size: a a a
2021 March 15
АР
объекты "первое поле A типа double" и "объект типа A" являются pointer-interconvertible?
в этом направлении да, в обратном нет )
ПК
в этом направлении да, в обратном нет )
То есть "объект типа A" и "первое поле A типа double" уже не являются?
ПК
Но ведь "one is a standard-layout class object and the other is the first non-static data member of that object"
АР
То есть "объект типа A" и "первое поле A типа double" уже не являются?
так являются
АР
блин еще раз
ПК
Всегда один из них является объектом A, а другой является полем первым
АР
давайте обозначим отношение pointer interconvertible ~, а A и B - произвольные типы для этого отношения
SS
давайте обозначим отношение pointer interconvertible ~, а A и B - произвольные типы для этого отношения
Отношение определено на множестве объектов, а не на множестве типов
ПК
Так что условие работает для обеих пар (A*, поле A) и (поле A, A*)
АР
вот симметричность это про то что если A ~ B, то B ~ A
ПК
давайте обозначим отношение pointer interconvertible ~, а A и B - произвольные типы для этого отношения
не типы а объекты ало
ПК
Two objects a and b are pointer-interconvertible if:АР
Отношение определено на множестве объектов, а не на множестве типов
если отношение выполняется не для любых объектов этих типов, то оно не может в общем случае выполняться для типов
SS
если отношение выполняется не для любых объектов этих типов, то оно не может в общем случае выполняться для типов
Оно вообще к типам не относится
SS
Это ортогональная вещь
АР
ок, верно
SS
В случае
Объект a pointer interconvertible с объектом a.d, а объект a.d pointer interconvertible с объектом a
struct A { double d; };
A a;Объект a pointer interconvertible с объектом a.d, а объект a.d pointer interconvertible с объектом a
ПК
Спор был можно ли кастовать первое поле A к A*
АР
спор был можно ли кастовать a.d к B*