TypeScript泛型报错：Type 'T'无法用于索引类型'RowType'的解决方法咨询

这个报错的核心原因很简单——你定义的泛型T没有和RowType的属性键建立关联，TypeScript根本不知道T是RowType的合法属性名，自然不允许用它去索引RowType对象。

要解决这个问题，只需要给泛型T添加一个类型约束，让它继承keyof RowType，这样TypeScript就能确认T一定是RowType中存在的属性键，索引操作就合法了。

下面是修改后的完整代码，我还顺便修正了几个小问题：

type RowType = { fooLow: number; fooMid: number; fooHigh: number; barLow: string; barMid: string; barHigh: string; }
type ErrorType = { fooLow?: boolean; fooMid?: boolean; fooHigh?: boolean; barLow?: boolean; barMid?: boolean; barHigh?: boolean; }
type NumberKeyType = 'fooLow' | 'fooMid' | 'fooHigh';
type StringKeyType = 'barLow' | 'barMid' | 'barHigh';

// 修正：对象属性之间要用逗号分隔，不是分号
const row = { fooLow: 1, fooMid: 2, fooHigh: 3, barLow: 'hello', barMid: 'world', barHigh: 'asdf' }
check<NumberKeyType>(row, 'fooLow', 'fooMid', 'fooHigh')
check<StringKeyType>(row, 'barLow', 'barMid', 'barHigh')

// 关键修改：给泛型T添加约束，确保它是RowType的合法属性键
function check<T extends keyof RowType>(
  rowData: RowType,
  low: T,
  middle: T,
  high: T
): ErrorType {
  const newError: ErrorType = {};
  // 可选优化：原来的判断会把数字0、空字符串误判为"无值"，这里做了更精准的类型判断
  const hasAnyValue = 
    (typeof rowData[low] === 'number' ? rowData[low] !== 0 : rowData[low] !== '') ||
    (typeof rowData[middle] === 'number' ? rowData[middle] !== 0 : rowData[middle] !== '') ||
    (typeof rowData[high] === 'number' ? rowData[high] !== 0 : rowData[high] !== '');

  if (hasAnyValue) {
    let isMissing = false;
    // 同样优化缺失判断逻辑
    if (typeof rowData[low] === 'number' ? rowData[low] === 0 : rowData[low] === '') {
      isMissing = true;
      newError[low] = true;
    }
    if (typeof rowData[middle] === 'number' ? rowData[middle] === 0 : rowData[middle] === '') {
      isMissing = true;
      newError[middle] = true;
    }
    if (typeof rowData[high] === 'number' ? rowData[high] === 0 : rowData[high] === '') {
      isMissing = true;
      newError[high] = true;
    }
    if (isMissing) {
      return newError;
    }
  }
  return newError;
}

为什么这样修改有效？ #

• T extends keyof RowType：这个约束告诉TypeScript，T只能是RowType的属性名之一（比如'fooLow'、'barMid'等），因此用T去索引RowType对象时，TypeScript能确定对应的属性一定存在，不会再抛出索引类型不匹配的错误。
• 关于值判断的优化：原来的rowData[low]会把数字0和空字符串''当成“假值”，如果你的业务逻辑里0或空串是合法的有效值，可以去掉这个优化，回到你原来的判断逻辑；如果确实需要排除它们，这个优化能避免误判。
• 语法修正：row对象里的属性分隔符用了分号，这是JavaScript/TypeScript的语法错误，改成逗号才能正常运行。

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