C++设计模式-里氏替换原则

里氏替换原则定义了继承规范。（封装、继承、多态）

定义1：类型S对象o1，类型T对象o2，o1换成o2时程序意图不变，那么S是T的子类。

定义2：使用子类不破坏父类的意图。

注意：如果子类不能完成父类意图，则不使用继承，采用依赖、聚合、组合等。

e.g.1 不符合里氏替换原则

#include 
using namespace std;
class Map {
};
class HashMap :public Map {
};
class Father {
public:
	virtual void DoSth(HashMap& map) {
		cout << "father dosth" << endl;
    }
};
class Sun :public Father {
public:
    void DoSth(Map& map) {//加override：error C3668: “Sun::DoSth”: 包含重写说明符“override”的方法没有重写任何基类方法
        cout << "sun dosth" << endl;
    }
};
int main(){
    Father* f = new Father;
    HashMap* map = new HashMap;
    f->DoSth(*map);//father dosth
    //根据里氏替换原则
    Sun* s = new Sun;
    s->DoSth(*map);//sun dosth//这时子类没有重写父类函数，歪曲了父类的意图
    //里氏替换原则，所有引用基类的地方必须能透明的使用其子类对象。
    //说明：要想子类替换父类，则子类的函数必须扩大于父类参数。
}

e.g.2不符合里氏替换原则

#include 
using namespace std;
class Map {
};
class HashMap :public Map {
};
class Father {
public:
	virtual void DoSth(Map& map) {
		cout << "father dosth" << endl;
	}
};
class Sun :public Father {
public:
	void DoSth(HashMap& map) {//加override：error C3668: “Sun::DoSth”: 包含重写说明符“override”的方法没有重写任何基类方法
		cout << "sun dosth" << endl;
	}
};
int main() {
	Father* f = new Father;
	HashMap* map = new HashMap;
	f->DoSth(*map);//father dosth
	//根据里氏替换原则
	Sun* s = new Sun;
	s->DoSth(*map);//sun dosth//这时子类没有重写父类函数，歪曲了父类的意图
	//里氏替换原则，所有引用基类的地方必须能透明的使用其子类对象。
	//说明：这里子类对父类的参数进行收窄。
}