单态访问是JIT观测到唯一稳定访问模式后，用硬编码内存偏移替代动态查找链；依赖类型与布局双守卫实时验证，任一失败即退化至解释器路径。
单态访问不是编译器“猜对了类型”，而是它观测到真实、稳定、唯一的访问模式后，直接砍掉整个查找链——包括字典哈希、属性缓存探测、继承链遍历。一旦确认单态性，obj.x 就不再走 PyObject_GetAttr，而是变成一条硬编码偏移的内存加载指令。
单态访问依赖的两个守卫机制
JIT 不靠信任，靠实时验证。每次执行前必须通过两道硬件级检查：
-
类型守卫（Type Guard）：插入cmp rdi, &Point_Type+jne fallback，确保当前对象确实是观测到的那个类的实例 -
布局守卫（Layout Guard）：检查tp_basicsize和tp_dictoffset是否未变，防止子类或__slots__改动字段位置
任一守卫失败，立即退化到解释器路径，当前机器码作废。这不是“慢一点”，而是整段优化逻辑被绕过。
为什么字段偏移能硬编码？——隐藏类（Hidden Class）的本质
所谓“隐藏类”，不是 C++ 的 class，而是一组运行时生成的结构描述符，记录：类名、字段顺序、各字段在实例内存中的字节偏移、是否含 __dict__。例如 Point 实例若只有 x 一个字段，且无 __dict__，则其隐藏类会标记 x 位于 +24 字节处（x86-64 下典型值）。
这个偏移不是凭空算的，它由 tp_basicsize（基础对象大小）、tp_itemsize（可变长对象额外尺寸）、字段声明顺序共同决定。一旦你加个 __slots__ = ('x', 'y') 或继承出 SubPoint，隐藏类就不同，偏移重算，守卫失败。
单态性被破坏的常见操作
以下任意行为都会让 JIT 立即放弃单态优化：
- 混用不同类型实例：比如
p1 = Point(1); p2 = SubPoint(2)后连续调用p1.x和p2.x - 动态添加属性：
p.x = 1; p.y = 2—— 触发__dict__创建，隐藏类升级，原偏移失效 - 修改类定义：
Point.z = property(...)或给类加新方法，可能影响字段布局缓存 - 使用
setattr(obj, 'x', ...)而非直接赋值，绕过 JIT 可观测的写路径
这些操作本身合法，但它们让 JIT 失去“唯一性”依据。真正难调试的，是那种只在某个分支里悄悄创建子类实例、或只在特定配置下注入 __dict__ 的情况——守卫失败不报错，只是性能骤降，且难以复现。
单态优化的威力不在“快”，而在“确定性”：只要守卫持续通过，它就永远是一条 movsd xmm0, [rdi + 24]，没有分支预测失败，没有缓存未命中，也没有哈希计算。但它的脆弱性也正源于此——它不处理变化，只拒绝变化。
