自选重点： 联合和交叉是类型运算。联合的作用是类型合并，交叉的作用是类型收敛。 联合会尽力的合并类型。 交叉类型并不常用于基础类型。交叉收敛到子类型，如果没有父子类型关系，收敛到never。