程序计数器（PC）是JVM运行时数据区中唯一不会发生OutOfMemoryError的区域，因其仅存储固定大小的地址值、不参与动态内存分配与垃圾回收、线程私有且容量确定，规范明确排除其溢出可能。
程序计数器（Program Counter Register，简称 PC）是 JVM 运行时数据区中唯一不会发生 OutOfMemoryError 的区域，根本原因在于它不涉及任何动态内存分配，也不随程序行为增长或累积。
只存一个固定大小的地址值
PC 寄存器的作用非常单一：记录当前线程下一条要执行的字节码指令地址。在 32 位 JVM 中占 4 字节，64 位中占 8 字节，大小恒定不变。
- 无论方法嵌套多深、循环执行多少次，它始终只更新一个整数值
- 不存储对象、变量、栈帧或任何结构化数据
- 没有“堆积”可能——不像堆会不断 new 对象，也不像栈会持续压入帧
不参与内存分配与回收流程
它完全绕开了 JVM 内存管理的核心机制：
- 启动时由 JVM 静态分配，无需向操作系统申请内存页
- 生命周期与线程绑定：线程创建时分配，线程结束时立即释放
- 无垃圾回收需求，也无扩容逻辑
线程私有且容量确定
每个线程独享一块 PC 空间，互不共享，不存在跨线程竞争或全局资源耗尽问题：
立即学习“Java免费学习笔记（深入）”；
- 线程数量增多，影响的是栈空间或本地内存，不是 PC
- JVM 规范明确要求其宽度足以容纳 returnAddress 或平台原生指针，上限在启动时即可确定
规范层面直接排除溢出可能
《Java 虚拟机规范》§2.5.1 明确规定：程序计数器是唯一未定义 OutOfMemoryError 抛出情形的运行时数据区。
- 这不是设计疏漏，而是基于其实现本质作出的确定性约束
- 它本质上就是一个寄存器级的整数容器，不具备溢出条件
