TypeScript中使用`in`进行类型收窄未达预期问题求助

问题核心 #

你遇到的现象本质是TypeScript对object类型的类型收窄限制，以及点访问和方括号访问在类型检查上的规则差异。

1. 为什么result.errors会报错？ #

当你用typeof result === "object"把unknown类型收窄到object | null（注意：typeof null返回的也是"object"），TypeScript的object类型是一个非常宽泛的父类型，它仅表示“非原始值”，但不包含任何具体属性的定义。

虽然你加了"errors" in result的判断，但TypeScript不会自动将object类型推导为包含errors属性的具体类型——这是TypeScript在类型收窄逻辑上的设计：对于宽泛的object类型，in操作符无法触发精确的类型扩展，因此TypeScript仍然认为result是没有属性的object类型，自然会报错“Property 'errors' does not exist on type 'object'”。

2. 为什么方括号访问不报错，甚至不存在的属性也能通过检查？ #

TypeScript对object类型的方括号索引访问有宽松的规则：只要索引是合法的字符串/数字类型，就允许访问，不会做严格的属性存在性校验。这是因为object类型被视为可能包含任意属性的结构，所以result["errors"]或result["nothere"]都会被认为是合法的，但其返回类型会是unknown（从原始的unknown类型继承而来）。

这种行为是TypeScript为了兼容JavaScript的动态特性做出的妥协，但也意味着这里不会帮你检查属性是否真的存在。

3. 正确的解决方式 #

要实现精确的类型收窄，推荐使用类型谓词（Type Predicate），让TypeScript明确识别分支内的类型：

// 定义类型谓词函数，明确判断对象是否包含errors属性
function hasErrors(obj: unknown): obj is { errors: unknown } {
  // 必须排除null，因为typeof null === "object"
  return typeof obj === "object" && obj !== null && "errors" in obj;
}

// 使用示例
const result = await fetch('example.com');
if (hasErrors(result)) {
  // 这里TypeScript会明确知道result包含errors属性
  console.error(result.errors);
}

如果你只是临时需要快速解决，也可以用类型断言（但不推荐，会跳过类型检查）：

const result = await fetch('example.com');
if (typeof result === "object" && result !== null && "errors" in result) {
  console.error((result as { errors: unknown }).errors);
}

另外，别忘了在判断中加上result !== null，否则如果result是null，运行时执行"errors" in null会抛出错误。

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