TypeScript断言后类型推导异常？属性断言后对象传递疑问

这个问题其实涉及到TypeScript类型窄化（type narrowing）的工作机制，咱们一步步拆解：

核心差异：单一类型 vs 联合类型 #

先对比你的两个例子的本质区别：

• 第一个例子里的Foo是单一类型：它本身是一个固定的类型结构，只是内部的value属性包含了联合类型string | [string, string]。
• 第二个例子里的A | B是联合类型：整个对象本身就是两种完全不同类型的二选一。

TypeScript的类型窄化逻辑在这两种场景下表现完全不同：

• 对于联合类型（比如A | B），当你通过assert(args2.type === "A")排除掉B的可能性后，TypeScript会直接把整个args2的类型更新为A——既然整个对象的类型确定了，args2.value自然就是string，传给Func完全匹配。
• 但对于单一类型（比如Foo），你断言args.value是string，只会窄化args.value这个属性的局部类型，不会改变整个args的类型。因为Foo的定义就是value可以是字符串或数组，TypeScript不会因为你临时窄化了属性，就修改原类型的整体定义。所以当你把args传给期望{value: string}的Func时，TypeScript还是会用原Foo类型去校验，发现value仍有数组的可能，就抛出了类型错误。

解决方法：自定义断言函数窄化整个对象 #

如果你想让第一个例子也能像第二个一样正常工作，可以自定义一个专门针对Foo类型的断言函数，直接明确断言后整个对象的类型：

function assert(condition: any, msg?: string): asserts condition { 
  if (!condition) throw new Error(msg); 
}

type Foo = { value: string | [string, string] };
const Func = (args: { value: string }) => null;

// 自定义断言函数：将Foo类型窄化为更具体的{value: string}
function assertFooHasStringValue(args: Foo): asserts args is { value: string } {
  assert(typeof args.value === "string", "args.value must be a string");
}

const args: Foo = { value: "test" }; // 示例值
assertFooHasStringValue(args);
Func(args); // 现在可以正常通过类型检查了！

这个自定义断言函数会告诉TypeScript：如果断言通过，那么args的类型就不再是宽泛的Foo，而是精确的{value: string}，这样传给Func就完全符合类型要求了。

如果是临时场景，也可以用类型断言快速解决，但这种方式没有运行时检查，安全性不如自定义断言函数：

assert(typeof args.value === "string");
Func(args as { value: string });

总结一下 #

TypeScript不会自动从属性的局部窄化推导整个对象的类型窄化，除非对象本身是联合类型。如果是单一类型内部的属性包含联合类型，想要让整个对象的类型被精准窄化，就需要用自定义断言函数来明确告知TypeScript断言后的对象类型。

内容的提问来源于stack exchange，提问作者Maroš Beťko