Java 虚拟机(JVM)是一个高度模块化、可扩展的平台,其核心之一就是灵活的类加载机制。通过 ClassLoader(类加载器),Java 程序可以在运行时动态加载类、隔离模块、实现热部署,甚至构建自定义沙箱环境。
本篇文章将全面解析 Java 的类加载机制,包括类加载流程、双亲委派模型、自定义类加载器、类卸载机制,以及在实际工程中的应用与注意事项。
Java 类从 .java 文件编译为 .class 文件后,并不会立刻“进入”JVM,它们在首次被使用时才会被加载进内存。
类加载分为以下几个阶段:
.class 文件字节码;java.lang.Class 对象;java复制编辑Class<?> clazz = Class.forName("com.example.MyClass");
java复制编辑publicclassTest {
static {
System.out.println("类初始化中...");
}
}
JVM 中的类加载器是一个树形结构,由以下几种组成:
| 加载器 | 描述 |
|---|---|
| Bootstrap | 引导类加载器,JVM 内部实现,加载核心类库 |
| Extension | 扩展类加载器,加载 ext 目录下的类 |
| Application | 应用类加载器,加载用户 classpath 中的类 |
| 自定义加载器 | 开发者定义的类加载器,用于模块化、隔离等 |
可通过如下代码查看当前类由哪个加载器加载:
java复制编辑System.out.println(Test.class.getClassLoader());
Java 的类加载器采用 双亲委派模型(Parent Delegation Model):
这个设计可以:
加载 java.lang.String 类时:
java复制编辑publicclassMyClassLoaderextendsClassLoader {
private String classPath;
publicMyClassLoader(String classPath) {
this.classPath = classPath;
}
@Overrideprotected Class<?> findClass(String name) throws ClassNotFoundException {
try {
byte[] data = loadClassData(name);
return defineClass(name, data, 0, data.length);
} catch (IOException e) {
thrownewClassNotFoundException(name);
}
}
privatebyte[] loadClassData(String name) throws IOException {
Stringpath= classPath + name.replace('.', '/') + ".class";
InputStreaminput=newFileInputStream(path);
ByteArrayOutputStreamoutput=newByteArrayOutputStream();
int b;
while ((b = input.read()) != -1) {
output.write(b);
}
return output.toByteArray();
}
}
使用方式:
java复制编辑ClassLoaderloader=newMyClassLoader("/my/classes/");
Class<?> clazz = loader.loadClass("com.example.Plugin");
Objectobj= clazz.getDeclaredConstructor().newInstance();
在 JVM 中,类一旦被加载就不会被卸载,除非其:
这也是热部署框架通常通过**“更换 ClassLoader”** 来实现热重载的原因。
+ + 也 培 养 了 开 发 者 系 统 化 的 工 程 思 维 。 C + + 的 类 型 系 统 、 作 用 域 控 制 、 构 造 析 构 顺 序 、 模 板 元 编 程 等 , 推 动 程 序 员 在 设 计 软 件 时 必 须 考 虑 模 块 间 的 边 界 、 接 口 的 稳 定 性 与 扩 展 性 、 运 行 效 率 与 空 间 复 杂 度 的 权 衡 。 这 种 深 度 设 计 能 力 是 编 写 可 维 护 、 可 扩 展 系 统 的 基 础 , 而 C + + 则 在 这 方 面 提 供 了 充 分 支 持 。 现 代 C + + 也 在 不 断 向 简 洁 性 、 可 维 护 性 靠 拢 。 从 a u t o 类 型 推 导 、 L a m b d a 表 达 式 , 到 结 构 化 绑 定 、 范 围 f o r 循 环 、 类 模 板 参 数 推 导 等 特 性 , 无 一 不 是 为 了 降 低 开 发 门 槛 、 提 升 代 码 可 读 性 与 复 用 性 。 这 些 特 性 大 大 改 善 了 早 期 C + + 中 冗 长 、 繁 复 的 代 码 风 格 , 也 使 C + + 成 为 更 加 现 代 化 的 工 程 工 具 。 尤 其 是 在 泛 型 编 程 与 模 板 技 术 方 面 , C + + 在 保 持 类 型 安 全 的 同 时 , 提 供 了 极 高 的 灵 活 性 和 性 能 保 障 。 不 可 忽 视 的 是 , C + + 的 社 区 和 标 准 委 员 会 ( I S O / I E C J T C 1 / S C 2 2 / W G 2 1 ) 也 为 语 言 的 演 进 提 供 了 强 有 力 的 支 持 。 C + + 标 准 每 三 年 迭 代 一 次 , 语 言 的 发 展 不 再 依 赖 单 一 公 司 或 机 构 , 而 是 由 全 球 各 地 的 专 家 共 同 推 动 。 这 种 社 区 驱 动 的 模 式 保 证 了 语 言 的 开 放 性 、 前 瞻 性 与 实 践 性 , 使 得 C + + 能 够 不 断 吸 收 新 思 想 、 保 持 技 术 领 先 C + + 是 一 门 充 满 魅 力 的 语 言 , 既 能 深 入 底 层 掌 控 硬 件 资 源 , 又 可 借 助 现 代 特 性 实 现 高 抽 象 能 力 。 通 过 掌 握 其 现 代 语 言 特 性 、 工 程 构 建 能 力 、 设 计 模 式 与 并 发 控 制 , 开 发 者 能 够 在 性 能 与 可 维 护 性 之 间 取 得 良 好 平 衡 。 希 望 本 文 能 为 你 在 学 习 与 使 用 C + + 的 过 程 中 提 供 全 面 且 实 用 的 参 考 。 C + + 是 一 门 充 满 魅 力 与 深 度 的 编 程 语 言 , 它 不 仅 继 承 了 C 语 言 贴 近 硬 件 、 控 制 力 强 的 传 统 优 势 , 同 时 在 此 基 础 上 发 展 出 了 强 大 的 抽 象 机 制 、 面 向 对 象 设 计 理 念 与 现 代 范 式 编 程 能 力 。 这 种 兼 容 并 包 的 特 性 , 使 得 C + + 能 够 跨 越 多 个 技 术 领 域 , 无 论 是 在 底 层 嵌 入 式 开 发 中 对 硬 件 资 源 的 精 细 控 制 , 还 是 在 高 性 能 计 算 、 大 型 系 统 架 构 、 图 形 渲 染 引 擎 甚 至 人 工 智 能 框 架 中 都 占 据 着 不 可 替 代 的 地 位 。 C + + 的 一 个 显 著 特 点 在 于 其 “ 零 成 本 抽 象 ” 理 念 。 也 就 是 说 , 开 发 者 可 以 通 过 高 级 的 抽 象 机 制 ( 如 类 、 模 板 、 函 数 对 象 、 L a m b d a 表 达 式 等 ) 构 建 出 高 度 模 块 化 、 可 维 护 的 系 统 , 而 不 会 因 此 付 出 显 著 的 运 行 时 性 能 代 价 。 这 一 点 在 现 代 软 件 开 发 中 尤 为 重 要 , 尤 其 是 在 那 些 既 要 求 性 能 极 致 又 要 求 代 码 结 构 清 晰 的 大 型 项 目 中 。 C + + 提 供 了 控 制 与 抽 象 之 间 的 平 衡 机 制 , 让 程 序 员 既 能 像 使 用 脚 手 架 一 样 搭 建 高 层 架 构 , 又 能 像 技 师 一 样 在 底 层 精 雕 细 琢 。 在 工 程 实 践 中 , C + + 不 仅 仅 是 一 门 语 言 , 更 像 是 一 套 完 整 的 生 态 体 系 。 从 标 准 模 板 库 S T L 提 供 的 丰 富 数 据 结 构 与 算 法 , 到 现 代 C M a k e 构 建 系 统 的 模 块 化 管 理 , 从 B o o s t 等 社 区 扩 展 库 的 强 大 功 能 , 到 依 赖 管 理 工 具 v c p k g 、 c o n a n 等 的 生 态 整 合 , C + + 为 构 建 复 杂 项 目 提 供 了 完 善 的 支 持 。 而 随 着 C + + 1 1 到 C + + 2 0 ( 乃 至 未 来 的 C + + 2 3 和 C + + 2 6 ) 不 断 迭 代 更 新 , 语 言 本 身 也 在 持 续 演 进 , 逐 步 摆 脱 早 期 C + + 所 面 临 的 繁 琐 、 晦 涩 问 题 , 向 更 现 代 、 更 具 可 读 性 的 方 向 发 展 。 值 得 一 提 的 是 , C + + 在 并 发 与 并 行 领 域 的 表 现 也 极 具 竞 争 力 。 早 期 C + + 依 赖 操 作 系 统 原 语 或 第 三 方 库 ( 如 p t h r e a d 、 T B B ) 来 处 理 并 发 任 务 , 而 现 代 C + + 标 准 ( 尤 其 从 C + + 1 1 起 ) 开 始 原 生 支 持 多 线 程 , 包 括 线 程 管 理 ( s t d : : t h r e a d ) 、 线 程 安 全 容 器 、 原 子 操 作 、 互 斥 机 制 、 条 件 变 量 、 f u t u r e / p r o m i s e 等 , 使 得 开 发 者 可 以 用 一 致 的 语 法 在 不 同 平 台 上 编 写 高 性 能 并 发 程 序 。 再 结 合 后 续 标 准 对 协 程 ( c o r o u t i n e ) 、 并 行 算 法 ( p a r a l l e l S T L ) 的 引 入 , C + + 在 构 建 高 吞 吐 、 低 延 迟 系 统 方 面 展 现 出 极 高 的 竞 争 力 。 此 外 , C + + 对 于 系 统 级 开 发 的 重 要 性 也 毋 庸 置 疑 。 从 操 作 系 统 内 核 、 驱 动 程 序 、 数 据 库 引 擎 、 编 译 器 , 到 浏 览 器 引 擎 ( 如 C h r o m e 的 B l i n k ) 、 图 形 A P I ( 如 O p e n G L 、 V u l k a n ) 以 及 现 代 游 戏 引 擎 ( 如 U n r e a l E n g i n e ) , 几 乎 所 有 对 性 能 要 求 极 高 的 核 心 系 统 组 件 都 少 不 了 C + + 的 身 影 。 它 在 这 些 领 域 之 所 以 广 泛 应 用 , 正 是 由 于 其 在 语 言 层 面 提 供 了 对 内 存 布 局 、 对 象 生 命 周 期 、 执 行 顺 序 的 细 致 控 制 , 这 是 很 多 高 级 语 言 无 法 企 及 的 。 与 此 同 时 , C + + 的 学 习 曲 线 也 是 众 多 程 序 员 又 爱 又 恨 的 一 部 分 。 它 不 像 P y t h o n 那 样 易 上 手 , 也 不 像 J a v a 那 样 有 强 制 的 运 行 时 检 查 , 而 是 给 予 开 发 者 几 乎 完 全 的 自 由 。 这 种 自 由 既 是 力 量 的 来 源 , 也 是 犯 错 的 根 源 。 因 此 , 优 秀 的 C + + 开 发 者 往 往 不 是 “ 写 对 ” 程 序 , 而 是 能 “ 写 得 优 雅 、 安 全 、 性 能 优 异 ” 。 这 需 要 理 解 编 译 器 的 优 化 策 略 、 掌 握 复 杂 的 数 据 结 构 实 现 原 理 、 熟 练 使 用 调 试 与 分 析 工 具 , 甚 至 对 目 标 平 台 的 硬 件 特 性 有 所 涉 猎 。 从 编 程 思 想 上 看 , C + + 也 培 养 了 开 发 者 系 统 化 的 工 程 思 维 。 C + + 的 类 型 系 统 、 作 用 域 控 制 、 构 造 析 构 顺 序 、 模 板 元 编 程 等 , 推 动 程 序 员 在 设 计 软 件 时 必 须 考 虑 模 块 间 的 边 界 、 接 口 的 稳 定 性 与 扩 展 性 、 运 行 效 率 与 空 间 复 杂 度 的 权 衡 。 这 种 深 度 设 计 能 力 是 编 写 可 维 护 、 可 扩 展 系 统 的 基 础 , 而 C + + 则 在 这 方 面 提 供 了 充 分 支 持 。 现 代 C + + 也 在 不 断 向 简 洁 性 、 可 维 护 性 靠 拢 。 从 a u t o 类 型 推 导 、 L a m b d a 表 达 式 , 到 结 构 化 绑 定 、 范 围 f o r 循 环 、 类 模 板 参 数 推 导 等 特 性 , 无 一 不 是 为 了 降 低 开 发 门 槛 、 提 升 代 码 可 读 性 与 复 用 性 。 这 些 特 性 大 大 改 善 了 早 期 C + + 中 冗 长 、 繁 复 的 代 码 风 格 , 也 使 C + + 成 为 更 加 现 代 化 的 工 程 工 具 。 尤 其 是 在 泛 型 编 程 与 模 板 技 术 方 面 , C + + 在 保 持 类 型 安 全 的 同 时 , 提 供 了 极 高 的 灵 活 性 和 性 能 保 障 。 不 可 忽 视 的 是 , C + + 的 社 区 和 标 准 委 员 会 ( I S O / I E C J T C 1 / S C 2 2 / W G 2 1 ) 也 为 语 言 的 演 进 提 供 了 强 有 力 的 支 持 。 C + + 标 准 每 三 年 迭 代 一 次 , 语 言 的 发 展 不 再 依 赖 单 一 公 司 或 机 构 , 而 是 由 全 球 各 地 的 专 家 共 同 推 动 。 这 种 社 区 驱 动 的 模 式 保 证 了 语 言 的 开 放 性 、 前 瞻 性 与 实 践 性 , 使 得 C + + 能 够 不 断 吸 收 新 思 想 、 保 持 技 术 领 先 C + + 是 一 门 充 满 魅 力 的 语 言 , 既 能 深 入 底 层 掌 控 硬 件 资 源 , 又 可 借 助 现 代 特 性 实 现 高 抽 象 能 力 。 通 过 掌 握 其 现 代 语 言 特 性 、 工 程 构 建 能 力 、 设 计 模 式 与 并 发 控 制 , 开 发 者 能 够 在 性 能 与 可 维 护 性 之 间 取 得 良 好 平 衡 。 希 望 本 文 能 为 你 在 学 习 与 使 用 C + + 的 过 程 中 提 供 全 面 且 实 用 的 参 考 。 C + + 是 一 门 充 满 魅 力 与 深 度 的 编 程 语 言 , 它 不 仅 继 承 了 C 语 言 贴 近 硬 件 、 控 制 力 强 的 传 统 优 势 , 同 时 在 此 基 础 上 发 展 出 了 强 大 的 抽 象 机 制 、 面 向 对 象 设 计 理 念 与 现 代 范 式 编 程 能 力 。 这 种 兼 容 并 包 的 特 性 , 使 得 C + + 能 够 跨 越 多 个 技 术 领 域 , 无 论 是 在 底 层 嵌 入 式 开 发 中 对 硬 件 资 源 的 精 细 控 制 , 还 是 在 高 性 能 计 算 、 大 型 系 统 架 构 、 图 形 渲 染 引 擎 甚 至 人 工 智 能 框 架 中 都 占 据 着 不 可 替 代 的 地 位 。 C + + 的 一 个 显 著 特 点 在 于 其 “ 零 成 本 抽 象 ” 理 念 。 也 就 是 说 , 开 发 者 可 以 通 过 高 级 的 抽 象 机 制 ( 如 类 、 模 板 、 函 数 对 象 、 L a m b d a 表 达 式 等 ) 构 建 出 高 度 模 块 化 、 可 维 护 的 系 统 , 而 不 会 因 此 付 出 显 著 的 运 行 时 性 能 代 价 。 这 一 点 在 现 代 软 件 开 发 中 尤 为 重 要 , 尤 其 是 在 那 些 既 要 求 性 能 极 致 又 要 求 代 码 结 构 清 晰 的 大 型 项 目 中 。 C + + 提 供 了 控 制 与 抽 象 之 间 的 平 衡 机 制 , 让 程 序 员 既 能 像 使 用 脚 手 架 一 样 搭 建 高 层 架 构 , 又 能 像 技 师 一 样 在 底 层 精 雕 细 琢 。 在 工 程 实 践 中 , C + + 不 仅 仅 是 一 门 语 言 , 更 像 是 一 套 完 整 的 生 态 体 系 。 从 标 准 模 板 库 S T L 提 供 的 丰 富 数 据 结 构 与 算 法 , 到 现 代 C M a k e 构 建 系 统 的 模 块 化 管 理 , 从 B o o s t 等 社 区 扩 展 库 的 强 大 功 能 , 到 依 赖 管 理 工 具 v c p k g 、 c o n a n 等 的 生 态 整 合 , C + + 为 构 建 复 杂 项 目 提 供 了 完 善 的 支 持 。 而 随 着 C + + 1 1 到 C + + 2 0 ( 乃 至 未 来 的 C + + 2 3 和 C + + 2 6 ) 不 断 迭 代 更 新 , 语 言 本 身 也 在 持 续 演 进 , 逐 步 摆 脱 早 期 C + + 所 面 临 的 繁 琐 、 晦 涩 问 题 , 向 更 现 代 、 更 具 可 读 性 的 方 向 发 展 。 值 得 一 提 的 是 , C + + 在 并 发 与 并 行 领 域 的 表 现 也 极 具 竞 争 力 。 早 期 C + + 依 赖 操 作 系 统 原 语 或 第 三 方 库 ( 如 p t h r e a d 、 T B B ) 来 处 理 并 发 任 务 , 而 现 代 C + + 标 准 ( 尤 其 从 C + + 1 1 起 ) 开 始 原 生 支 持 多 线 程 , 包 括 线 程 管 理 ( s t d : : t h r e a d ) 、 线 程 安 全 容 器 、 原 子 操 作 、 互 斥 机 制 、 条 件 变 量 、 f u t u r e / p r o m i s e 等 , 使 得 开 发 者 可 以 用 一 致 的 语 法 在 不 同 平 台 上 编 写 高 性 能 并 发 程 序 。 再 结 合 后 续 标 准 对 协 程 ( c o r o u t i n e ) 、 并 行 算 法 ( p a r a l l e l S T L ) 的 引 入 , C + + 在 构 建 高 吞 吐 、 低 延 迟 系 统 方 面 展 现 出 极 高 的 竞 争 力 。 此 外 , C + + 对 于 系 统 级 开 发 的 重 要 性 也 毋 庸 置 疑 。 从 操 作 系 统 内 核 、 驱 动 程 序 、 数 据 库 引 擎 、 编 译 器 , 到 浏 览 器 引 擎 ( 如 C h r o m e 的 B l i n k ) 、 图 形 A P I ( 如 O p e n G L 、 V u l k a n ) 以 及 现 代 游 戏 引 擎 ( 如 U n r e a l E n g i n e ) , 几 乎 所 有 对 性 能 要 求 极 高 的 核 心 系 统 组 件 都 少 不 了 C + + 的 身 影 。 它 在 这 些 领 域 之 所 以 广 泛 应 用 , 正 是 由 于 其 在 语 言 层 面 提 供 了 对 内 存 布 局 、 对 象 生 命 周 期 、 执 行 顺 序 的 细 致 控 制 , 这 是 很 多 高 级 语 言 无 法 企 及 的 。 与 此 同 时 , C + + 的 学 习 曲 线 也 是 众 多 程 序 员 又 爱 又 恨 的 一 部 分 。 它 不 像 P y t h o n 那 样 易 上 手 , 也 不 像 J a v a 那 样 有 强 制 的 运 行 时 检 查 , 而 是 给 予 开 发 者 几 乎 完 全 的 自 由 。 这 种 自 由 既 是 力 量 的 来 源 , 也 是 犯 错 的 根 源 。 因 此 , 优 秀 的 C + + 开 发 者 往 往 不 是 “ 写 对 ” 程 序 , 而 是 能 “ 写 得 优 雅 、 安 全 、 性 能 优 异 ” 。 这 需 要 理 解 编 译 器 的 优 化 策 略 、 掌 握 复 杂 的 数 据 结 构 实 现 原 理 、 熟 练 使 用 调 试 与 分 析 工 具 , 甚 至 对 目 标 平 台 的 硬 件 特 性 有 所 涉 猎 。 从 编 程 思 想 上 看 , C + + 也 培 养 了 开 发 者 系 统 化 的 工 程 思 维 。 C + + 的 类 型 系 统 、 作 用 域 控 制 、 构 造 析 构 顺 序 、 模 板 元 编 程 等 , 推 动 程 序 员 在 设 计 软 件 时 必 须 考 虑 模 块 间 的 边 界 、 接 口 的 稳 定 性 与 扩 展 性 、 运 行 效 率 与 空 间 复 杂 度 的 权 衡 。 这 种 深 度 设 计 能 力 是 编 写 可 维 护 、 可 扩 展 系 统 的 基 础 , 而 C + + 则 在 这 方 面 提 供 了 充 分 支 持 。 现 代 C + + 也 在 不 断 向 简 洁 性 、 可 维 护 性 靠 拢 。 从 a u t o 类 型 推 导 、 L a m b d a 表 达 式 , 到 结 构 化 绑 定 、 范 围 f o r 循 环 、 类 模 板 参 数 推 导 等 特 性 , 无 一 不 是 为 了 降 低 开 发 门 槛 、 提 升 代 码 可 读 性 与 复 用 性 。 这 些 特 性 大 大 改 善 了 早 期 C + + 中 冗 长 、 繁 复 的 代 码 风 格 , 也 使 C + + 成 为 更 加 现 代 化 的 工 程 工 具 。 尤 其 是 在 泛 型 编 程 与 模 板 技 术 方 面 , C + + 在 保 持 类 型 安 全 的 同 时 , 提 供 了 极 高 的 灵 活 性 和 性 能 保 障 。 不 可 忽 视 的 是 , C + + 的 社 区 和 标 准 委 员 会 ( I S O / I E C J T C 1 / S C 2 2 / W G 2 1 ) 也 为 语 言 的 演 进 提 供 了 强 有 力 的 支 持 。 C + + 标 准 每 三 年 迭 代 一 次 , 语 言 的 发 展 不 再 依 赖 单 一 公 司 或 机 构 , 而 是 由 全 球 各 地 的 专 家 共 同 推 动 。 这 种 社 区 驱 动 的 模 式 保 证 了 语 言 的 开 放 性 、 前 瞻 性 与 实 践 性 , 使 得 C + + 能 够 不 断 吸 收 新 思 想 、 保 持 技 术 领 先 C + + 是 一 门 充 满 魅 力 的 语 言 , 既 能 深 入 底 层 掌 控 硬 件 资 源 , 又 可 借 助 现 代 特 性 实 现 高 抽 象 能 力 。 通 过 掌 握 其 现 代 语 言 特 性 、 工 程 构 建 能 力 、 设 计 模 式 与 并 发 控 制 , 开 发 者 能 够 在 性 能 与 可 维 护 性 之 间 取 得 良 好 平 衡 。如 Tomcat、Jetty、Spring Boot DevTools:
大型系统可能允许用户开发插件,如:
java复制编辑ClassLoaderpluginLoader=newURLClassLoader(pluginUrls, null); // 无父加载器,隔离主程序类这样可实现:
在金融或多租户系统中,开发者可能构建沙箱类加载器:
java.io.File)的加载请求;原因:两个类是否相同,不仅取决于类名,还包括加载它们的 ClassLoader 是否一致。
java复制编辑Objecta= loaderA.loadClass("com.Plugin").newInstance();
Objectb= loaderB.loadClass("com.Plugin").newInstance();
a instanceof b.getClass(); // false!原因通常是:
解决办法:
类加载器是 Java 模块化架构的基石,它让 Java 能够实现动态部署、插件机制、热更新、安全隔离等诸多能力。
本篇你应该已经掌握了:
/1
文章评论(0条评论)
登录后参与讨论