做家教用什么网站贵州省建设厅网站文件

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

定义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//这时子类没有重写父类函数，歪曲了父类的意图//里氏替换原则，所有引用基类的地方必须能透明的使用其子类对象。//说明：这里子类对父类的参数进行收窄。
}