【正确答案】 1、如果S为T的真子类型，则S必须与T一致，即类型s的对象可以出现在类型T的对象所需要的任何环境中，并且当该对象的任何获取操作执行时，仍能保持其正确性