2023年1月14日
读编程与类型系统笔记07_子类型
摘要： 1. 子类型 1.1. 在期望类型T的实例的任何地方，都可以安全地使用类型S的实例，则类型S是类型T的子类型 1.1.1. 里氏替换原则（Liskov substitution principle） 2. 名义子类型 2.1. 明确指定 2.2. 显式声明一个类型是另一个类型的子类型 2.3. 大部 阅读全文
posted @ 2023-01-14 14:32 躺柒 阅读(62) 评论(0) 推荐(0) 编辑