如何在插件中扩展依赖的TypeScript接口类型

核心依赖TypeScript原生的声明合并与模块增强能力，主项目仅需做一次可扩展结构设计，后续所有类型扩展逻辑完全由插件侧独立完成，主项目无需感知任何插件存在。

主项目侧基础配置（仅需初始化一次，后续无需改动） #

主项目不需要提前预设插件支持的车型，只需要将方法参数类型与一个可扩展的映射接口绑定即可，示例代码：

// 主项目入口类型文件（如index.d.ts）
/**
 * 车型与对应配置的映射表，初始为空，由各插件自行补充类型定义
 */
export interface CarModelMap {}

export class Dealer {
  // 已注册车型走精确类型校验
  buyCar<M extends keyof CarModelMap>(model: M, options: CarModelMap[M]): void;
  // 未注册车型兼容默认逻辑
  buyCar(model: string, options: any): void;
  buyCar(model: string, options: any): void {
    // 原有购车业务逻辑
  }
}

注意：映射表必须用interface定义，不可用type别名，type不支持声明合并无法被扩展。

插件侧类型扩展实现 #

插件不需要修改主项目任何代码，只需要在自身的类型声明文件中对主项目导出的映射接口做增强即可。
以丰田车型插件为例，在插件包内的类型声明文件（需在package.json的types字段中声明该文件路径，保证TS可自动加载）写入如下代码：

// 插件内toyota.type.ts
import type { CarModelMap } from 'your-main-dealer-package';
// 插件自定义的丰田车型配置类型
export interface ToyotaOptions {
  trimLevel: 'low' | 'mid' | 'high';
  color: string;
  sunroof?: boolean;
}

// 模块增强：向主项目的映射表补充丰田车型类型
declare module 'your-main-dealer-package' {
  interface CarModelMap {
    Toyota: ToyotaOptions;
  }
}

插件自身的车型注册业务逻辑正常编写即可，类型部分会通过TS的声明合并能力自动生效。

使用效果 #

用户安装主项目和对应插件后，TS会自动识别类型规则：

const dealer = new Dealer();

// 类型自动推导：model传'Toyota'时，options自动约束为ToyotaOptions类型
// 字段填错、漏填都会直接报TS类型错误，编辑时也会有正确的属性提示
dealer.buyCar('Toyota', {
  trimLevel: 'high',
  color: 'black',
  sunroof: true
});

// 未被插件注册的车型自动走默认逻辑，不会报错
dealer.buyCar('OtherBrand', { customOpt: 1 });

多个插件共存时，每个插件只需要补充自己对应的车型字段即可，互相不会冲突，主项目全程不需要做任何适配改动。

内容的提问来源于stack exchange，提问作者Vasile Alexandru Peşte