单态访问是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]，没有分支预测失败，没有缓存未命中，也没有哈希计算。但它的脆弱性也正源于此——它不处理变化，只拒绝变化。