值与其键匹配的对象的 TypeScript 类型

Question

是否可以为键值是文字键名本身的对象定义 TypeScript 类型？例如：

declare const $: SpecialGenericType

$.prop // typed as the literal value "prop"

const values = [
  $.a,
  $.b,
  $.c
] as const

// values has the type (and value) ["a", "b", "c"]

$ 对象可以使用代理来实现，但我不确定如何实现SpecialGenericType。该类型需要允许任何字符串作为键，但需要将值键入为其键名的字符串文字（因此Record<string, string> 在这种情况下不起作用）。例如，上面的values 将具有元组类型["a", "b", "c"]。

Answer 1

您正在寻找的内容目前在 TypeScript 中是不可能的。如果您有一些有限的字符串文字键联合，它会起作用，但不适用于所有string。在microsoft/TypeScript#22509 有一个公开的建议要求这个确切的东西（在描述中称为Thing 而不是SpecialGenericType），但没有任何动静。首席语言架构师said

这确实是一个为 ECMAScript 代理对象添加编译器支持的请求，即编译器了解属性访问操作与 get 和 set 代理方法之间的关系。使用我们当前的类型系统功能根本不可能对其进行建模（因为没有任何东西可以让您捕获与属性访问中的属性名称对应的文字类型）。

您可能想解决该问题并给它一个 ? 或描述您认为您的用例具有吸引力的原因，但我怀疑它是否会很快实施。哦，好吧，至少这个问题有一个明确的答案，即使它是“否”。祝你好运！

Answer 2

如果我理解正确，这就是你想要的：

type SpecialGenericType<T extends object> = {
  [K in keyof T]: K
};

function proxify<T extends object>(source: T) {
  const proxy = new Proxy(source, {
    get: (_, property) => {
      return property
    }
  });

  return proxy as SpecialGenericType<T>;
}

const $ = proxify({
  prop: {},
  a: 'some',
  b: 'random',
  c: 'values',
} as const)

$.prop // typed as the literal value "prop"

const values = [
  $.a,
  $.b,
  $.c
] as const

// values has the type (and value) ["a", "b", "c"];