指向基类的成员指针

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

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