TypeScript泛型报错：类型‘T’无‘id’属性，为何需扩展泛型？

你遇到的问题核心在于TypeScript泛型的类型检查逻辑是针对函数定义，而非单次调用。

虽然你在调用getNextId<TodoI>(todoItems)时明确指定了T为TodoI，但函数getNextId<T>的定义里，T是完全无约束的——TypeScript无法提前知道所有传入这个函数的T类型都会包含id属性。如果不对T做约束，假设有人用一个没有id的数组调用这个函数，内部访问x.id就会引发运行时错误，所以TypeScript在函数定义阶段就会抛出错误，提前规避风险。

解决方法 #

你需要给泛型T添加一个约束，告诉TypeScript：所有传入getNextId的类型T，必须包含一个number类型的id属性。

具体步骤：

1. 定义一个代表“拥有id属性”的基础接口：

interface HasId {
  id: number;
}

2. 修改getNextId函数的泛型定义，让T继承这个接口：

function getNextId<T extends HasId>(items: T[]) : number {
  return items.reduce((max, x) => x.id > max ? x.id : max, 0) + 1
}

这样TypeScript就明确知道T必然包含id属性，函数内部访问x.id不会再报错，同时还保留了泛型的灵活性——任何带有id: number属性的类型都能调用这个函数，不止局限于TodoI。

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