如何在TypeScript泛型函数中避免使用as string并实现类型校验？

原函数代码 #

const arrayToObject = <T>(array: T[], key: keyof T): Record<string, T> => {
  return array.reduce(
    (accumulator: Record<string, T>, currentValue: T) =>
      Object.assign(accumulator, {
        [(currentValue[key] as string).toString()]: currentValue,
      }),
    {} as Record<string, T>
  );
};

问题解答 #

1. 如何避免as string类型断言？

可以通过泛型约束让TypeScript自动推导currentValue[key]的类型为string，无需手动断言。核心是明确约束传入的数组元素中，指定的key对应的属性值必须是string类型，让编译器直接确定该值的类型。

2. 如何校验类型T中指定key的属性值为string？

调整泛型参数，新增键类型K并约束T[K]为string类型，就能在编译阶段直接拦截不符合要求的类型。

优化后的代码 #

// 泛型约束T必须包含K属性，且T[K]为string类型
const arrayToObject = <T extends Record<K, string>, K extends keyof T>(
  array: T[],
  key: K
): Record<string, T> => {
  return array.reduce((accumulator, currentValue) => {
    // T[K]已约束为string，直接用currentValue[key]作为键即可
    return { ...accumulator, [currentValue[key]]: currentValue };
  }, {} as Record<string, T>);
};

代码说明与验证 #

• 泛型约束逻辑：T extends Record<K, string>确保类型T中属性K的值一定是string；K extends keyof T确保K是T的合法属性名。
• 消除断言：由于已经约束T[K]为string，currentValue[key]类型明确，不需要as string断言，也无需额外调用toString()（string作为对象键本身合法）。
• 编译期校验：如果传入的数组元素中指定key的属性值不是string，TypeScript会直接报错：

  // 合法示例：指定id为string类型
  interface User {
    id: string;
    name: string;
    age: number;
  }
  const users: User[] = [{ id: '1', name: 'Alice', age: 25 }];
  const userMap = arrayToObject(users, 'id'); // 正常编译
  
  // 非法示例：指定id为number类型，编译报错
  interface BadUser {
    id: number;
    name: string;
  }
  const badUsers: BadUser[] = [{ id: 1, name: 'Charlie' }];
  const badUserMap = arrayToObject(badUsers, 'id'); // 编译报错：类型BadUser不满足Record<'id', string>约束
  

关于你期望的类型示例 #

你给出的示例语法需要修正，如果你想定义“包含特定string类型属性”的类型，不需要用索引签名（[key]: string是索引签名，指所有字符串键的属性都是string），直接声明明确属性即可，比如：

interface MyType {
  someOtherProperty: number;
  active: boolean;
  id: string; // 这里的id就是你指定的、值为string的key属性
}

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