限定导出旨在建立模块间信任边界:内部共享安全、外部仅接触稳定接口;go用小写首字母和internal/目录,ts用文件私有与internal/index.ts统一导出,rust用pub(crate)和crate::utils封装;共享状态集中于shared-state/等专用目录,禁用export*与调试符号,主模块用默认导出+工厂函数强化封装。

限定导出不是为了“不让别人看到”,而是通过精准控制可见范围,在模块系统内建立清晰的信任边界:内部模块之间可安全共享,外部调用方只能接触稳定接口。
明确划分导出层级:内部共享 ≠ 全局暴露
不同语言对“内部可见”的定义不同,但目标一致——让协作模块能访问,而第三方无法触达。
-
Go:用小写首字母实现包级私有;若需跨子包共享,可设中间导出层(如
internal/目录下大写函数供同项目其他包调用,但不发布到公共模块) -
TypeScript:不加
export的变量默认文件私有;需内部共享时,统一导出到internal/index.ts,再由主模块选择性 re-export,不对外暴露该入口 -
Rust:用
pub(crate)限定为当前 crate 内可见,比pub更细粒度;敏感配置或工具函数放在crate::utils下,主模块仅调用封装后的接口
用专用内部模块承载共享状态
避免把共享变量散落在多个文件中。集中管理能提升可维护性,也便于构建时裁剪。
- 新建
shared-state/或internal/runtime/目录,存放所有跨模块通信所需的变量、事件总线实例、上下文对象等 - 该目录不参与类型声明输出(如 TS 的
exclude: ["internal/**"],Rust 的#[doc(hidden)]) - 主模块只提供初始化方法(如
initRuntime(config)),不导出原始变量本身;其他内部模块通过导入该初始化结果获取引用
禁用全量导出与调试符号
攻击者或误用方常靠 import * as X 快速探测能力边界。限定导出必须切断这类路径。
- 禁止
export *和export type暴露内部类型结构;改用运行时断言或泛型约束传递契约 - 移除开发期的调试导出项(如
dumpStore()、triggerMockEvent()),在构建配置中用环境变量条件编译,确保生产包完全剔除 - 对 Java/Kotlin 项目,在 R8 规则中添加
-assumenosideeffects class **.Debug { public static *** dump*(); },让编译器直接删掉调用
默认导出 + 工厂模式强化封装
命名导出会暴露成员名列表,增加静态分析效率;默认导出则强制使用者理解使用意图。
- 主业务模块用
export default createService(config)替代export class Service+export const DEFAULT_CONFIG - 工厂函数内部持有共享变量引用,返回的对象方法只暴露操作语义(如
service.submitOrder()),不暴露底层状态访问路径 - 配合 TypeScript 的
declare module隐藏内部类型,使智能提示只显示契约,不泄露实现细节










