如何将TypeScript接口转换为可辨识联合类型？

问题根源 #

报错源于将MessageApiResponse转换为Message联合类型时，TypeScript无法正确窄化type属性的类型。尽管switch分支已按MessageTypes区分，但展开...message后，type仍被推断为宽泛的MessageTypes，而非联合类型要求的特定子类型（如MessageTypes.Text），导致类型不兼容。

修复方案 #

方案1：在分支中显式指定type属性 #

即使message.type已匹配分支类型，显式声明type可帮助TypeScript准确推断返回值类型：

function mapApiResponseToEntity(message: MessageApiResponse, currentUserId: number): Message {
  switch (message.type) {
    case MessageTypes.Text:
      return {
        ...message,
        type: MessageTypes.Text, // 显式指定type
        isAuthor: message.sender_id === currentUserId,
        content: message.content as string
      };
    case MessageTypes.Media:
      return {
        ...message,
        type: MessageTypes.Media, // 显式指定type
        isAuthor: message.sender_id === currentUserId,
        content: mapMediaApiResponseToEntity(message.content as MediaContentApiResponse)
      };
    case MessageTypes.AccessRequest:
      const accessContent = message.content as AccessRequestContentApiResponse;
      const isAuthor = accessContent.sender.id === currentUserId;
      if (isAuthor) {
        return {
          ...message,
          type: MessageTypes.AccessRequest, // 显式指定type
          isAuthor: true,
          content: mapAccessRequestAuthorContent(accessContent)
        };
      } else {
        return {
          ...message,
          type: MessageTypes.AccessRequest, // 显式指定type
          isAuthor: false,
          content: mapAccessRequestNotAuthorContent(accessContent)
        };
      }
    default:
      throw new Error("Unknown message type");
  }
}

方案2：重构联合类型定义，避免交叉类型冲突 #

调整结构，让每个联合成员直接继承基础属性，而非使用交叉类型，使类型结构更清晰：

// 仅保留无歧义的基础属性
type MessageBase = Omit<MessageEntityCache, "type" | "content" | "isAuthor">;

// 每个消息类型独立包含完整属性
interface MessageText extends MessageBase {
  type: MessageTypes.Text;
  content: string;
  isAuthor: boolean;
}

interface MessageAccessRequestAuthor extends MessageBase {
  type: MessageTypes.AccessRequest;
  content: AccessRequestContentAuthor;
  isAuthor: true;
}

interface MessageAccessRequestNotAuthor extends MessageBase {
  type: MessageTypes.AccessRequest;
  content: AccessRequestContentNotAuthor;
  isAuthor: false;
}

type MessageAccessRequest = MessageAccessRequestAuthor | MessageAccessRequestNotAuthor;

interface MessageMedia extends MessageBase {
  type: MessageTypes.Media;
  content: MediaContentEntityCache;
  isAuthor: boolean;
}

type Message = MessageText | MessageAccessRequest | MessageMedia;

这种方式让每个联合成员的类型完全独立，TypeScript能更精准地进行类型推断，避免交叉类型带来的隐式冲突。

额外建议 #

• 谨慎使用类型断言（如message.content as string），确保断言的准确性，避免潜在类型错误。
• 针对AccessRequest类型，可通过自定义类型守卫进一步优化类型窄化，减少断言依赖。

内容的提问来源于stack exchange，提问作者Stanislav Jordanov