转自：http://blog.csdn.net/zhengzhb/article/details/7281833 肯定有不少人跟我刚看到的这项原则的时候一样，对这个原则的名字充满疑惑，其实原因就是这项原则最早在1988年，由麻省理工学院的一位姓里的女士提出来的。 定义1：如果对每一个类型的T1的对象o1,都有类型为T2的对象o2，使得以T1定义的所有程序P在所有的对象o1都替换成o2时，程序p的行