구성원 기본 클래스에 대한 포인터

Question

모두. 왜 벨로우즈 코드가 작동하려면 캐스트가 필요한지 알 수 없습니다. 누군가 그것을 설명 할 수 있습니까? Base이 (공변) 허용한다면, 당신은 다음 노 아니오없는이, 할 수 있기 때문에

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 Class::* ptr = &Class::member; 
Class obj; 
obj.*ptr = Base(); // <-- assigned a Base into a Derived field?! 

을, 포인터 - 투 - 회원 중 contravariant 수 없습니다 그렇지 않으면 당신은 또한 노 아니오없는이 작업을 수행 할 수 있기 때문에, :

struct Class2 { 
    Base member; 
}; 

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

그래서, 포인터 --회원이 아니 공변도 contravariant하지만, 불변 : 유형이 정확히 일치해야합니다.

Answer 2

좋아, 내가 당신의 포인트 크리스있어,하지만 첫 번째 예제는 일반 포인터에 대한 작동합니다. 왜 멤버 포인터에 대해서도 작동하지 않아야합니까? 아래 코드를 참조하십시오.

Derived obj; 
Base *ptr = &obj; 

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

두 번째 예제는 캐스팅없이 다운 캐스팅이 허용되지 않으므로 일반 포인터에도 작동하지 않습니다. 그래서 나는 그것이 설명이되어야한다고 생각하지 않습니다.