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编译技术，它能够通过“摇树”等机制实现更深层次的代码优化，从而生成更小、启动更快的本地可执行文件。
IntelliJ IDEA 是 JetBrains 推出的专业集成开发环境，重点服务于 Java、Kotlin 与 JVM 项目开发。软件集成代码补全、静态检查、重构、调试、测试、版本控制及构建工具，并可借助插件扩展语言和框架支持。
JetBrains PyCharm 是面向 Python 开发者的集成开发环境，提供智能补全、代码检查、重构、调试、测试、版本控制及虚拟环境管理功能。Mac 版兼容 Intel 与 Apple 芯片，核心功能可免费使用。
JetBrains WebStorm 是面向 JavaScript、TypeScript 和现代 Web 技术的专业集成开发环境，可智能理解项目结构，提供代码补全、重构、错误检查、运行调试、测试及 Git 工具。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Premiere Pro 是面向专业视频制作的非线性剪辑软件，提供多轨时间线、调色、音频处理、字幕、代理工作流和多格式输出能力，并可与 After Effects、Audition、Photoshop 及 Frame.io 协同
JetBrains IntelliJ IDEA 是以 Java、Kotlin 和 JVM 项目为核心的专业集成开发环境，提供智能补全、代码检查、安全重构、调试、测试、版本控制及构建工具集成。统一发行版的核心功能可免费用于商业和非商业项目，
PhpStorm 是 JetBrains 面向 PHP 与现代 Web 开发打造的专业集成开发环境，提供代码补全、静态检查、重构、调试、测试、数据库、版本控制及前端语言支持。Windows 用户可直接下载安装程序，
PyCharm 是 JetBrains 推出的 Python 集成开发环境，提供智能代码补全、错误检查、重构、调试、测试、Git、终端及 Jupyter Notebook 支持。统一版安装后可体验 30 天 Pro 功能，
WebStorm 是 JetBrains 面向 JavaScript、TypeScript 和现代 Web 技术打造的集成开发环境。它提供项目级代码分析、智能补全、安全重构、导航搜索，并集成调试、测试、终端、Git 与常用前端工具，
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
Adobe Media Encoder 是 Adobe 面向视频与音频制作流程提供的专业编码和转码工具，可批量处理媒体文件、创建代理、套用输出预设并监控文件夹自动执行任务。它与 Premiere、After Effects、Audition