ts交叉类型详解