显式定义TypeScript可选属性后为何仍提示可能为undefined？

这不是TypeScript的bug，核心原因在于TypeScript的类型检查优先遵循你显式声明的类型注解，而非变量初始化时的具体值。

第一段代码报错的原因 #

当你给someVar加上ExempleType类型注解后，TypeScript会将这个变量的类型固定为ExempleType——其中someProperty是可选属性，意味着它的类型是string[] | undefined。哪怕你初始化时给了它一个数组值，TypeScript也不会假设这个属性永远不会被改为undefined（比如你完全可以在报错行之前加一句someVar.someProperty = undefined），所以它会坚持提示该属性可能为undefined。

代码回顾：

type ExempleType = {
  someProperty?: string[];
};

const someVar: ExempleType = { someProperty: [] };

someVar.someProperty.push('test'); // => 'someVar.someProperty' is possibly 'undefined'.ts(18048)

第二段代码无报错的原因 #

这里的关键是类型窄化：当你执行someVar.someProperty = []时，TypeScript会实时更新对该属性的类型判断——它知道在这行代码之后，someProperty已经被明确赋值为string[]，只要后续没有修改它为undefined的代码，TypeScript就会暂时将这个属性的类型窄化为string[]，因此调用push不会触发报错。

代码回顾：

type ExempleType = {
  someProperty?: string[];
};

const someVar: ExempleType = {};
someVar.someProperty = [];

someVar.someProperty.push('test'); // => No error!

解决第一段代码报错的几种方案 #

1. 去掉显式类型注解，让TypeScript自动推断：
   这样TypeScript会根据初始化值推断someVar的类型为{ someProperty: string[] }，不再包含undefined的可能。

   type ExempleType = {
     someProperty?: string[];
   };
   
   const someVar = { someProperty: [] };
   
   someVar.someProperty.push('test'); // 无报错
   

2. 使用非空断言：
   如果你确定这个属性不会是undefined，可以用!断言告诉TypeScript跳过undefined检查：

   someVar.someProperty!.push('test');
   

3. 修改类型定义：
   如果someProperty实际上不会被设为undefined，直接去掉类型中的可选标记?：

   type ExempleType = {
     someProperty: string[];
   };
   

内容的提问来源于stack exchange，提问作者Zoddo