TypeScript：为何对象属性的类型断言无法进一步传播？

先看你遇到的代码场景：

type Message = { text?: string };

function print(input: { text: string }) {
  console.log(input.text);
}

const message: Message = { text: 'hi' };

if (typeof message.text === 'string') {
  print(message); // 报错：Type 'undefined' is not assignable to type 'string'
    
  const text = message.text;
  print({ text }); // 正常运行
}

核心原因拆解 #

• 直接传message报错的本质：
  TypeScript的类型窄化是针对单个属性/变量的，而非整个对象。当你检查message.text是字符串时，TypeScript只会把message.text的类型从string | undefined窄化为string，但整个message的类型依然是定义好的Message（也就是{ text?: string }）。而print函数要求的参数是{ text: string }——必须包含非可选的text属性，所以类型不匹配导致报错。

• 构造新对象能运行的原因：
  当你把message.text赋值给text变量后，这个变量的类型已经被窄化为string了，新构造的{ text }对象自然就是{ text: string }类型，完全符合print的参数要求，所以不会报错。

为什么TypeScript不自动推断整个对象类型？ #

这是TypeScript类型系统的设计选择：

1. 引用类型的不确定性：对象是引用类型，即使message是const声明，理论上存在其他代码修改message.text的可能（比如在异步场景中），TypeScript不会假设属性值不会被改变，所以不会贸然把整个对象的类型升级。
2. 类型系统的复杂度控制：如果要自动把{ text?: string }窄化为{ text: string }，需要更复杂的结构推断逻辑，这会增加类型检查的性能开销，同时降低类型系统的可预测性。TypeScript选择优先保证类型检查的效率和规则的清晰性，而非覆盖所有边缘场景。

可选的解决方式（你已经知道的类型守卫） #

如果需要直接传递整个对象，可以写一个自定义类型守卫来断言对象结构：

function hasText(message: Message): message is { text: string } {
  return typeof message.text === 'string';
}

// 使用时
if (hasText(message)) {
  print(message); // 正常运行
}

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