设计模式之美07--里式替换原则

子类可以替换程序中任何地方的父类, 并且不影响原有的逻辑及正确性不被改变

例如下面的代码, 虽然SecurityTransporter修改了sendRequest方法, 但是在使用时逻辑没变, 符合里式替换原则

public class Transporter {
	private HttpClient httpClient;
	public Transporter(HttpClient httpClient) {
		this.httpClient = httpClient;
	} 
	public Response sendRequest(Request request) {
		// ...use httpClient to send request
	}
} 
public class SecurityTransporter extends Transporter {
	private String appId;
	private String appToken;
	public SecurityTransporter(HttpClient httpClient, String appId, String appToken) {
		super(httpClient);
		this.appId = appId;
		this.appToken = appToken;
	} 
	
	@Override
	public Response sendRequest(Request request) {
		if (StringUtils.isNotBlank(appId) && StringUtils.isNotBlank(appToken)) {
		request.addPayload("app-id", appId);
		request.addPayload("app-token", appToken);
	} 
	return super.sendRequest(request);
	}
}

如下,如果对SecurityTransporter改造一下, 此时如果传入的appid和apptoken为空为抛错, 与父类逻辑不一致, 因此违反了里式替换原则

/
/ 改造后：
public class SecurityTransporter extends Transporter {
	//...省略其他代码..
	@Override
	public Response sendRequest(Request request) {
	if (StringUtils.isBlank(appId) || StringUtils.isBlank(appToken)) {
		throw new NoAuthorizationRuntimeException(...);
	} 
	request.addPayload("app-id", appId);
	request.addPayload("app-token", appToken);
	return super.sendRequest(request);
	}
}

违背里式替换原则的代码

1. 子类违背父类声明要实现的功能

父类中提供的sortOrdersByAmount()订单排序函数，是按照金额从小到大来给订单排序的，而子类重写这个sortOrdersByAmount()订单排
序函数之后，是按照创建日期来给订单排序的。那子类的设计就违背里式替换原则。

2. 子类违背父类对输入、输出、异常的约定

在父类中，某个函数约定：运行出错的时候返回null；获取数据为空的时候返回空集合（empty collection）。而子类重载函数之后，实现变
了，运行出错返回异常（exception），获取不到数据返回null。那子类的设计就违背里式替换原则。
在父类中，某个函数约定，输入数据可以是任意整数，但子类实现的时候，只允许输入数据是正整数，负数就抛出，也就是说，子类对输入的
数据的校验比父类更加严格，那子类的设计就违背了里式替换原则。
在父类中，某个函数约定，只会抛出ArgumentNullException异常，那子类的设计实现中只允许抛出ArgumentNullException异常，任何其
他异常的抛出，都会导致子类违背里式替换原则。

3. 子类违背父类注释中所罗列的任何特殊说明
   父类中定义的withdraw()提现函数的注释是这么写的：“用户的提现金额不得超过账户余额……”，而子类重写withdraw()函数之后，针对VIP
   账号实现了透支提现的功能，也就是提现金额可以大于账户余额，那这个子类的设计也是不符合里式替换原则的。
   以上便是三种典型的违背里式替换原则的情况。除此之外，判断子类的设计实现是否违背里式替换原则，还有一个小窍门，那就是拿父类的单
   元测试去验证子类的代码。如果某些单元测试运行失败，就有可能说明，子类的设计实现没有完全地遵守父类的约定，子类有可能违背了里式替换原则。