如何在声明文件中将外部模块的命名空间导出至全局？

你现在面临的核心问题是要把外部模块导出的Module同时作为全局命名空间供类型引用，以及window对象上的实例供运行时调用，还要保证类型完全一致。下面是可以直接落地的解决方案：

修正后的module.d.ts代码 #

import module = require("./externalModule");

// 先把导入的模块类型提取为别名，避免命名冲突
type ModuleType = typeof module;

declare global {
    // 确保window.Module有正确的运行时类型
    interface Window {
        Module: ModuleType;
    }

    // 声明全局命名空间Module，同步模块里的所有类型
    declare namespace Module {
        // 重导出externalModule里的SomeClass类型
        export type SomeClass = ModuleType["SomeClass"];
        // 如果模块里还有其他类型/接口，都需要在这里依次导出，比如：
        // export interface YourInterface = ModuleType["YourInterface"];
    }
}

// 可选：如果需要在模块内部直接引用Module类型，可以导出这个别名
export type Module = ModuleType;

验证用法 #

修改后你就能按期望的方式使用了：

// 类型层面用全局命名空间，运行时用window.Module实例
var someObject: Module.SomeClass = new window.Module.SomeClass();

// 同时保留原有模块导入的用法
import module = require("./externalModule");
var someOtherObject: module.SomeClass = new module.SomeClass();

为什么这个方案可行？ #

1. 类型别名隔离冲突：用ModuleType保存导入模块的类型，避免后续全局命名空间Module和导入的module变量发生命名冲突。
2. 全局命名空间同步类型：在global块中声明的namespace Module，通过重导出ModuleType里的类型，让TypeScript把Module识别为全局可用的命名空间，这样你就能直接用Module.SomeClass引用类型。
3. Window接口保证运行时类型：扩展Window接口让window.Module的类型和全局命名空间的类型完全对齐，不会出现类型不匹配的问题。

关于你临时方案的弊端 #

你之前的临时方案中，当只写var SomeClass;时TypeScript无法推断类型，只能默认是any，这是因为没有给变量提供明确的类型注解。而上面的方案不需要额外声明变量，直接通过全局命名空间就能访问类型，从根源上避免了这个问题。

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