Гарантирует ли C++ согласованное представление указателей? ⇐ C++

[Anonymous]

Гарантирует ли C++ согласованное представление указателей, когда указатель приводится к другим типам указателей?
Например, гарантирует ли C++ что-либо в отношении следующей программы?


struct Foo {};
struct Bar : Foo {};

int main() {
Bar obj;

Foo * a = &obj;
Bar * b = &obj;
void *c = &obj;
#if MAYBE_UB
int * d = reinterpret_cast(&obj);
#endif

auto aa = reinterpret_cast(a);
auto bb = reinterpret_cast(b);
auto cc = reinterpret_cast(c);
#if MAYBE_UB
auto dd = reinterpret_cast(d); // UB? Not reading the pointee...
#endif

if (aa != bb) printf("bb differs\n");
if (aa != cc) printf("cc differs\n");
#if MAYBE_UB
if (aa != dd) printf("dd differs\n");
#endif

return 0;
}


Подробнее здесь: https://stackoverflow.com/questions/696 ... sentations