TypeScript中自定义类型守卫无法正确收窄含索引签名类型的联合类型问题

这个问题我之前也踩过坑，核心原因其实和TypeScript的结构类型系统、还有索引签名类型的特性直接相关，咱们一步步拆解来看：

1. 先搞懂两种类型的结构兼容性 #

你定义的这两个类型：

type Boards = { [boardNumber: number]: string; }; // 数字索引签名类型
type Board = { type: string; }; // 带明确属性的对象类型

在TypeScript的结构类型规则里，Board类型的对象其实完全符合Boards的要求——因为Boards的规则是「所有数字索引的属性值必须是string」，而一个Board对象（比如{ type: 'test' }）根本没有数字键的属性，自然不会违反这个规则，所以它是合法的Boards实例。

反过来，Boards类型的对象却不一定符合Board类型，因为它不一定有type属性。

2. 为什么isBoards收窄失败，isBoard却正常？ #

• 对于isBoard(xxx)：
  Board类型要求必须有type属性，而Boards、string、number都不满足这个要求（Boards对象不一定带type，原始类型更不可能有）。所以当这个守卫返回true时，TypeScript能明确排除其他类型，只留下Board。

• 对于isBoards(xxx)：
  当守卫返回true时，TypeScript知道这个值符合Boards，但**Board类型的对象也属于Boards的范畴**，所以没办法把Board从联合类型里排除。另外你示例里的守卫函数只是直接返回true，没做任何运行时检查（比如判断是否是对象、是否符合索引签名规则），TypeScript虽然会信任你的类型断言，但结构兼容性的问题摆在那，Board依然会被保留在收窄后的类型里；而string和number是原始类型，理论上应该被排除，但因为你的守卫没实际做检查，TypeScript也没法确定这一点，所以也被留了下来。

3. 怎么解决这个问题？ #

要让类型守卫能正确收窄，你得让Boards和Board在结构上有明确的区分度，比如给它们加个独特的标识属性：

// 给Boards加专属标识
type Boards = { 
  type: 'boards';
  [boardNumber: number]: string; 
};
// Board用不同的标识值
type Board = { type: 'board' };

然后在类型守卫里，不仅检查结构，还要验证这个标识属性：

function isBoards(value: unknown): value is Boards {
  if (typeof value !== 'object' || value === null) return false;
  // 先验证标识属性
  if (!(value as any).type === 'boards') return false;
  // 再检查数字索引的属性是否符合要求
  return Object.entries(value).every(([key, val]) => {
    if (typeof key === 'string' && !isNaN(Number(key))) {
      return typeof val === 'string';
    }
    return true;
  });
}

这样一来，两个类型有了明确的区分标志，TypeScript就能精准收窄类型了。

内容来源于stack exchange