sobrecarga de método Java + envío doble

Question

¿Alguien puede explicar en detalle el motivo por el que se invoca el método print(Parent parent) sobrecargado cuando se trabaja con la instancia Child en el fragmento de código de prueba?

¿Alguna de las peculiaridades de los métodos virtuales o la sobrecarga/resolución de métodos en Java involucrados aquí? ¿Alguna referencia directa a Java Lang Spec? ¿Qué término describe este comportamiento? Muchas gracias.

public class InheritancePlay { 

    public static class Parent {   
     public void doJob(Worker worker) { 
      System.out.println("this is " + this.getClass().getName()); 

      worker.print(this); 
     } 
    } 

    public static class Child extends Parent { 
    } 

    public static class Worker { 
     public void print(Parent parent) { 
      System.out.println("Why this method resolution happens?"); 
     } 

     public void print(Child child) { 
      System.out.println("This is not called"); 
     } 
    } 

    public static void main(String[] args) { 
     Child child = new Child(); 
     Worker worker = new Worker(); 

     child.doJob(worker); 
    } 
} 

Answer 1

Los estados JLS en §8.4.9 Overloading:

1. Cuando se invoca un método (§15.12), el número de argumentos reales (y cualquier argumentos de tipo explícitas) y los tipos de tiempo de compilación de los argumentos están utilizado, en tiempo de compilación, para determinar la firma del método que se invocará (§15.12.2).
2. Si el método que se va a invocar es un método de instancia, el método real que se invocará se determinará en tiempo de ejecución, utilizando la búsqueda dinámica de métodos (§15.12.4).

Así, en su caso:

1. El argumento de un método (this) es de tipo en tiempo de compilación Parent, y así se invoca el método print(Parent).
2. Si se subclasó la clase Worker y la subclase anularía ese método, y la instancia worker pertenecía a esa subclase, se invocaría el método reemplazado.

Double dispatch no existe en Java. Tienes que simularlo, p. usando el Visitor Pattern. En este patrón, básicamente, cada subclase implementa un método accept y llama al visitante con this como argumento, y this tiene como tipo de tiempo de compilación esa subclase, por lo que se utiliza la sobrecarga de método deseada.

Answer 2

La razón es que doJob se implementa en Parent y no sobrecargada en Child. Pasa this al print methos del trabajador, porque this es del tipo Parent se llamará al método Worker::print(Parent).

el fin de tener Worker::print(Parent) que llama needto sobrecarga doJob en Child:

public static class Child extends Parent { 
    public void doJob(Worker worker) { 
     System.out.println("from Child: this is " + this.getClass().getName()); 

     worker.print(this); 
    } 
} 

En el código anterior this.getClass() en Child es equivalente a Child.class.