如何简化TypeScript中条件对象类型的属性存在性检查？

针对你遇到的联合类型Chat中检查configs.emoji的冗长问题，有以下几种简洁实现方式：

1. 封装复用的类型守卫函数 #

把检查逻辑封装成自定义类型守卫，后续调用只需一行代码，既保证类型安全又避免重复代码：

// 定义类型守卫，判断当前Chat是否为ChatEmoji类型
function isChatEmoji(chat: Chat): chat is ChatEmoji {
  return "emoji" in chat.configs;
}

// 使用示例
function handleChat(chat: Chat) {
  if (isChatEmoji(chat) && chat.configs.emoji) {
    console.log("处理emoji消息:", chat.configs.emoji);
  }
}

这个守卫函数可以在任何需要检查emoji属性的地方复用，完美替代冗长的"emoji" in chat.configs判断。

2. 简易场景：类型断言+可选链 #

如果只是临时场景不想额外定义函数，可以用类型断言简化写法，适合你明确当前configs可能包含emoji的场景：

function handleChat(chat: Chat) {
  if ((chat.configs as { emoji?: string }).emoji) {
    console.log("处理emoji消息:", chat.configs.emoji);
  }
}

注意：这种方式会跳过部分类型检查，安全性不如类型守卫，不推荐在复杂场景中频繁使用。

3. 类型结构优化（可选） #

如果允许调整原有类型定义，可以让configs的类型推导更清晰，但这只适用于你能修改基础类型的情况：

// 重构后的类型，让configs随type自动关联
interface ChatBase<T extends "message" | "emoji"> {
  roomId?: string;
  type: T;
  configs: T extends "message" ? { text?: string } : { emoji?: string };
}

type ChatMessage = ChatBase<"message">;
type ChatEmoji = ChatBase<"emoji">;
type Chat = ChatMessage | ChatEmoji;

重构后，当你判断chat.type === "emoji"时，TypeScript会自动推断chat.configs包含emoji属性，不过这种方式依然不适用于共享属性的场景，所以类型守卫还是更通用的方案。

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