TypeScript为何依据类型而非实际对象检测可能的undefined？

为什么someObject.client.name会提示可能为undefined？ #

因为你给someObject标注的MyTypeDefinition类型里，client是可选属性（类型定义里应该是client?: { name: string }这类写法）。TypeScript的类型校验逻辑是基于你标注的类型规则来的，它只会认定这个变量符合MyTypeDefinition的结构——也就是client可能存在，也可能不存在。

哪怕你初始化时确实给了client属性，TS也不会把这个初始值当成变量的固定类型。从类型规则角度，后续你完全有可能把someObject.client改成undefined，或者直接给someObject重新赋值一个没有client的对象，所以TS会严格按照类型定义的规则，提示你client可能为undefined。

移除类型标注后错误消失的原因 #

移除类型标注后，TypeScript会自动推导someObject的类型。它会根据你写的初始化对象，生成一个更具体的类型——这个推导出来的类型里，client是必填项（因为你明确写了这个属性），所以访问client.name时，TS知道client一定存在，就不会报错。但代价是失去了创建对象时的类型校验：比如如果MyTypeDefinition要求sections必须包含某些特定属性，你写错了TS也不会提前提醒你。

兼顾类型校验和避免undefined提示的方法 #

有两种实用方案：

• 类型断言（谨慎使用）：如果确定对象后续不会被修改，可以写const someObject = { ... } as MyTypeDefinition，但这种方式会跳过初始化时的类型校验，如果初始化对象不符合MyTypeDefinition，TS不会报错。
• 结合类型推导与约束：可以用const someObject: MyTypeDefinition = { ... } as const，as const会把对象变成只读类型，适合不需要修改的场景；或者用TypeScript内置工具类型Required<MyTypeDefinition>，把MyTypeDefinition里的可选属性全部变成必填，前提是你确定所有可选属性都会被初始化。

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