类型守卫的实现方式 Typescript 类型守卫 编程中的类型机制