你不能从一个类型到一个值，你可以从一个值开始，你可以得到类型，问题是数组值['a', 'b']会被类型化为string[]，字符串类型的并集会丢失。
使用函数强制编译器为指定值推断字符串类型的解决方案：

function stringTuple<T extends [string] | string[]>(...data: T): T {
    return data;
}

let xValues = stringTuple('a', 'b') // typed as ["a", "b"]
type x = typeof xValues[number] // 'a' | 'b'

作为@Titian答案中stringTuple函数的替代解决方案，从TypeScript 3.4开始，您可以使用constAssert：

const xValues = ['a', 'b'] as const; // type: readonly ["a", "b"]
type X = typeof xValues[number]; // type: "a" | "b"