软件工程TypeScriptTypeScript 类型窄化TypeScript 类型窄化TypeScript 可以分析程序的控制流，如 if/else、三元运算符、循环等，来给出关于类型的更多信息。常见的类型保护有： typeof 真性判断 相等性判断 in instanceof 赋值 类型断言 并集区分