12.3 联合类型与交叉类型