TypeScript报错：运算符'+'无法应用于类型'number'和'T[K]'求助

嘿，这个问题我之前也碰到过！本质是TypeScript的泛型类型信息在编译时没办法通过简单的typeof判断自动缩小类型，哪怕你已经做了运行时检查。我给你几个实用的解决方案：

首先先还原一下你的问题代码：

interface ICharge {
  AllowedAmount: number;
}

function sumOnValue<T, K extends keyof T>(collection: Array<T>, key: K): number { 
  let result = 0; 
  for (const o of collection) { 
    const sample = o[key]; 
    if (typeof o[key] === 'number') { 
      result = result + sample; // 报错：Operator '+' cannot be applied to types 'number' and 'T[K]'
    } 
  } 
  return result; 
}

const sampleCharges: Array<ICharge> = [ 
  { AllowedAmount: 10 }, 
  { AllowedAmount: 15 }, 
  { AllowedAmount: 9 }, 
]; 
const result = sumOnValue(sampleCharges, 'AllowedAmount');

为什么会报错？ #

因为T[K]是泛型类型，它可能是任何类型的联合（比如number | string），TypeScript没办法确定typeof o[key] === 'number'这个判断能完全把T[K]缩小到number——泛型的类型擦除机制让编译器没办法追踪到具体的类型信息。

解决方案1：类型断言（快速简单） #

如果你能100%保证经过typeof判断后的值一定是number，可以直接用类型断言告诉编译器：

function sumOnValue<T, K extends keyof T>(collection: Array<T>, key: K): number { 
  let result = 0; 
  for (const o of collection) { 
    const sample = o[key]; 
    if (typeof sample === 'number') { 
      result += sample as number; // 类型断言解决报错
    } 
  } 
  return result; 
}

优点：代码改动最小；缺点：如果后续有非数字的属性传入，运行时可能出问题（不过你已经做了typeof检查，风险很低）。

解决方案2：自定义类型守卫（更严谨） #

写一个自定义的类型守卫函数，明确告诉编译器当满足条件时，对象的该属性是number：

// 自定义类型守卫，判断对象的指定属性是否为number
function isNumberProperty<T, K extends keyof T>(obj: T, key: K): obj is T & Record<K, number> {
  return typeof obj[key] === 'number';
}

function sumOnValue<T, K extends keyof T>(collection: Array<T>, key: K): number { 
  let result = 0; 
  for (const o of collection) { 
    if (isNumberProperty(o, key)) { 
      result += o[key]; // 这里类型已经被自动缩小为number，无报错
    } 
  } 
  return result; 
}

优点：类型安全，编译器能准确识别类型缩小；缺点：需要额外写一个类型守卫函数。

解决方案3：严格泛型约束（最安全） #

从根源上约束K只能指向T中类型为number的键，这样编译阶段就会阻止传入非数字属性的key：

// 约束K必须是T中属性为number的键
function sumOnValue<
  T, 
  K extends keyof T & { [P in keyof T]: T[P] extends number ? P : never }[keyof T]
>(collection: Array<T>, key: K): number { 
  let result = 0; 
  for (const o of collection) { 
    result += o[key]; // 不需要判断，因为K对应的属性必然是number
  } 
  return result; 
}

// 正常调用
const result = sumOnValue(sampleCharges, 'AllowedAmount');

// 如果传入非数字属性的key，编译阶段直接报错：
// sumOnValue(sampleCharges, 'someStringProperty'); // 类型错误

优点：完全类型安全，编译阶段就拦截错误；缺点：泛型约束的写法稍微复杂一点。

你可以根据自己的场景选择合适的方案～

内容的提问来源于stack exchange，提问作者Mustafa E.