Typescript 基于泛型的条件接口键

你需要的是discriminated unions美元.我们将创建一个单独的类型来保存每DeviceType个:

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

现在，让我们创建一个类型，该类型将每DeviceType个保存唯一的部分:

type DeviceTypeMap = {
  A: {
    download: string;
    refresh: string;
  };
  B: {
    refresh: string;
  };
};

我们现在唯一需要的就是你改装IIconSet.为了使这种类型更灵活，我将泛型参数设置为可选，并添加了conditional type distribution(稍后将显示结果).

分发后，我们得到公共部分，即info: string，如果设备类型在DeviceTypeMap中，我们从它中获得部分，并将其与公共部分相交:

type IIconSet<T extends DeviceType = DeviceType> = T extends T
  ? { info: string } & (T extends keyof DeviceTypeMap ? DeviceTypeMap[T] : {})
  : never;

测试:

// type Result = {
//     info: string;
// } | ({
//     info: string;
// } & {
//     download: string;
//     refresh: string;
// }) | ({
//     info: string;
// } & {
//     refresh: string;
// })
type Result = IIconSet

我们得到了想要的形状，因为我们使用了conditional distribution case 2:

// type Result = {
//     info: string;
// } & {
//     download: string;
//     refresh: string;
// }
type Result = IIconSet<'A'>

用途:

export const icons: IIconSet<'default'> = { // no error
  info: 'svgString',
};

export const iconsA: IIconSet<'A'> = { // no error
  info: 'info',
  download: '',
  refresh: 'a',
};

playground个