声明:本篇文章内容是从网络书籍整顿而来,并不是原创。
定义
-
最正宗的定义:
If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T. I
声明:本篇文章内容是从网络书籍整顿而来,并不是原创。
最正宗的定义:
If for each object o1 of type S there is an object o2 of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o1 is substituted for o2 then S is a subtype of T. I