窄字符串联合类型到字符串文本类型

Question

为了简单起见，比如我有一个字符串Union类型，如下所示

type StringUnion = 'A' | 'B' | 'C'

// I define an array based on that union
const arr: StringUnion[] = ['A', 'B', 'B', 'C']

function getValue(idx: number) {
  return arr[idx]
}

const a = getValue(0)
// Now `a` is of type StringUnion

有没有一种方法，或者是否有可能让getValue函数的返回值返回A类型，而不是StringUnion类型

Answer 1

您可以用as const声明数组，这样TypeScript就会给它readonly ["A", "B", "B", "C"]类型。如果将getValue转换为泛型函数并将返回类型声明为(typeof arr)[T]，则可以获得所需的结果：

const arr = ['A', 'B', 'B', 'C'] as const

function getValue<T extends number>(idx: T): (typeof arr)[T] {
  return arr[idx]
}

const a = getValue(0)  // -> "A"