如何在 TypeScript 类型定义中简化定义长联合类型

发布于09月08日

问题

我想声明一个2的幂的类型，范围从1到2^30，如下所示:

declare type A = 1 | 2 | 4 | 8 | ... | 1073741824

但我不想写太多数字.

有没有什么简单的办法？

try

我try 声明一个类型帮助器来初始化一个从0到9的10个数字的类型，如下所示:

type FlagHelper<N extends number, R extends number[] = []> = 
    R['length'] extends N 
        ? R[number] 
        : FlagHelper<N, [...R, R['length']]>

type A = FlagHelper<10>
// type A = 0 | 1 | 2 | 3 | ... | 9

so i just only change :FlagHelper<N, [...R, R['length']] to :FlagHelper<N, [...R, 1 << R['length']] can feed my need.
but TypeScript type definition do not support any operators like +,-,*,<< etc.

推荐答案

你不能百分百地用类型做数学运算.你可以这样做，但正如你注意到的，它涉及到构建特定长度的元组类型来表示整数.

请参阅:https://itnext.io/implementing-arithmetic-within-typescripts-type-system-a1ef140a6f6f

这意味着如果您想要在一个类型中派生2^30，您最终将不得不创建一个长度为2^30的元组类型.

但这是行不通的:

// Creates a tuple type of length `N`.
type Tuple<N extends number, Current extends any[] = []> =
  Current["length"] extends N
    ? Current
    : Tuple<N, [unknown, ...Current]>

type A = Tuple<1073741824>
// Type instantiation is excessively deep and possibly infinite.(2589)

在这里，TypeScriptry 执行递归类型10亿次，然后在它完成之前放弃，以防止内存运行和/或独占您的CPU.

Tuple<999>似乎是放弃之前的最高值，这让你距离目标有6个数量级的距离.这是一个不小的差距.

但2的力量并不会改变，这也不是一个很大的 list .

因此，我只需编写一些代码来为我生成此类型，例如:

function createPowersOfTwoType(maxPower) {
  const values = []

  for (let i = 0; i <= maxPower; i++) {
    values.push(Math.pow(2, i))
  }

  const lines = values.map(value => `  | ${value}`).join('\n')
  return `Type A =\n${lines}`
}

console.log(createPowersOfTwoType(30))

并将结果粘贴到您的代码库中.