c++ - 通过 `this' 访问另一个对象的定义？

Question

假设我们有一个这样的对象:

struct B {
  void access_a() {
    A* a = reinterpret_cast<A*>(reinterpret_cast<char*>(this)
                                - offsetof(A, b));
    // is accessing a here well defined, assuming this object
    // is one that is inside struct A?
  }
};
struct A {
  /* one or more standard layout types before b */
  B b;
} a;

a.b.access_a();

从理论上讲，我们确实有一个指向 A 实例的指针，至少在某些情况下，这种(丑陋的)代码似乎可以达到预期的效果。它定义明确吗？编译器是否可以假设访问一个对象的一个​​成员不会改变其他成员(如果访问的对象本身不包含指向父对象的指针)，或者所有子对象都属于某种共享可变组吗？

Answer 1

一个可能的问题在于 offsetof 宏的使用，它只能与 POD 一起使用类型。

(维基:)

A Plain Old Data Structure in C++ is an aggregate class that contains only PODS as members, has no user-defined destructor, no user-defined copy assignment operator, and no nonstatic members of pointer-to-member type.

因此，只要您的 struct A 被定义为符合上述规则，它就可以保证工作(但确实如前所述，这是不好的做法和丑陋的代码)。但如果不是，你有undefined behaviour .