如何在TypeScript中从数组推导指定的对象类型？

要从给定的数组推导出你期望的Result类型，可按以下步骤操作：

1. 锁定数组的字面量类型 #

给原数组添加as const断言，让TypeScript保留每个元素中name的具体字符串字面量类型，以及method的精确函数类型，避免被宽泛推断为string或通用函数类型：

const Arr = [
  {
    name: 'setTitle',
    method: (title: string) => {
      return title;
    }
  },
  {
    name: 'getName',
    method: () => {
      return 'hello world';
    }
  }
] as const;

2. 定义工具类型推导结果 #

创建工具类型，通过映射类型遍历数组元素的name作为键，提取对应method的类型：

type ExtractResult<T extends readonly { name: string; method: (...args: any[]) => any }[]> = {
  [K in T[number]['name']]: Extract<T[number], { name: K }>['method']
};

3. 生成目标类型 #

通过typeof Arr获取数组的类型，传入工具类型即可得到Result：

type Result = ExtractResult<typeof Arr>;

此时Result会被精确推导为：

type Result = {
  setTitle: (title: string) => string;
  getName: () => string
}

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