TypeScript如何基于泛型条件控制接口键的存在性？

你遇到的问题根源在于：当用never作为属性类型时，TypeScript仍会保留该属性键，只是其类型不可赋值，导致必须声明属性却无法提供合法值；而设为可选属性又会引入undefined类型，断言时引发错误。要实现泛型不符合约束时直接排除对应键，可以通过交叉条件类型动态生成接口结构，只保留符合泛型条件的属性。

实现代码 #

type DeviceType = "A" | "B" | "default";

type IIconSet<DEVICE extends DeviceType> = {
  info: string;
} & (DEVICE extends "A" ? { download: string } : {}) &
  (DEVICE extends "A" | "B" ? { refresh: string } : {});

代码说明 #

1. 基础属性：先定义所有场景都存在的info属性。
2. 条件交叉属性：
   • 仅当泛型DEVICE为"A"时，交叉{ download: string }属性；否则交叉空对象{}（不添加任何属性）。
   • 仅当泛型DEVICE为"A"或"B"时，交叉{ refresh: string }属性；否则交叉空对象。

验证效果 #

// 正确：仅包含info属性
const defaultIcon: IIconSet<"default"> = { info: "default" };

// 正确：包含info + refresh属性
const bIcon: IIconSet<"B"> = { info: "B", refresh: "refreshB" };

// 正确：包含info + download + refresh属性
const aIcon: IIconSet<"A"> = { info: "A", download: "downloadA", refresh: "refreshA" };

// 工厂函数示例（类型安全，无undefined问题）
function createIconSet<D extends DeviceType>(
  device: D,
  info: string,
  extra?: Partial<IIconSet<D>>
): IIconSet<D> {
  return { info, ...extra } as IIconSet<D>;
}

const aSet = createIconSet("A", "test", { download: "dl", refresh: "rf" });
aSet.download; // 类型为string，无undefined提示

为什么之前的方案不生效？ #

• 使用never作为属性类型：TypeScript会保留该属性键，但由于never类型无法赋值，导致必须声明属性却无法提供合法值，引发报错。
• 使用可选属性：会让属性类型变为string | undefined，即使断言为IIconSet<"A">，TypeScript仍会保留undefined的可能性，不符合需求。

内容的提问来源于stack exchange，提问作者s.Bergmann