为什么TypeScript中in操作符无法对复杂对象直接进行类型窄化？

TypeScript 类型窄化的设计中，不会对**动态索引访问的属性表达式（如 globalA[typew]，索引为变量的场景）**做跨语句的窄化标记。核心原因是 TS 无法保证两次访问同一动态索引属性返回的值完全一致：比如 Animal 对应属性如果是 getter，两次调用可能返回不同结果；或者 typew 变量在判断语句后被修改，都会导致之前的类型判断结果失效。为了保证类型安全，TS 每次读取 globalA[typew] 都会重新推导为 Fish | Bird 联合类型，自然无法识别 swim/fly 方法。
而将值赋值给 const 修饰的临时变量后，TS 可以确认该变量的值在声明后不会发生变化，对该变量的 in 判断可以正常窄化类型，后续访问自然不会报错。

• 方案1：直接判断索引值
  因为 typew 本身是 keyof Animal 联合类型，你可以直接通过判断 typew 的值完成类型窄化，这也是TS官方推荐的最优解法，完全类型安全：

function useDirectly(typew: keyof Animal) {
  if (typew === 'fish') {
    return globalA[typew].swim();
  }
  return globalA[typew].fly();
}

• 方案2：使用类型谓词配合三元表达式
  如果不想判断索引值，也可以封装类型谓词函数，在同一句表达式内完成判断和调用，TS会保留同上下文内的窄化结果：

function isFish(animal: Fish | Bird): animal is Fish {
  return 'swim' in animal;
}

function useDirectly(typew: keyof Animal) {
  return isFish(globalA[typew]) ? globalA[typew].swim() : globalA[typew].fly();
}

• 方案3：类型断言（不推荐）
  如果确认业务逻辑中类型和判断完全一致，也可以用类型断言跳过检查，仅建议在其他方案无法适配的场景下使用，有一定运行时风险：

function useDirectly(typew: keyof Animal) {
  if ("swim" in globalA[typew]) {
    return (globalA[typew] as Fish).swim();
  }
  return (globalA[typew] as Bird).fly();
}

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