Typescript 在类型脚本中将泛型字符串数组转换为字符串字母并集

您的代码的问题在于，打字脚本通常会推断，像['hello', 'bye']这样的array literal具有类型string[].这通常是人们想要的类型，如下面的代码所示:

const arr = ['hello', 'bye'];
//    ^? const arr: string[]
arr.push('howdy'); // okay

如果每次初始化字符串数组时，编译器都假设它只能包含您放入其中的literal个值，按它们的确切顺序，这将是非常恼人的.但有时您do希望编译器假定这一点，例如在您的例子中(如果不是顺序，至少是字面值).

正如您所注意到的，您可以使用a const assertion(这里不鼓励使用术语"cast")来实现这种行为:

const arr = ['hello', 'bye'] as const;
// const arr: readonly ["hello", "bye"]
arr.push("howdy"); // error

事实上，你可以在你的initSomething()版本中使用它:

initSomething(['hello', 'bye'] as const).doTheThing('potato'); // error
// -----------------------------------------------> ~~~~~~~~
// Argument of type '"potato"' is not assignable to parameter of type '"hello" | "bye"'.

但您可能不希望来电者需要记住这样做.

一种方法是在函数中使用const type parameter，如下所示:

function initSomething<const EventTypes extends ArrayLike<string>>(eventTypes: EventTypes) {
    //                 ^^^^^
    type EventType = EventTypes[number];

    function doTheThing(type: EventType) {
        console.log(type, eventTypes);
    }

    return { doTheThing, eventTypes };
}

这告诉编译器或多或少地推断EventTypes，就好像调用方指定了as const一样.您可以看到它的工作情况与预期一致:

initSomething(['hello', 'bye']).doTheThing('potato');
// --------------------------------------> ~~~~~~~~
// Argument of type '"potato"' is not assignable to parameter of type '"hello" | "bye"'.

不过，至少在这个例子中，您可能不需要这种复杂性. 看起来你并不真正关心EventTypes类型的参数，只是你从它计算出的EventType.在这种情况下，你可以直接在EventType中使你的函数泛型化:

function initSomething<EventType extends string>(eventTypes: ArrayLike<EventType>) {
    function doTheThing(type: EventType) {
        console.log(type, eventTypes);
    }
    return { doTheThing, eventTypes };
}
initSomething(['hello', 'bye']).doTheThing('potato');
// --------------------------------------> ~~~~~~~~
// Argument of type '"potato"' is not assignable to parameter of type '"hello" | "bye"'.

这是可行的，因为当类型参数从constrained到string时，编译器假定您关心它的字符串文字类型(或此类类型的union).也就是说，extends string将为编译器提供context，其中将保留文字类型.

Playground link to code个