指向基类某个成员的指针可以转换成指向派生类相应成员指针。然而，反过来却不行。这条规则叫做“指向成员的指针的不可逆性”。下面我将解释这个不可逆特性以及隐藏于其后的基本原理。
不可逆性例子
考虑以下两个类：
struct Base
{
virtual void func();
};
struct Derived : Base
{
void func();
};
指向类 Base 的一个成员的指针不能引用类 Derived 的相应成员：
typedef void (Base::*PMF)();
PMF pmf1=&Derived::func; //error
PMF pmf2=&Base::func; //ok
然而，如果定义一个指向类 Derived 的一个成员的指针，那么可以隐式地将其转成指向类 Base 相应成员的指针：
typedef void
(Derived::*PMF)();
PMF pmf1=&Derived::func; //fine
PMF pmf2=&Base::func; //also fine
基本原理
这个不可逆性规则看上去有违直觉。在处理一般的指针和引用时，可以隐式地将一个指向派生类的指针转成一个指向其基类的指针，但是相反却不行：
Base * p =
new Derived; //ok
Derived *p = new Base; //error, can't convert
//'Derived
*' to 'Base *'
然而，在指向成员的指针方面，情况恰恰相反。这是很有必要的，因为一个派生类具有它所继承的基类的所有成员；因此，任何指向基类一个成员的指针都可以映射到派生类相应的成员上。相反行不通，因为派生类可能具有更多基类中不存在的成员。
