哈工大软件构造复习中，LSP原则、协变与逆变如何应用？

本文共计1232个文字，预计阅读时间需要5分钟。

在复习软件构造课程的过程中，LSP原则、协变和逆变是后期学习的重点，难度较高。总结此篇博客以更好地学习这些知识。链接：[以CSDN博客为例](https://)

在复习软件构造课程的过程中，LSP原则，协变和逆变是课程后期的重点之一，鉴于其难度较高，特总结此篇博客以更好地学习这些知识。

（防扒链接）

何以牵尘的博客_CSDN博客blog.csdn.net/m0_61753302

何以牵尘 - 自由互联 (cnblogs.com)www.cnblogs.com/kalesky/

写在前面

在复习软件构造课程的过程中，LSP原则，协变和逆变是课程后期的重点之一，鉴于其难度较高，特总结此篇博客以更好地学习这些知识。

一、LSP原则

LSP原则，即Liskov Substitution Principle，常译为里氏替换原则：

只要父类能出现的地方，子类就可以出现，并且替换为子类也不会产生任何错误或异常。

常用如下：

1. 子类型可以增加方法，但不可删
2. 子类型需要实现抽象类型中的所有未实现方法
3. 子类型中重写的方法必须有相同或子类型的返回值或者符合协变的参数
4. 子类型中重写的方法必须使用同样类型的参数或者符合逆变的参数。
5. 子类型中重写的方法不能抛出额外的异常，子类型也可以不抛出异常。异常必须满足协变。