TypeScript 泛型类型参数是用函数推断的，但不是类型？

Question

考虑一下：

type SpecificKeys<T extends string> = {
  [key in T]: string;
};

const foobar: SpecificKeys<"foo" | "bar"> = {
  foo: "foo",
  bar: "bar",
};

在创建foobar 时，我必须将键的并集指定为泛型类型参数，这是多余的。我想不出任何办法。但是如果我写一个无所事事的函数：

function makeSpecificKeys<T extends string>(thing: SpecificKeys<T>): SpecificKeys<T> {
  return thing;
}

const foobarInferred = makeSpecificKeys({
  foo: "foo",
  bar: "bar",
});

那么 const foobarInferred 被正确输入为 SpecificKeys<"foo" | "bar"> 并且我不必通过枚举所有键来重复自己。

有没有什么方法可以在创建类型化变量时实现泛型类型参数的推断，而不必做一个无所事事的函数？

Answer 1

答案是否定的。类型限制了值，说a:T 表示值a 需要是T 类型的成员，如果不是 - 则编译错误。你想说的是a: infer me typeof a，所以反过来。

类型注解是用来限制值的，不是值来限制类型的。 TS 允许从值中获取类型，但不允许同时获取值的类型并对其进行限制。

---

不过，我们可以制作一些技巧来使其正常工作。考虑类型级解决方案：

type SpecificKeys<T extends string> = {
  [key in T]: string;
};

// type level version of makeSpecificKeys
type MakeSpecificKeys<T extends SpecificKeys<string>> = T;

const foobar = {
  foo: "foo",
  bar: "bar",
};
type FoobarType = MakeSpecificKeys<typeof foobar> // fine ?

const badfoobar = {
  foo: 1, // number value dont match SpecificKeys
  bar: "bar",
};
type BadFoobarType = MakeSpecificKeys<typeof badfoobar> // error ?

The Playground

foobar 和 badfoobar 两个值都由 TS 正确推断，无需任何类型注释。接下来是调用类型级别MakeSpecificKeys，这是您之前创建的一种id 函数，但这是在类型级别，它以与makeSpecificKeys 相同的方式限制参数类型。对于badfoobar，它显示编译错误。

我在这里展示的无疑是最糟糕的方法，然后是你所做的值构造函数makeSpecificKeys。所以坚持下去。使用上述方法的唯一一点是，当makeSpecificKeys 这样做时，它不会进入运行时。