是否为“此”访问权限发出空检查？

Question

当您通过此引用访问自己的实例字段（例如，私有方法中的object或int字段）时，生成的Android Dalvik字节码将包含iget字节码指令：

iget v2, p0, Lcom/example/myapp/MyClass;->status:I

这与您访问另一个对象的字段（即不通过this指针）时发出的指令相同，因此似乎无法区分其他对象和您自己。 在字节码中，这是可以理解的，但是JIT可以做更多的事情。

在检查Android源代码时，我没有看到在这种情况下（即，当您访问this ）JIT会自动消除空检查。 对于已经为空检查的Dalvik寄存器，可以在基本块中删除它，这很好，但是（对我而言）似乎也可以在this访问中删除（即使它是基本块的第一条指令或任何指令，例如this不能为null）。

我想念什么？ 是出于安全性/运行时类型安全性的原因吗？ 还是我只是忽略了源代码？ 为什么VM（JIT）无法以独特的方式处理this问题？ （我知道本机代码显然不能，因为this和其他任何东西一样是一个内存地址。）

---

编辑：据我所知，每当基本块在dvm中结束时，都会清除“已经空检查”标志。 我要说的是，可以将保存该寄存器的寄存器的“已经为空检查”标志预先设置为1（并且即使在基本块之间进行转换时也不需要清除该值）。

Answer 1

从字节码的角度来看，访问“ this”对象上的字段与访问任何其他对象上的字段没有什么不同-您仍然必须传入包含“ this”引用的寄存器。 由于无法保证传入的寄存器实际上包含一个非空值，因此它仍然必须执行空值检查，就像对其他任何对象一样。