例:设有 Pasca程序段 type int=integer; var a: integer; b integer c int. a和是同型备meer萬它和是价的:然和Q的型 eger 价的。 胃结构等价也就是如果二个类型是等价的,当且仅当二个 型真有相同的类型表达式例:设有Pascal程序段 type int=integer; var a:integer; b:integer; c:int; …… a和b是同一类型名integer故它们是等价的；虽然a和c的类型 名不同，但是int是integer的一种别名，故a和c的类型还是等 价的。 所谓结构等价也就是如果二个类型是等价的，当且仅当二个 类型具有相同的类型表达式