TypeScript中如何将已声明类型挂载至新命名空间并全局使用？

1. 首版代码报错原因 #

最开始写的export MyInterface触发语法错误，本质是TypeScript语法层面不支持在命名空间内直接裸导出外部作用域已存在的类型标识符——export关键字后面必须跟完整的声明语句，不能只放一个类型名就完成导出，因此会抛出「declaration or statement expected」的语法错误。

2. 临时空继承写法的问题 #

用export interface MyInterface extends MyInterface {}的方案确实能让代码跑通，但属于不规范的临时实现，存在明显缺陷：

• 本质是新建了一个零增量的独立子接口，不是将原类型挂载到命名空间下，产生了冗余的类型实体
• 做严格类型相等性判断、类型提取操作时，会被识别为和原接口不同的独立类型，造成无意义的类型区别
• 违背DRY原则，没有复用原类型的定义逻辑

3. 跨文件声明全局AppTypes的常见坑 #

跨文件重复声明同一个全局命名空间的写法，本身是TypeScript声明合并机制支持的用法，但很容易因为以下问题失效：

• 只要声明文件里出现任何顶层import/export语句，整个文件就会被识别为ES模块，里面写的declare namespace AppTypes会变成模块内的局部声明，彻底失去全局可见性，这也是很多人遇到「导出的类型无法全局访问」的核心原因
• 全局类型散落在各个业务模块的声明文件中，没有统一入口，后续维护时很难快速梳理AppTypes下聚合的所有类型
• 跨文件的同名类型如果出现定义冲突，报错定位会非常模糊，排查成本很高

针对「全应用零导入、通过统一命名空间聚合使用类型」的目标，有两种规范可落地的实现方式：

方案一：统一全局入口（推荐，可维护性最高） #

单独新建一个全局类型入口文件（比如src/types/global.d.ts），将所有业务模块的类型统一导入后，挂载到全局AppTypes命名空间下：

// src/types/global.d.ts
import type { MyOriginalInterface } from "../features/my-module/types";
import type { DictionaryType } from "../features/translator/types";
import type { ConfigType } from "../features/config-service/types";

// 因为文件内有import语句，已经被识别为ES模块，必须通过declare global向全局注入声明
declare global {
  namespace AppTypes {
    // 用类型别名直接复用已有类型，无冗余、无重复定义
    type MyInterface = MyOriginalInterface;
    type Dictionary = DictionaryType;
    type Config = ConfigType;
  }
}

该方案的优势：

• 所有类型聚合关系一目了然，后续查找、调整AppTypes下的类型只需要查看这一个入口文件
• 不存在冗余的空接口，完全复用各业务模块已有的类型定义
• 只要将该文件纳入TypeScript编译范围，全应用所有位置都可以零导入直接使用AppTypes.xxx引用类型

方案二：模块化全局声明（适合存量项目改造） #

如果不想集中维护入口文件，可以在各个业务模块的类型声明文件中，用declare global包裹自己需要挂载到AppTypes下的类型，避免因为文件后续新增import语句导致全局声明失效：

// ./translator/types.d.ts
// 假设这个文件后续需要引入其他依赖类型
import type { BaseDictionary } from "../common/types";

declare global {
  namespace AppTypes {
    export interface Dictionary extends BaseDictionary {
      [key: string]: {
        [key: string]: string
      }
    }
  }
}

// ./config-service/types.d.ts
declare global {
  namespace AppTypes {
    export interface Config {
      [key: string]: boolean;
    }
  }
}

注意：这种写法下，不管声明文件是不是ES模块，里面的AppTypes声明都会保持全局可见，不会因为文件新增了import/export语句就失效。

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