概念如果A,B表示类型,f(*)表示类型转换, <= 表示继承关系(如果 A <= B,则表示A是B的子类)
里氏替换原则(LSP)
子类对象可以在程序中替换基类对象,”SOLID”原则中的L就是这个.
协变
如果f(*)是
2020-10-14