模块路径隔离机制通过作用域隔离阻断静态变量跨模块污染：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挂载到全局

不复杂但容易忽略