7.1.8 联合类型