【正确答案】 1、在基于类型/子类型层次结构的继承层次结构中，类C的任何对象操作的执行，包括从C的超类继承的所有操作应满足C的类不变式