c++ - 指向对象的指针 == 指向第一个成员的指针？

Question

为什么以下代码中的 if 条件会产生 true？

struct A
{
    int firstMember;
} a1;

if (&a1 == static_cast<void*>(&a1.firstMember)) std::cout << "equal";

阅读时我有点困惑Stroustrup's FAQ在空类上，特别是下面的声明:

if (p1 == p2) cout << "nice: good optimizer";

Answer 1

您的代码中没有涉及任何引用。不要将“寻址”运算符(也称为 &)与引用混淆。

您的条件返回 true，因为在这种情况下，碰巧对象在内存中与其第一个(也是唯一的)字段相同的位置开始。所谓的 POD(普通旧数据)对象就是这种情况，但并不总是如此。

例如，如果您的类包含任何虚函数，则条件很可能为假。不要依赖它。