如何在TypeScript IntelliSense中隐藏never类型变量及泛型条件属性

先还原你的场景代码，方便明确问题：

// 基础类型定义
type WorldEventType = {
  Notification: void;
  Chat: void;
};

type NotificationArgs = { message: string; userId: number };
type ChatArgs = { content: string; sender: string };

// 你原来的泛型类型定义
type WorldEvent<EventId extends keyof WorldEventType> = {
  eventId: EventId;
  notificationArgs: EventId extends 'Notification' ? NotificationArgs : never;
  chatArgs: EventId extends 'Chat' ? ChatArgs : never;
};

问题核心：指定EventId为'Notification'时，chatArgs类型为never，但IntelliSense仍会显示该属性，影响开发体验。

方法一：自定义工具类型过滤never属性 #

通过映射类型的条件键过滤，实现只保留非never类型的属性：

1. 定义工具类型OmitNever，专门剔除值为never的属性：

type OmitNever<T> = {
  // 遍历类型所有键，仅保留值不为never的键
  [K in keyof T as T[K] extends never ? never : K]: T[K];
};

2. 修改WorldEvent类型，用OmitNever包裹原结构：

type WorldEvent<EventId extends keyof WorldEventType> = OmitNever<{
  eventId: EventId;
  notificationArgs: EventId extends 'Notification' ? NotificationArgs : never;
  chatArgs: EventId extends 'Chat' ? ChatArgs : never;
}>;

方法二：直接使用联合类型（适合事件类型较少的场景） #

如果事件类型数量不多，直接定义联合类型更直观，TypeScript会自动根据eventId推断对应属性：

type WorldEvent = 
  | { eventId: 'Notification'; notificationArgs: NotificationArgs }
  | { eventId: 'Chat'; chatArgs: ChatArgs };

效果验证 #

两种方案都能实现：

• 当使用WorldEvent<'Notification'>时，IntelliSense仅显示eventId和notificationArgs
• 当使用WorldEvent<'Chat'>时，仅显示eventId和chatArgs

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