c++ - 我可以合法地将指向结构成员的指针强制转换为指向该结构的指针吗？

Question

考虑这样一个结构，例如:

struct Foo
{
    int a, b;
};

如果我有一个指向 int 的指针 ptr，我知道它指向 Foo 结构中的 b , 这样做合法吗？

Foo *foo = reinterpret_cast<Foo*>(reinterpret_cast<char*>(ptr) - offsetof(Foo, b));

如果是这样，这对任何结构都是合法的吗？如果不是，是否有任何合法的方法可以达到同样的效果？

Answer 1

来自 http://en.cppreference.com/w/cpp/types/offsetof :

The macro offsetof expands to a constant of type std::size_t, the value of which is the offset, in bytes, from the beginning of an object of specified type to its specified member, including padding if any.

If type is not a standard layout type, the behavior is undefined.

这使得 offsetof 受制于非标准布局类型的类和结构的未定义行为。

对于标准布局类型的类和结构，我没有发现任何潜在问题。