里氏替换原则 - Liskov Substitution Principle - LSP

定义：子类可以扩展父类的功能，但不能改变父类原有的功能。
通俗的讲：软件中使用一个父类，那么一定适用其子类，而且它察觉不出父类和子类的区别。即，把父类替换成它的子类，软件行为没有变化。其中有四层含义：

• 子类可以实现父类的抽象方法，但不能覆盖父类的非抽象方法
• 子类中可以增加自己特有的方法
• 当子类的方法重载父类的方法时，方法的前置条件（即方法的形参）要比父类方法的输入参数更宽松
• 当子类的方法实现父类的抽象方法时，方法的后置条件（即方法的返回值）要比父类更严格

举例：老师类已经含有了getName函数，而语文老师类重新定义了getName函数，导致结构异常
老师类

// 头文件定义
#include <string>
class Teacher
{
public:
	Teacher();
	virtual ~Teacher();

	virtual void teach();

	std::string getName();
	void setName(std::string name);

private:
	std::string name;
};

// 实现
std::string Teacher::getName()
{
	return name;
}

语文老师类中新增information函数，及重新定义了getName函数

std::string ChineseTeacher::getName()
{
	return "chinese";
}

void ChineseTeacher::information()
{
	std::cout << "My name is " + getName() + "." << std::endl;
	teach();
}

客户端

#include "ChineseTeacher.h"

int main(int agrc, char* argv[])
{
	ChineseTeacher chineseTh;
	chineseTh.setName("zhangSan");
	chineseTh.information();

	getchar();
	return 0;
}

运行结果

源码地址