对于返回作为原始对象子集的对象的函数，类型定义会是什么样子

Question

所以，我有一个（非常非常）大的对象，我希望有一个函数可以接收任何对象 (T) 及其键列表（K 扩展 keyof T）并返回一个新对象只有那些传入的键/值。本质上是 {[key: K]: string}。

这里是有问题的函数：

export function mapResources(resources, keys: string[]) {
  return keys.reduce((response, key) => ({
      ...response,
      [key]: resources[key]
  }), {});
}

我一直在尝试写这个函数的类型定义，但是在TS1023: An index signature parameter type must be 'string' or 'number'.下失败了

export function mapResources<K extends keyof IResources>(resources: IResources, keys: K[]): {[key: K]: IResources[K]} {
  return keys.reduce((response, key) => ({
      ...response,
      [key as string]: resources[key]
  }), {});
}

我的目标是获取该子集对象，并让我的 IDE（和打字稿）根据传入的内容了解对象的外观。我已经有了资源类型。可能有一种与我在这里开始的方式完全不同的方法，我只是不确定如何开始输入这个。

Answer 1

你已经很接近了；您正在寻找mapped types，它允许您迭代键（而不是使用索引器）。也就是说，不要使用这个：

{[key: K]: IResources[K]}

改用这个：

{[P in K]: IResources[P]}

事实上，这是一个足够有用的构造，它以Pick<T,K> 的形式存在于standard library 中：

Pick<IResources, K>

所以你的函数变成这样：

export function mapResources<K extends keyof IResources>(resources: IResources, keys: K[]): Pick<IResources, K> {
  return keys.reduce((response, key) => ({
      ...response,
      [key as string]: resources[key]
  }), {});
}

这将无法在实现中进行类型检查，因为我认为 TypeScript 不理解 Pick<IResources, K> 上的传播类型。如果您确定实现中的一切正常，您可以使用any 断言来提供帮助：

export function mapResources<K extends keyof IResources>(resources: IResources, keys: K[]): Pick<IResources, K> {
  return keys.reduce((response, key) => ({
      ...(response as any),
      [key]: resources[key]
  }), {});
}

您可以验证其行为是否符合要求（如果不知道IResources 是什么，我将无法轻松做到这一点）。希望有帮助；祝你好运！