7.1.5 类型划分并不绝对