Java模块化：jlink构建与模块解析详解
在使用jlink工具构建Java自定义运行时镜像时，模块系统默认以整个模块为单位进行添加，而非按需选择特定包。这种设计确保了运行时配置的可靠性，避免了因缺失依赖而导致的运行时错误。对于追求极致镜像大小优化的场景，可以考虑利用GraalVMNativeImage等AOT编译技术，通过“摇树”（tree-shaking）机制实现更细粒度的代码剪裁。
在使用`jlink`工具构建Java自定义运行时镜像时，模块系统默认以整个模块为单位进行添加，而非按需选择特定包。这种设计确保了运行时配置的可靠性，避免了因缺失依赖而导致的运行时错误。对于追求极致镜像大小优化的场景，可以考虑利用GraalVM Native Image等AOT编译技术，通过“摇树”（tree-shaking）机制实现更细粒度的代码剪裁。
理解Java模块系统与jlink
Java模块系统（Jigsaw项目）旨在提高应用程序的可靠性、安全性、性能和可维护性。它将JDK本身以及应用程序分解为离散的模块，每个模块明确声明其依赖关系和导出的API。jlink工具是JDK提供的一个强大功能，允许开发者根据应用程序的需求，创建只包含所需模块的自定义运行时镜像。这对于部署小型、自包含的Java应用程序尤其有用，因为它能显著减小部署包的大小。
例如，为一个非模块化的Spring Boot应用创建自定义运行时，可能需要添加java.desktop模块，即使应用本身并非桌面应用：
jlink --module-path $JAVA_HOME/jmods --add-modules java.desktop --output mycustomrt
这条命令会创建一个名为mycustomrt的运行时镜像，其中包含了java.desktop模块及其所有传递性依赖。
模块添加的粒度：为什么是整个模块？
在Java模块系统中，当通过--add-modules选项添加一个模块时，如java.desktop，系统会包含该模块的全部内容，包括其声明导出的所有包。开发者可能会注意到，像java.desktop这样的模块包含大量与桌面UI、音频等相关的包（如java.awt、javax.swing、javax.sound等），而这些包对于一个纯后端或命令行应用来说是完全不必要的。
核心原因在于模块系统的“可靠配置”原则。 Java模块系统设计的目标之一是提供一个可靠且一致的运行时环境。如果允许开发者随意排除模块中的特定包，将可能导致以下问题：
- 运行时错误： 模块的内部实现或其依赖的其它模块可能在运行时需要某个被错误排除的包。在编译时或链接时，这种细粒度的排除很难被精确检测，从而在运行时抛出ClassNotFoundException或NoClassDefFoundError。
- 打破模块封装性： 模块的module-info.java文件明确声明了它导出的所有包。允许部分导出或排除，会使得模块的边界模糊，破坏其封装性和可预测性。
- 复杂性增加： 管理模块内部的包级别依赖和排除规则将极大地增加模块系统的复杂性，使其难以理解和使用。
因此，为了确保模块系统提供的可靠性保证，jlink在添加模块时，始终以整个模块为单位进行操作。这意味着一旦一个模块被包含，其所有导出的包及其传递性依赖都会被纳入运行时镜像中。
进一步优化镜像大小的策略
尽管jlink在模块层面进行操作，但对于追求极致镜像大小的场景，仍有其他高级优化手段：
- 精确选择模块： 在使用jlink时，最直接的优化是只添加应用程序真正需要的最小模块集。这通常需要对应用程序的依赖进行深入分析。对于非模块化应用，可以通过工具（如jdeps）来分析其类路径依赖，从而推断出所需的JDK模块。
- GraalVM Native Image： 这是目前实现Java应用极致瘦身最有效的方案之一。GraalVM Native Image是一种 ahead-of-time (AOT) 编译器，可以将Java应用程序编译成独立的本地可执行文件。其核心优化机制包括：
- “摇树”（Tree-shaking）： 在编译阶段，Native Image会进行深度分析，只包含应用程序实际执行路径中用到的类、方法和字段，从而排除所有未使用的代码。这比jlink的模块级别剪裁更为精细，能够达到包甚至类/方法级别的优化。
- 静态链接： 生成的本地可执行文件通常不依赖外部JVM，而是将运行时组件静态链接到可执行文件中，进一步减小部署体积并提高启动速度。
通过GraalVM Native Image，即使是像java.desktop这样庞大的模块，如果应用程序只使用了其中极少数的类（例如，仅仅是为了某个特定的配置或系统属性查询，而不是完整的UI框架），Native Image也能智能地只包含这些被实际使用的部分，从而大幅度减小最终可执行文件的大小。
总结
Java模块系统通过jlink工具提供了构建自定义运行时镜像的能力，但其模块添加的粒度是整个模块，而非细化到包级别。这一设计决策是为了维护模块系统的可靠性和一致性，避免潜在的运行时错误。对于希望进一步减小应用部署体积的开发者，除了精确选择jlink模块外，更高级的解决方案是探索像GraalVM Native Image这样的AOT编译技术，它能够通过“摇树”等机制实现更深层次的代码优化，从而生成更小、启动更快的本地可执行文件。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
