模块路径隔离机制通过作用域隔离阻断静态变量跨模块污染：Java未exports的static字段不可访问，C++26未export的static不进符号表，ES模块顶层声明仅限本模块环境。
模块路径下的隔离机制能从根本上阻断静态变量跨模块污染，关键在于它把每个模块的符号绑定到独立的作用域中，而非共享全局命名空间。
模块作用域天然切断静态变量传播链
在支持模块路径的语言（如Java 9+、C++26、ES模块）中，静态变量默认不具备跨模块可见性：
- Java中未被
exports的包内static字段，其他模块无法通过类名访问，反射调用也会被模块系统拒绝 - C++26模块里未用
export声明的static变量或函数，编译器不将其写入公共符号表，链接器根本“看不见”它 - ES模块中顶层
const/let/function仅存在于该模块环境记录，globalThis上查不到，也无法被其他模块隐式引用
避免手动暴露导致的意外泄漏
污染常发生在开发者试图“绕过隔离”时。需警惕以下做法：
- 不要在模块接口中返回静态变量的原始引用（如返回
static Map实例），应封装为不可变副本或只提供操作方法 - 禁止在导出函数内部直接修改模块外传入的静态对象，否则污染会反向渗透
- Java中慎用
opens指令开放包给反射——这等于主动撕开模块边界
语言级保障与开发习惯双保险
隔离不是靠约定，而是由编译器/引擎强制执行：
- C++26模块编译后生成的二进制接口只含
export符号，static变量连符号名都不会出现在目标文件中 - Java模块系统在类加载阶段就校验访问权限，非法跨模块访问会在运行时报
IllegalAccessError，而非静默失败 - ES模块加载时，引擎为每个模块创建专属
Module Environment Record，this为undefined，彻底杜绝this.x = 1挂载到全局
不复杂但容易忽略
