复杂多态继承体系是带虚方法覆盖映射的有向类型依赖图（dtg）；jvm基于运行时采样动态识别高频路径子图，通过vtable查表、scc折叠收缩和一阶内联缓存实现调用优化。
从图论视角看，复杂多态继承体系本质是一张有向类型依赖图（Directed Type Dependency Graph, DTG）：节点是类或接口，边表示 extends 或 implements 关系，而方法重写（@Override）则在边之上叠加一层虚方法覆盖映射关系。JVM 的方法调用优化，并非静态遍历整张图，而是基于运行时采样数据，在这张图上动态识别“高频路径子图”，进而压缩、剪枝、固化调用链路。
以下三点是推导动态优化逻辑的关键图论建模步骤：
将虚方法调用建模为图上的路径查询问题
每次obj.m()调用，等价于在 DTG 上以obj.getClass()为起点，沿继承/实现边向上搜索所有声明了m()的祖先节点，并从中选出最具体（most specific）的重写版本——这本质上是一个带偏序约束的可达性问题。JVM 不暴力遍历全图，而是借助虚方法表（vtable）把每个类节点的“可达重写集”预编译为固定偏移数组，把路径搜索降维为 O(1) 查表。JIT 的去虚拟化（devirtualization）对应图的收缩操作
当 profiling 数据显示某虚调用点a.m()在 99% 场景下实际只落到ConcreteX类，则 JIT 将该调用点对应的 DTG 局部子图收缩为单一边：a.m() → ConcreteX.m()，消除中间所有继承跳转。这相当于对原图做强连通分量（SCC）折叠——若某 SCC 内仅有一个活跃实现，就将其坍缩为一个无虚跳转的直接边。一阶内联缓存（monomorphic cache）是图上的局部路由表
每个调用点维护一个“最近类型→目标方法指针”的键值对，本质是为 DTG 构建轻量级哈希索引。当连续两次调用obj.m()的obj.getClass()相同，缓存命中即绕过 vtable 查找；若类型突变（如Dog→Cat），则触发缓存失效并升级为多态缓存（bimorphic）或最终退回到查 vtable —— 这正是在动态维护一张自适应最小生成树（MST-like）子图，始终优先保留在当前执行分布下最短、最稳的路径。
不复杂但容易忽略：图论模型的价值不在还原全部结构，而在指出优化边界——只要运行时类型分布足够倾斜（满足 Zipf 律），DTG 就可被局部线性化；而过度深宽的继承图本身，会增大 SCC 分析成本与缓存冲突率，这正是“减少继承深度”“慎用接口抽象”等编码建议的图论根源。
