如何从多个属性动态构造数据类型？

Question

我正在研究 Typescript 中的高级类型，目前我所拥有的是一个 type x，它接受一个通用参数 props extends string。给定 props 的值是 name | age | email 这构造了以下类型：

{
  name: "name",
  age: "age",
  email: "email"    
}

上面的类型是由下面的类型定义生成的：

type x<Property extends string> = { [K in Property]: K }

我也有上述类型的类型构造函数：

let x = <props extends string>(p: props): x<props> => (<x<props>>{[p]: p})

我可以通过简单地将字符串类型的属性传递给函数x来生成类型：

x("name") // Type is x<"name">

我想做的是将多个属性传递给x，以这样的方式： x("name", "age", "email") 产生类型 x<"name" | "age" | "email">。

我知道我可以通过像这样重构 x 方法来实现：

let x = <props extends string>(...p: props[]): x<props> => null! // Don't know how to implement this

但我不知道如何从该输入构造一个具体对象，类似于(<x<props>>{[p]: p})，但遍历传递给x 的所有属性。

那么有没有办法遍历属性并动态构造一个类型？

Answer 1

你只需要遍历 props 并将它们分配给一个新对象：

type x<Property extends string> = { [K in Property]: K }


let x = <props extends string>(...p: props[]): x<props> => {
    let result = {} as x<props>
    for (let k of p) {
        result[k] = k
    }
    return result;
} 

let a = x("name", "age") // Type is x<"name">
console.log(a);

没有神奇的语法可以在单个表达式中产生这个对象，所以我们使用类型断言来欺骗编译器{} 是x<props> 并在for 之后修复对象。有时类型断言是必要的，这是其中之一，因为我们有编译器没有的特殊信息（我们将在接下来的几行中将{} 转换为有效的x<props>）

或者更简洁的一行版本：

let x = <props extends string>(...p: props[]): x<props> => p.reduce((o, k) => (o[k] = k, o), {} as x<props>);