Typescript 有区别的联合类型匹配

这里的问题是TypeScrip缺乏对correlated 100 types的直接支持，正如microsoft/TypeScript#30581中所描述的那样.本质上，类型判断器不容易理解判断message.type === messageType应该narrow message到Message联合的成员，该联合的payload属性可以由onMessage()处理.在该判断之后，message的类型变为correlated到messageType的类型，而不是具体知道.但是，没有一种简单的方法可以将这样的信息传递给编译器.

通常，您可以像microsoft/TypeScript#47109中描述的那样使用generics和一些类型重构来解决这个问题，但我无法在这里让它工作(如果有人does让它工作，请让我知道).

因此，我认为我们能做的最好的事情是写一个custom type guard function，表示message.type === messageType将适当地缩小message.这里有一种方法:

首先，我将把onMessage()参数的条件类型复制到我们可以重复使用的实用程序类型中:

type CorrespondingPayload<K extends Message['type']> =
    Extract<Message, { type: K }> extends {
        payload: infer TPayload;
    } ? TPayload : undefined

现在，自定义类型的防护函数如下所示:

function sameType<K extends Message['type']>(
    message: Message, messageType: K
): message is Message & { type: K, payload: CorrespondingPayload<K> } {
    return message.type === messageType;
}

如果sameType(message, messageType)返回true，则message将被缩小为已知payload为CorrespondingPayload<K>类型的类型.让我们使用它:

const someFn = <K extends Message['type']>(
    messageType: K,
    onMessage: (payload?: CorrespondingPayload<K>) => void
) => {
    const handleMessage = (message: Message) => {
        if (sameType(message, messageType)) {
            onMessage(message.payload); // okay
        }
    }
};

看上go 不错！

Playground link to code个