TypeScript类型守卫中in运算符为何无法索引object类型？

问题原因 #

你遇到的是TypeScript旧版本的in运算符窄化限制：
在4.9版本之前，typeof x === 'object' && x !== null只会将x窄化为object（等价于{}）类型，该类型默认没有索引签名，即使添加'data' in x判断，TS也不会自动将data属性加入到x的类型定义中，因此仍然无法直接索引。

解决方案 #

1. 升级TypeScript到4.9及以上版本

TS 4.9优化了in运算符的窄化逻辑，你最后写的那段代码可以直接通过类型检查，无需额外修改：

const isMessage = (x: unknown): x is Message => 
  typeof x === 'object' && 
  x !== null && 
  'data' in x &&
  typeof x['data'] === 'string';

2. 低版本兼容方案

如果无法升级TS版本，可以用更优雅的通用类型守卫封装：
首先定义一个通用的普通对象判断守卫：

const isPlainObject = (val: unknown): val is Record<string | number | symbol, unknown> =>
  typeof val === 'object' && val !== null && Object.prototype.toString.call(val) === '[object Object]';

再写你的isMessage逻辑即可，既简洁又完全类型安全：

type Message = { data: string };
const isMessage = (x: unknown): x is Message => 
  isPlainObject(x) && 
  typeof x.data === 'string';

关于as强转的安全性说明 #

你之前用到的x as { [key: string | number | symbol]: unknown }写法是完全安全的：你已经提前校验了x是非null的对象类型，转成索引签名为unknown的字典类型仅用于读取属性校验，不会引入类型风险，只是写法比较繁琐。

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