6.4.3 交叉类型与联合类型