续 按名等价 0A1,OA2是同一类型(都用A声明) 0A1,OB1,0C1是不同类型(类型名为A,B,无) OD1,OD2是同一类型(同时声明,虽无名) OD1,OC1是不同类型(两次声明) 0A1,OE1是同一类型(虽两次声明,但同名 类型完整性准则 涉及值的类型中不能随意限定操作, 力求没有第二类的值按名等价 OA1， OA2 是同一类型(都用A声明) OA1， OB1， OC1是不同类型(类型名为A，B， 无) OD1， OD2 是同一类型(同时声明， 虽无名) OD1， OC1 是不同类型(两次声明) OA1， OE1 是同一类型(虽两次声明， 但同名) • 类型完整性准则 涉及值的类型中不能随意限定操作, 力求没有第二类的值 续