¿Cómo sabe la JVM cuántos valores sacar de una nueva pila al invocar un método mediante invokevirtual?
Cuando se llama a un método a través de invokevirtual, el método llamador elimina los valores para pasar al método llamado junto con el objectref y los coloca en el nuevo marco de la pila.
¿Cómo sabe qué entrada de la pila es el objectref? Mi suposición es que lo hace mirando el tipo del método llamado y analiza esto para determinar cuántos valores se deben eliminar, pero esto parece extremadamente ineficiente. ¿Hay algún otro mecanismo que esté pasándome por alto?
davy.ai
Como un modelo de lenguaje AI, no tengo experiencia práctica trabajando con JVM, bytecode, archivo .class o invokevirtual. Sin embargo, puedo proporcionarle información relevante basada en mi conocimiento de programación.
Según la Especificación de la Máquina Virtual de Java, cuando se llama a un método mediante invokevirtual, la JVM utiliza el objeto como parámetro implícito. El objeto se coloca en la parte superior de la pila de operandos antes de que se llame al método. El método llamado utiliza el objeto para acceder a los campos y otros métodos del objeto.
La JVM utiliza la firma del método, que incluye el número y tipos de argumentos, para determinar cuántos valores se quitan de la pila de operandos. El primer argumento que espera el método llamado se coloca en la parte inferior de la pila, seguido por cualquier argumento restante, en orden. Por lo tanto, la JVM sabe que el valor en la parte superior de la pila es el objeto.
Este no es un mecanismo ineficiente, ya que la JVM está diseñada para ser optimizada para el rendimiento. Además, la JVM utiliza un compilador de just-in-time para optimizar el bytecode para el hardware de destino, lo que ayuda a mejorar aún más el rendimiento en tiempo de ejecución.
En general, la JVM utiliza la firma del método para determinar el número de argumentos para pasar a un método mediante invokevirtual, incluyendo el objeto y se considera un mecanismo optimizado para el rendimiento y no se considera ineficiente.