类型记录:基于键内容具有相同键和值的对象中的键列表

Question

我们需要键入函数，它需要一个键(字符串)列表，并生成具有相同键值的对象，当键以?开头或其他仅以?开头时，值为string。

export function useParams<T extends string>(
  expected: T[]
): { [key in T as NonOptional<T>]: string } {
  // ... our custom implementation
  return null as any;
}

type NonOptional<T extends string> = T extends `?${infer Inner}` ? Inner : T;

// Should produce type { a: string; b: string | undefined }
const result = useParams(['a', '?b']);

但是，我不知道如何键入输出。

Answer 1

您可以在元组的键上迭代它：

export function useParams<T extends readonly string[]>(
  expected: T
): { [K in T[number] as NonOptional<K>]: string | OrUndefined<K> } {
  return null as any;
}

type NonOptional<T extends string> = T extends `?${infer Inner}` ? Inner : T;
type OrUndefined<T extends string> = T extends `?${string}` ? undefined : never

const result = useParams(['a', '?b'] as const);

操场链接

增加了一节，以解决评论中所述的问题：

我很肯定开发人员会忘记添加作为const，然后它将停止正常工作。

要允许传递非只读元组，可以使用多元元组类型。

export function useParams<T extends string[]>(
  expected: [...T]
): { [K in T[number] as NonOptional<K>]: string | OrUndefined<K> } {
  return null as any;
}

type NonOptional<T extends string> = T extends `?${infer Inner}` ? Inner : T;
type OrUndefined<T extends string> = T extends `?${string}` ? undefined : never

const result = useParams(['a', '?b']);

操场链接