第节类型等价 T1和T2是相容的:T1可赋给T2,T1可对应T2 的形参;反之亦然。 1.名字等价 两个变量的类型名相同 2.结构等价 两个变量的类型具有相同的结构。 验证法:用用户定义类型的定义来代替用户定 义名,重复这一过程,直到没有用户 定义类型名为止第八节 类型等价 T1和T2是相容的：T1可赋给T2，T1可对应T2 的形参；反之亦然。 1. 名字等价 两个变量的类型名相同。 2. 结构等价 两个变量的类型具有相同的结构。 验证法：用用户定义类型的定义来代替用户定 义名，重复这一过程，直到没有用户 定义类型名为止