打字稿：基于键内容的具有相同键和值的对象的键列表

Question

我们需要键入函数，该函数需要一个键（字符串）列表，并生成具有相同键的对象，当键以? 开头时，值为string | undefined，否则只是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);

playground link

---

添加部分以解决 cmets 中描述的问题：

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

要允许传递非只读元组，您可以使用variadic tuple types：

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']);

playground link