打字稿：具有相同项目类型的字符串联合和完整数组的 DRY 定义

Question

如别处所示（例如TypeScript String Union to String Array ）很容易从元组定义联合类型：

const arr = ["foo", "bar"] as const
const Item = typeof arr[number]

不幸的是，我不能在需要Item[]地方使用arr - arr的类型是readonly ["foo", "bar"] ，甚至直接类型转换也会导致打字稿错误 TS2352。

Typescripts 建议先转换为unknown - 它有效，但它看起来令人困惑并且有点违背了类型安全数组常量的全部目的：

const _arr: Item[] = (arr as unknown) as Item[]

除了上面的双重转换之外，有没有更好的方法可以将完整的选项列表作为Item[]和Item union type 而不重复实际选项？

Answer 1

您想要做的是type-unsafe 。 给定的

const arr = ["foo", "bar"] as const

如果您可以在某处使用它时键入与Item[]相同的arr ，然后（例如）将其传递给接受Item[]作为参数的函数，则该函数可以执行以下操作：

arrayParameter.push('foo');

这完全没问题，因为参数仍然是Item[] 。 但是原始类型现在不正确，因为变异的arr不再是["foo", "bar"] as const - 相反，它有 3 个项目。

如果您想将数组用作通用Item[]请先切片（或以其他方式以某种方式浅拷贝）数组。 没有其他方法可以做到这一点，这是类型安全的。

const arr = ['foo', 'bar'] as const;
type Item = typeof arr[number];
const arrItems: Item[] = arr.slice();

Answer 2

如果您的函数将readonly string[] this 作为输入，那么您可以传递现有的 arr，我知道您可能没有控制权或更改函数签名，但只是将其扔掉以防万一

const tuple = ['foo', 'bar'] as const


function println(arr: readonly string[]) {
  console.log(arr)
}

println(tuple)
println(['a', 'b', 'c'])