指向基类的成员指针

Question

全部。我无法理解为什么下面的代码需要强制转换才能工作。有人可以解释一下吗？

class Base {
};

class Derived : public Base {
};

class Class {
public:
    Derived member;
};

...

Derived obj;
Base *ptrObj = &obj; // ok, no cast needed

Derived Class::* ptr = &Class::member; // ok
Base    Class::* ptr = &Class::member; // wrong, need cast, why?

Answer 1

因为如果允许Base（协变），那么你就可以这样做，这是一个禁忌：

Base Class::* ptr = &Class::member;
Class obj;
obj.*ptr = Base();   // <-- assigned a Base into a Derived field?!

同时，指向成员的指针也不能是逆变的，因为否则你可以这样做，这也是一个禁忌：

struct Class2 {
    Base member;
};

Derived Class2::* ptr2 = &Class2::member;
Class2 obj2;
obj2.member = Base();
Derived& d = obj2.*ptr2;  // <-- assigned a Base into a Derived

因此，指向成员的指针既不是协变也不是逆变，而是不变的：类型必须完全匹配。

Answer 2

好吧，我明白你的意思了，克里斯，但是你的第一个例子适用于普通指针。为什么它不适用于成员指针？请参阅下面的代码。

Derived obj;
Base *ptr = &obj;

*ptr = Base(); // it's weird, but ok

第二个示例即使对于普通指针也不起作用，因为不进行强制转换就不允许向下转换。所以我认为这不应该是一个解释。