符号表隔离通过语言级机制强制限制符号可见性，使未导出的函数、变量、类等默认不可被外部访问，从编译期杜绝命名冲突与全局污染，提升封装性、安全性与构建效率。
用模块边界硬性控制符号访问
模块系统（如 Java 的 module-info.java、C++20 的 export module、Go 的包首字母大小写规则）从语言层强制划定“谁能看到什么”。未导出的类、函数、变量，外部模块连编译都过不去——反射、动态加载也会在运行时报错。
- Java 中未
exports的包，即使同名类也无法被其他模块引用；未opens的包，连setAccessible(true)都无效 - C++20 模块里，
export是显式开关：没加它，函数再 public 也不对外可见 - Go 中小写开头的变量天然只在包内有效，
go.mod还能阻止外部直接 import/internal/路径
把状态绑定到模块或线程，而非全局作用域
避免用 static 或顶层 let/var 存共享数据。真正需要跨函数传递的状态，应通过明确的上下文对象、ThreadLocal 或模块级闭包管理。
- Java 模块内需传用户 ID 或租户信息时，用
private static final ThreadLocal<String>，并在请求结束时调用remove() - JavaScript 用 IIFE 或 ES 模块顶层作用域封装私有状态，返回受限接口，不暴露原始变量
- Python C 扩展中优先使用模块级状态（
PyModule_GetState），而非进程级static变量，确保多解释器下互不干扰
利用类加载器或解释器实例实现运行时硬隔离
同一份代码，在不同模块加载器或 Python 解释器中，会生成完全独立的类型和静态空间。这使得“全局变量”实际变成“模块级变量”，天然规避跨模块污染。
- Java 中两个模块各自定义
ConfigHolder类，JVM 视为不同类型，无法赋值、无法强转 - Python 多解释器场景下，每个
import产生的模块对象是全新实例，其g、异常类、缓存都彼此隔离 - Node.js 的
vm.Script或 WebAssembly 实例也可构建沙箱级执行上下文，进一步收窄权限范围
配合工具链把规则固化进构建流程
模块描述文件只是契约，必须靠工具自动校验才能落地。否则容易变成“文档很规范，代码很随意”。
- Maven 项目集成
maven-enforcer-plugin，检查module-info.java是否误导出internal包 - 用 ArchUnit 编写测试，断言 “
web模块不得依赖infrastructure模块的DataSource” - C++ 项目在 CMake 中调用 Clang AST 分析脚本，禁止
presentation模块 importdata_access路径
