Orden de bytes de Java Byte y parámetros en la pila

Question

En bytecode java, ¿por qué el receptor se inserta primero en la pila seguido de todos los parámetros? Me parece recordar que es algo relacionado con la eficiencia.

Esto es válido tanto para las llamadas al método como para los campos de configuración.

método de llamada de

class X { 

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

} 

método Main compila a:

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

Colocando un campo:

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

} 

método Main compila a:

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

Answer 1

Siendo empujado primero tiene la ventaja de que el método

• El destino puede utilizar el más denso "aload0" código de bytes (más pequeño que si fuera mucho más tarde en la lista de parámetros y tuvo que usar una versión paramétrica de el código de bytes aload. Debido a que "esto" a menudo se referencia en métodos para el acceso de campo y método, conduce a una mejora de densidad de código real.
• Uno a menudo envía envíos de métodos en cascada como "foo.bar(). baz()" Cuando bar() regresa, , el futuro "this" para .baz() ya está mágicamente en el lugar correcto en el apila si arreglas las cosas como se hizo en Java.

Answer 2

¿Estás preguntando por qué se empuja en absoluto? En ambos casos, estás accediendo a algo que pertenece a una instancia de la clase, por lo que this tiene que ser parte de ese proceso.

¿Estás preguntando por qué se empuja primero? Sólo la convención de Java. Supongo que es conveniente tener siempre this primero, independientemente de las muchas cosas que podrían seguir.