后一个元素的类型取决于前一个元素的值的元组

Question

我想我有一个简单的问题，但我也不确定这在 TypeScript 中是否可行。

本质上我想定义一个元组类型，它有两个元素，第二个元素取决于第一个元素的值。

作为一个例子，我想创建一个类型，其中第一个元组元素是接口的键，然后将第二个元组元素绑定到该属性的类型。例如：

interface ExampleI {
  a: number;
  b: string;
}

const one: KeyedTuple<ExampleI> = ["a", 34]; // good
const two: KeyedTuple<ExampleI> = ["a", "not a number"]; // bad
const three: KeyedTuple<ExampleI> = ["b", 47]; // bad

我尝试执行以下操作：

type KeyedTuple<T, K extends keyof T> = [K, T[K]];

这几乎可行，但编译器只考虑K 的类型，而不考虑K 的值，所以第二个元素总是 的类型为number | string。

这可能吗？如果有，怎么做？

Answer 1

const keyedTuple = <T, K extends keyof T>(obj: T, key: K): [T, T[K]] => {
    return [obj, obj[key]]
}

interface IPerson {
    name: string;
    age: number
}
declare const Person: IPerson
const test = keyedTuple(Person, "name") // [Person, string]

这是实现这一点的一种方法，我更倾向于使用一个函数来实现这一点，而不是记住将冒号或“as”转换为正确的类型。

除非知道密钥，否则您的代码将无法工作，它不能从变量中推断出来，但可以从函数中推断出来。

IE 您的代码必须更改为 ObjKeyed<OBJ, KEY> = [Obj, Key]

编辑：使用类型：

type KeyedTuple<T, K extends keyof T> = [K, T[K]];

interface ExampleI {
  a: number;
  b: string;
}

const one: KeyedTuple<ExampleI, "a"> = ["a", 34]; // good
const two: KeyedTuple<ExampleI, "a"> = ["a", "not a number"]; // bad
const three: KeyedTuple<ExampleI, "b"> = ["b", 47]; // bad

Answer 2

从概念上讲，我认为您希望KeyedTuple<T> 成为keyof T 中所有K 的[K, T[K]] 元组的union。这可以通过mapped 和lookup 类型来实现，如下所示：

type KeyedTuple<T> = { [K in keyof T]: [K, T[K]] }[keyof T];

让我们测试一下：

interface ExampleI {
  a: number;
  b: string;
}

type KeyedTupleExampleI = KeyedTuple<ExampleI>;
// type KeyedTupleExampleI = ["a", number] | ["b", string]

它为您提供了您所要求的行为：

const one: KeyedTuple<ExampleI> = ["a", 34]; // okay
const two: KeyedTuple<ExampleI> = ["a", "not a number"]; // error
const three: KeyedTuple<ExampleI> = ["b", 47]; // error

此外，由于赋值在联合类型上充当type guards，编译器将记住变量是哪个键/值对：

one[1].toFixed(); // okay, remembers one[1] is a number

希望有所帮助；祝你好运！

Link to code