如何在Typescript中强制只读数组具有带字符串文字的元组类型？

Question

我有一个配置对象，如下所示：

const config = { envs: ['dev', 'test', 'prod'], targets: ['> 2%'] };

当前，打字稿编译器推断该对象的类型为：

type IConfig = { envs: string[], targets: string[] };

这很有意义，因为我可能在声明后的某个时候对这个数组进行了变异。

我不会更改它，所以我希望它是：

type IConfig = { envs: ['dev', 'test', 'prod'], targets: ['> 2%'] };

有什么方法可以告诉编译器将config.envs的类型推断为带有字符串文字的元组类型（无需键入）？

编辑：最好的答案是方法的90％，但我希望可以将一种方法应用于整个对象，而不是每个属性。 我在示例中添加了另一个属性，以使其更加清晰。

Answer 1

我刚刚学会了推断元组类型而不是数组类型的方法，将用于推断文字类型的标准技巧与之相结合：

function asTupleOfLiterals<T extends string, U extends [T, ...T[]]>(tuple: U): U {
    return tuple;
}
const config = { envs: asTupleOfLiterals(['dev', 'test', 'prod']) };

回合2：应用于具有多个元组值属性的对象

奇迹般地，如果我们仅将[T, ...T[]]包装在具有索引签名的对象中，则上下文类型似乎可以工作：

function asObjectOfTuplesOfLiterals<T extends string,
    U extends {[n: string]: [T, ...T[]]}>(obj: U): U { return obj; }

const config = asObjectOfTuplesOfLiterals(
    { envs: ['dev', 'test', 'prod'], targets: ['> 2%'] });

FTR，有一个开放的建议，可以使推断文字类型更容易，而又可以使推断元组类型更容易 。