6.4.2 交叉类型的类型成员