TypeScript泛型下类型谓词失效问题排查

你定义的isWeightedItemArray类型谓词执行后，items被推断为T[] & WeightedItem<T>[]而非预期的WeightedItem<T>[]，核心问题出在泛型参数的绑定逻辑上：

原因解析 #

• createWeightedTable的泛型T会绑定到传入数组的元素类型。当调用isWeightedItemArray(items)时，TypeScript会把这个T直接代入谓词的泛型参数，此时谓词的返回类型是items is WeightedItem<T>[]。
• 但原参数items的类型是T[]，所以类型收窄后变成了T[]与WeightedItem<T>[]的交叉类型。由于T本身没有定义weight属性，TypeScript无法确认交叉类型的元素上存在weight字段，因此报错。

解决方案 #

方案一：明确参数的两种可能类型

调整createWeightedTable的参数类型，直接声明它可以是普通数组或加权数组，让谓词能准确收窄类型：

type WeightedItem<T> = { item: T; weight: number };

const isWeightedItemArray = <T>(items: unknown): items is WeightedItem<T>[] => {
  return Array.isArray(items) && items.every(item => 
    typeof item === "object" && item !== null && 
    "weight" in item && "item" in item
  );
};

export const createWeightedTable = <T>(items: T[] | WeightedItem<T>[]) => {
  if (isWeightedItemArray(items)) {
    const weights = items.map(item => item.weight); // 此时items准确推断为WeightedItem<T>[]
  } else {
    // 处理普通T[]的业务逻辑
  }
};

方案二：让谓词独立推导泛型

给谓词定义独立的泛型参数，避免和外层函数的T冲突，让TypeScript自动推导加权数组的内部类型：

type WeightedItem<T> = { item: T; weight: number };

// 用U表示WeightedItem中item的类型，与外层T解耦
const isWeightedItemArray = <U>(items: unknown): items is WeightedItem<U>[] => {
  return Array.isArray(items) && items.every(item => 
    typeof item === "object" && item !== null && 
    "weight" in item && "item" in item
  );
};

export const createWeightedTable = <T>(items: T[]) => {
  if (isWeightedItemArray(items)) {
    const weights = items.map(item => item.weight); // items推断为WeightedItem<U>[]
    const originalItems = items.map(item => item.item); // 可提取原始U类型元素
  }
};

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