如何将TypeScript模块的全局作用域增强限制在直接导入它的模块中？

问题场景 #

你希望lib/foo.ts中添加的全局增强（变量FOO）仅对直接导入它的bar.ts可见，间接导入bar.ts的main.ts无法访问FOO。原代码示例：

// lib/foo.ts
export default true

window.FOO = 60

declare global {
  const FOO: number
}

// bar.ts
import './lib/foo'
export const BAR = FOO

// main.ts
import { BAR } from './bar'
console.log(BAR, FOO) // 希望此处FOO不可用

核心问题 #

原实现存在两个无法规避的全局污染问题：

1. 类型层面：declare global会将FOO的类型注入整个TypeScript项目的全局类型空间，只要有模块导入lib/foo.ts，所有模块都能识别该类型。
2. 运行时层面：window.FOO = 60直接挂载到浏览器全局对象，所有脚本都能访问该变量。

解决方案 #

无法通过全局声明实现"局部全局"的效果，必须改用模块作用域的变量与导出机制，从类型和运行时两方面限制访问范围：

方案1：显式导入（推荐）

修改lib/foo.ts，去掉全局挂载和声明，改为导出模块级变量：

// lib/foo.ts
export default true;
export const FOO = 60;

bar.ts显式导入并使用FOO，且不向外导出FOO：

// bar.ts
import { FOO } from './lib/foo';
export const BAR = FOO;

main.ts只能访问BAR，无法获取FOO：

// main.ts
import { BAR } from './bar';
console.log(BAR); // 60
console.log(FOO); // 编译时报错，运行时也无法访问

方案2：模拟"局部全局"（仅类型近似，不推荐）

如果想让bar.ts无需显式导入就能使用FOO，可以在bar.ts内部声明局部类型别名，但运行时仍需显式导入变量：

// lib/foo.ts
export default true;
export const FOO = 60;

// bar.ts
import { FOO } from './lib/foo';
// 仅在当前文件声明类型别名，模拟全局使用体验
type FOO = typeof FOO;
export const BAR = FOO;

这种方式下，main.ts依然无法访问FOO，bar.ts里的FOO本质还是显式导入的变量，只是通过类型别名简化了书写。

关键结论 #

TypeScript的declare global和浏览器全局对象window都是全局作用域的，无法限制仅直接导入的模块可见。唯一可靠的方式是利用模块的静态作用域，通过导出/导入控制变量的访问范围。

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