本文主要是介绍C++设计模式-里氏替换原则,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
里氏替换原则定义了继承规范。(封装、继承、多态)
定义1:类型S对象o1,类型T对象o2,o1换成o2时程序意图不变,那么S是T的子类。
定义2:使用子类不破坏父类的意图。
注意:如果子类不能完成父类意图,则不使用继承,采用依赖、聚合、组合等。
e.g.1 不符合里氏替换原则
#include <iostream>
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 <iostream>
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//这时子类没有重写父类函数,歪曲了父类的意图//里氏替换原则,所有引用基类的地方必须能透明的使用其子类对象。//说明:这里子类对父类的参数进行收窄。
}
这篇关于C++设计模式-里氏替换原则的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!