TypeScript类型推断/缩小挑战

我目前正在尝试改善某些现有代码的类型.我的代码大致如下所示:

/* dispatcher.ts */
interface Message {
    messageType: string;
}

class Dispatcher<M extends Message> {    
    on<
        MessageType extends M["messageType"],
        SubMessage extends M & { messageType: MessageType }
    >(
        messageType: MessageType,
        handler: (message: SubMessage) => void
    ): void { }
}

/* messages.ts */
interface AddCommentMessage {
    messageType: "ADD_COMMENT";
    commentId: number;
    comment: string;
    userId: number;
}

interface PostPictureMessage {
    messageType: "POST_PICTURE";
    pictureId: number;
    userId: number;
}

type AppMessage = AddCommentMessage | PostPictureMessage;

/* app.ts */
const dispatcher = new Dispatcher<AppMessage>();

dispatcher.on("ADD_COMMENT", (message: AddCommentMessage ) => {
                                    /* ^^ REMOVE THIS TYPE HINT!*/
    console.log(message.comment);
});

我想消除显式缩小传递给消息处理程序的消息类型的需要(// REMOVE THIS TYPE HINT!* /是),这样它就可以正确地缩小为具有匹配messageType类型的类型(例如,如果messageType为“ ADD_COMMENT”,则消息应为AddCommentMessage.

如果现在无法实现,请告诉我.我的印象不是,但我不太确定.

最佳答案
这是不可能的,除非您愿意对代码进行大量更改.

您的基本界面

interface Message {
    messageType: string;
}

太笼统了,我认为messageType:字符串会排除基于messageType的值的任何推断,并且看起来不可能在Dispatcher接口中充分缩小它的范围.

如果仅将代码限制为AppMessage及其子代,则下面是一个示例,该示例如何在字符串文字类型的指导下使Typescript推断所需的类型(AppMessageMap的key实际上是字符串文字类型“ ADD_COMMENT” |“ POST_PICTURE”的并集. ):

/* dispatcher.ts */

class Dispatcher {    
    on<
        MessageType extends keyof AppMessageMap
    >(
        messageType: MessageType,
        handler: (message: AppMessageMap[MessageType] & {messageType: MessageType}) => void
    ): void { }
}

/* messages.ts */
interface AddCommentMessage {
    commentId: number;
    comment: string;
    userId: number;
}

interface PostPictureMessage {
    pictureId: number;
    userId: number;
}

interface AppMessageMap {
    "ADD_COMMENT": AddCommentMessage,
    "POST_PICTURE": PostPictureMessage
}
type AppMessage = AppMessageMap[keyof AppMessageMap];

/* app.ts */
const dispatcher = new Dispatcher();


dispatcher.on("ADD_COMMENT", (message) => {
    console.log(message.comment);
});

我还从接口中删除了messageType属性以避免重复,我认为处理程序参数中的交集类型可以达到相同的效果.

转载注明原文:TypeScript类型推断/缩小挑战 - 代码日志