为什么字节码在直接字段访问中调用Object-> getClass（）

Question

我反编译了Java（实际上是Dalvik）字节码。在方法开始时，我直接访问实例成员的字段（即，不通过getter进行访问）。

似乎Java调用Object.getClass()了访问的实例成员（mOther），但未在任何地方使用结果。这是某种检查吗？为什么需要这个电话？我怀疑这是因为我直接访问一个字段（在该类中定义），但是看不到连接。

Java代码和反编译的字节码如下。

（请注意，最后一条指令加载lifeTime为常量，0x0001因为在中MyOtherClass，我有lifeTime一个public final字段，并且当前是从代码初始化的。）

MyOtherClass other = mOther;
if (mAge >= other.lifeTime) { // lifeTime is initialized to 0x0001
   end();
   return;
}

.line 53
move-object/from16 v0, p0
iget-object v0, v0, Lcom/example/engine/MyClass1;->mOther:Lcom/example/engine/MyOtherClass;
move-object/from16 v16, v0

.line 54
.local v16, other:Lcom/example/engine/MyOtherClass;
move-object/from16 v0, p0

iget v0, v0, Lcom/example/engine/MyClass1;->mAge:I
move/from16 v18, v0

// Why is Object->getClass() called?
invoke-virtual/range {v16 .. v16}, Ljava/lang/Object;->getClass()Ljava/lang/Class;

const/16 v19, 0x0001

更新：

在评论中有人要求我提供该方法的完整源代码。请注意，这mOther是最后一个字段（出于性能原因）。您在这里：

@Override
public void doStep() {
    MyOtherClass other = mOther;
    if (mAge >= other.lifeTime) {
        end();
        return;
    }
    mAge += TICK_TIME;

    boolean isSurrounded = false;
    if (mAge > mLastSurroundTime + other.surroundingTime) {
        int distance = (int)other.maxSurroundDistance;

        for (int bx = bx0; bx <= bx1; ++bx) {
            if (bx < 0 || bx >= mSize) { continue; }
            for (int by = by0; by <= by1; ++by) {
                if (by < 0 || by >= mSize) { continue; }
                ArrayList<WorldObject> candidates = getCandidatesAtPos(bx, by);
                for (int i = 0; i < candidates.size(); ++i) {
                    WorldObject obj = candidates.get(i);
                    if (mSelf!= obj && mSelf.getDistanceFrom(obj) <= other.maxSurroundDistance) {
                        obj.notifyDangerImminent(mSelf);
                        isSurrounded = true;
                    }
                }
            }
        }
        if (isSurrounded) { mLastSurroundTime = mAge; }
    }
}

Answer 1

我假设lifeTime是在声明时分配的最终字段：

 final int lifeTime = 0x0001;

如果是这样，则按以下方式优化字节码（它与VM几乎没有关系，纯编译器不可思议）：

• 无需真正从内存中获取数据：所需要做的只是加载常量1。
• 但是，如果该字段的所有者恰好为 空，该 怎么办？在这种情况下，必须抛出NullPointerException。为了保证这种行为，编译器发出对getClass（）的调用，因为
  • 实际检查是否为空，构造一个新的NullPointerException实例并将其抛出是 很多 字节代码，
  • 这样的调用在VM中进行了非常优化，
  • 此方法始终可用，
  • 它不需要任何参数。

一个简单的例子：

class Test {
    private final int myFinalField = 1;

    int test(Test t) {
        return t.myFinalField;
    }
}

如果我们看一下test（）方法的字节码（这次是JVM，但是如果您将其转换为Dalvik，则本质上是相同的），这也是对getClass（）的调用：

 // access flags 0x0
  test(LTest;)I
   L0
    LINENUMBER 5 L0

    // load t
    ALOAD 1

    // if (t == null) throw new NullPointerException(); compressed in only two instructions
    INVOKEVIRTUAL java/lang/Object.getClass ()Ljava/lang/Class;
    POP

    // the actual value of myFinalField
    ICONST_1

    IRETURN
   L1
    LOCALVARIABLE this LTest; L0 L1 0
    LOCALVARIABLE t LTest; L0 L1 1
    MAXSTACK = 1
    MAXLOCALS = 2