type base is INteger subtype s0 n TYPE is base range1..1000-子类型 type diverse is new base range 1.. 1000 派生类型 A, B: BASE C, D: SON TYPE E: DIVERSE A: =B+C 合法,结果为B类型赋给A A =C+E 不合法 A: =C+ SON TYPE(E) 一合法,有显式强制 A: -E 不合法,两个类型 E: =B+BASE(E) 不合法type BASE is INTEGER； subtype SON_TYPE is BASE range 1..1000； --子类型 type DIVERSE is new BASE range 1..1000； --派生类型 A， B： BASE； C， D： SON_TYPE； E： DIVERSE； … A:= B+C， --合法，结果为B类型赋给A A:= C+E； --不合法 A:= C + SON_TYPE(E)； --合法，有显式强制 A:= E ; --不合法，两个类型 E:= B+BASE(E); --不合法 续