推导类型的基类成员的指针

Question

#include <type_traits>

struct BaseClass
{
    int baseValue;
};

struct DerivedClass : public BaseClass
{
    int derivedValue;
};

int main()
{
    auto memDataPtr = &DerivedClass::baseValue;

    static_assert(std::is_same<decltype(memDataPtr), int BaseClass::*>::value, "Huh?");
}

我尝试过的所有编译器都成功地编译了此代码，即，静态断言不会触发。 这意味着，即使我在指定成员时显式使用派生的类名称，如果我采用从基类继承的成员的地址，则指向成员的结果指针将指向该成员所属的基类。

我很好奇，在规范中明确指出了它的位置，以及这种行为背后的原因，因为这似乎有点违反直觉（至少对我天真的我而言）。

Answer 1

参见[expr.unary.op]，其中说

如果操作数是命名类型为T的某些类C的非静态或变体成员m的合格ID，则结果的类型为“指向类型T的类C的成员的指针”，并且是表示C :: m的前值。

它还提供了一个示例来显示此行为：

struct A { int i; };
struct B : A { };
... &B::i ... // has type int A::*