程序计数器是JVM中唯一不抛出OutOfMemoryError的区域，因其仅存储固定大小（4或8字节）的指令地址，无动态内存分配、不参与GC、生命周期与线程绑定且JVM规范明确禁止其抛出该异常。
程序计数器（PC Register）之所以是 JVM 内存模型中唯一不抛出 OutOfMemoryError 的区域，核心在于它根本不需要动态分配内存——它只是一个固定大小的地址指针，纯静态、无增长、不参与任何内存管理流程。
存储内容极简且大小恒定
它只保存下一条要执行的字节码指令地址（例如 0x0007），或在执行 native 方法时置为未定义值：
- 32 位 JVM 中占 4 字节，64 位 JVM 中占 8 字节，空间严格固定
- 不存对象、变量、栈帧、类元数据等任何可变结构
- 无论方法嵌套多深、循环多少次、代码多长，它始终只更新一个整数值
完全不走内存分配路径
它不向操作系统申请页，不依赖 GC 回收，也不随线程数量或运行时间扩容：
- 堆要
new对象，栈要压入帧，方法区要加载类——这些都可能因资源不足失败 - 而 PC 寄存器在每个线程启动时就由 JVM 预分配好，之后仅做覆盖写操作
- 不受
-Xmx、-Xss等任何 JVM 内存参数影响
生命周期与线程强绑定，无累积风险
每个线程独享一份 PC，线程结束即释放，不存在跨线程共享或全局耗尽问题：
- 线程 A 的 PC 不会影响线程 B，也不会叠加占用系统资源
- 即使创建上万个线程，PC 总开销也只是
线程数 × 4 或 8 字节，微乎其微 - JVM 规范（§2.5.1）明确将其定义为“无 OOM 场景”的区域，不是遗漏，而是确定性设计
本质是寄存器级指针，不是内存区域
从实现角度看，它更接近 CPU 中的程序计数器硬件寄存器：
- 读写速度达寄存器级别，无内存访问延迟
- 功能单一：仅支撑指令跳转、分支、异常恢复、线程切换等控制流逻辑
- 溢出的前提是“申请内存超过上限”，而它根本不申请——自然不会溢出
