contravariance

反变：把基类里指向成员函数的指针指向派生类中的成员函数。很可能导致错误，就好像把派生类指针指向基类一样。

1. #include <iostream>
3. using namespace std;
5. class Base
6. {
7. public:
8.     void foo(){}
9. };
11. class Derived: public Base
12. {
13. public:
14.     void goo(){}
15. };
17. typedef void (Base::*MethodOfBase)();
18. typedef void (Derived::*MethodOfDerived)();
20. int main()
21. {
22.     MethodOfBase methodB;
23.     MethodOfDerived methodD;
24.     methodB = static_cast<MethodOfBase>(&Derived::goo);    // contravariance
25.     methodB = &Base::foo;       // it is OK
26.     methodD = &Derived::goo;    // it is OK
27.     methodD = &Base::foo;       // it is OK
28.     return 0;
29. }
30.