摘要：
转载自： https://mp.weixin.qq.com/s/s_B1zBVw7-SdXtKWkHeF3Q 阅读全文
摘要：
转载自：https://mp.weixin.qq.com/s/Uq4g53cQ7YKAXP8TuRV2Gw 定义： 1：如果对每一个类型为 T1的对象 o1，都有类型为 T2 的对象o2，使得以 T1定义的所有程序 P 在所有的对象 o1 都代换成 o2 时，程序 P 的行为没有发生变化，那么类型 阅读全文