3.3.3 TypeScript的类型区分能力