如何让TypeScript识别程序化创建的导出成员？

这个问题我之前也碰到过——TypeScript对这种动态绑定的导出确实没辙，因为它是静态类型检查，没法在编译时追踪forEach里的动态赋值。不过有两种不错的方法能解决，而且完全不用手动写一堆重复的导出语句：

方法一：用类型声明文件（.d.ts）描述导出结构 #

这种方法适合把类型和实现分离的场景，核心是手动告诉TypeScript你的模块导出了哪些成员，以及它们的类型。

步骤如下：

1. 先在实现文件里保留动态导出的逻辑：

// myModule.ts
// 用as const固定数组为字面量元组，让TS能识别具体的成员名称
const peeps = ['peep1', 'peep2', 'peep3'] as const;
function mainMethod(peep: string, arg: number) {
  return `Hello ${peep}, your number is ${arg}`;
}

peeps.forEach(peep => {
  exports[peep] = mainMethod.bind(null, peep);
});

2. 同目录下创建同名的类型声明文件myModule.d.ts：

// myModule.d.ts
// 从实现文件里导入数组类型，自动推导成员名称
type PeepName = typeof import('./myModule').peeps[number];
// 定义绑定后的函数类型
type BoundMainMethod = (arg: number) => string;

declare module './myModule' {
  const exports: {
    [K in PeepName]: BoundMainMethod;
  };
  export = exports;
}

这样TypeScript就能通过这个声明文件，明确知道你的模块导出了peep1、peep2、peep3这几个函数，每个函数都接受一个number参数并返回string。

方法二：在实现文件内用类型断言自动推导导出类型 #

如果不想单独写声明文件，可以直接在实现文件里利用TS的类型特性自动推导导出结构，再通过类型断言让TS认可动态导出的成员：

// myModule.ts
// 用as const固定数组的字面量类型
const peeps = ['peep1', 'peep2', 'peep3'] as const;
// 从数组里自动生成成员名称的联合类型
type PeepName = typeof peeps[number];

function mainMethod(peep: PeepName, arg: number) {
  return `Hello ${peep}, your number is ${arg}`;
}

// 先断言exports的类型为我们期望的结构
const moduleExports = exports as Record<PeepName, (arg: number) => string>;

peeps.forEach(peep => {
  moduleExports[peep] = mainMethod.bind(null, peep);
});

// 导出类型化后的对象
export = moduleExports;

这里Record<PeepName, ...>是TS的工具类型，能快速生成一个以PeepName成员为键、对应函数为值的类型。这样TS在导入时就能自动提示所有导出的peep1、peep2等成员，还能正确做类型检查。

关键注意点 #

• 一定要用as const固定peeps数组的类型，如果只是普通的string[]，TS没法推断出具体的键名，也就没法生成准确的导出类型。
• 如果是ES模块（用export而非module.exports），可以把最后导出改成export default moduleExports，核心思路都是让TS明确动态导出的成员结构。

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