java - スタック上の this およびパラメーターの Java Byte Code 順序付け

Question

Javaバイトコードでは、レシーバーが最初にスタックにプッシュされ、その後にすべてのパラメーターがプッシュされるのはなぜですか? 効率と関係があることを覚えているようです。

これは、メソッド呼び出しと設定フィールドの両方に当てはまります。

メソッド呼び出し

class X {

    int p(int a) {
        //Do something
    }
    int main() {
        int ret = p(1);
    }

}

Main メソッドは次のようにコンパイルされます。

aload_0 // Load this onto the stack
iconst_1 // Load constant 1 onto the stack
invokevirtual <int p(int)> from class X

フィールドの設定:

class X {
    int x;
    int main() {
        x = 1;
    }

}

Main メソッドは次のようにコンパイルされます。

aload_0 // Load this onto the stack
iconst_1 // Load constant 1 onto the stack
putfield <int x> from class X

score 1 · Accepted Answer

最初にプッシュされることには、次のような利点があります。

ターゲットメソッドは、より密度の高い「aload0」バイトコードを使用できます (パラメーターリストのずっと後ろにあり、aload バイトコードのパラメトリックバージョンを使用する必要がある場合よりも小さいです。「this」は、フィールドアクセスとメソッドアクセスの両方のメソッドで参照されることが多いためです)。、実際のコード密度の向上につながります。
「foo.bar().baz()」のようにカスケードメソッド送信を行うことがよくあります。bar() が返されたとき、Java で行われたように配置すると、.baz() の将来の「this」は魔法のようにスタックの適切な場所に既に配置されています。

score 1 · Accepted Answer

なぜプッシュされたのかと尋ねていますか？どちらの場合も、クラスのインスタンスに属するものにアクセスしているためthis、そのプロセスの一部である必要があります。

なぜそれが最初にプッシュされるのか尋ねていますか？ただのJava規約。this後に続く可能性のある多くのことに関係なく、常に最初に持っていると便利だと思います。

2 に答える 2