单态属性访问是JIT高性能关键突破口，指对象属性（如obj.x）在多次调用中始终访问同一类的同一字段偏移量，且类未被继承覆盖、字段未被动态添加；JIT据此生成精简机器指令，绕过通用查找链，直译为对象地址提取、字段偏移硬编码、零分支跳转三步操作，并通过类型与布局守卫实时验证单态性，失败则退化至解释器。
单态属性访问是 JIT 编译器实现高性能的关键突破口——它不靠猜测，而是基于**运行时真实、稳定、唯一**的类型路径，生成最精简、最直接的机器指令。
什么是单态属性访问
指某个对象属性（如 obj.x）在多次调用中始终访问**同一类的同一字段偏移量**，且该类未被继承覆盖、字段未被动态添加或重定义。例如：
class Point: def __init__(self, x): self.x = x- 连续 100 次调用
p.x，其中p始终是Point实例，且x是实例字典中首个字段
此时 JIT 观测到：访问目标恒为 Point.__dict__ 的固定 layout，x 在内存中恒位于 PyObject * 起始偏移 + 24 字节处（x86-64 下典型值）。
底层优化路径：从字节码到原生加载指令
JIT 不走 Python 的通用属性查找链（PyObject_GetAttr → _PyObject_GenericGetAttrWithDict → 字典哈希查找），而是全程绕过解释器开销，直译为三步硬件级操作：
-
对象地址提取：将
obj引用直接作为基址寄存器（如rdi） -
字段偏移硬编码：用立即数
24作为位移（如movsd xmm0, [rdi + 24]加载 float 值） - 零分支跳转：无类型检查、无缓存失效判断、无 fallback 分支
最终生成的汇编与 C 结构体成员访问几乎等价：((Point*)obj)->x，而非 PyObject_GetAttr(obj, x_str)。
JIT 如何确认并维持单态性
确认依赖两个实时反馈信号：
-
类型守卫（Type Guard）插入：在入口插入一条
cmp+jne指令，比对obj->ob_type是否等于已观测的&Point_Type；若不等，则退回到解释器路径（deoptimization） -
字段布局守卫（Layout Guard）：检查
obj->ob_type->tp_dictoffset == 0且Point_Type.tp_basicsize == 40，确保实例内存结构未被子类或__slots__修改
只要这组守卫持续通过，JIT 就不会重新编译；一旦失败（如出现 SubPoint(p) 实例），当前机器码立即失效，下次调用触发多态（polymorphic）或巨态（megamorphic）降级处理。
为什么不能手动“强制”单态
加类型注解（obj: Point）或使用 __slots__ 只是**提升单态概率**的辅助手段，不是充分条件。真正决定权在运行时行为：
- 即使有
__slots__ = ('x',)，若首次调用传入的是Point，第二次传入PointSubclass，JIT 仍会标记为多态 - 单态性由 JIT 内部的
PropertyAccessCache表按(type_id, attr_name)二元组统计命中率，仅当连续 64 次命中同一组合才升格为单态特化版本
本质上，它是数据驱动的、自适应的、带守卫的代码生成，不是静态编译器的“信任注解”。
