TypeScript泛型函数中如何检查参数是否包含id属性？

当前报错的核心原因是泛型U没有任何类型约束，TypeScript无法确定传入的data参数包含id属性，因此会抛出类型错误。以下是两种可行的解决方式：

方案1：给泛型U添加基础类型约束 #

直接通过泛型继承，约束U类型可以包含可选的id属性，让TypeScript识别该属性的存在：

// Either does a POST or a PUT
export function save<T, U extends { id?: string | number }>(basePath: string, data: U, token?: string): Promise<T> {
  // 用 != null 排除undefined和null，避免误判0、空字符串等合法id
  if (data.id != null) {
    return put<T, U>(`${basePath}/${data.id}`, data, token);
  } else {
    return post<T, U>(basePath, data, token);
  }
}

你可以根据实际业务场景，调整id的类型（比如仅允许数字，或包含其他类型）。

方案2：使用自定义类型守卫（适用于复杂类型场景） #

如果你的数据类型对id的定义更复杂，比如不同数据的id类型差异大，可以通过自定义类型守卫明确区分有id和无id的情况：

// 自定义类型守卫，运行时检查并告诉TypeScript类型信息
function hasId<T>(data: T): data is T & { id: string | number } {
  const candidate = data as { id?: unknown };
  return candidate.id != null && typeof candidate.id !== 'undefined';
}

// Either does a POST or a PUT
export function save<T, U>(basePath: string, data: U, token?: string): Promise<T> {
  if (hasId(data)) {
    return put<T, U>(`${basePath}/${data.id}`, data, token);
  } else {
    return post<T, U>(basePath, data, token);
  }
}

这个方案在保持泛型灵活性的同时，能更精准地处理类型判断逻辑。

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