c++ - 指向基类成员的指针的推导类型

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]，它说

If the operand is a qualified-id naming a non-static or variant member m of some class C with type T, the result has type “pointer to member of class C of type T” and is a prvalue designating C::m.

它还给出了一个例子来展示这种行为:

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