Qual è il tipo statico di `this` nelle interfacce predefinite di Java 8?

Question

Sto implementando il modello di visitatore per un progetto e ho realizzato che potrei essere in grado di salvare un po 'digitando l'implementazione predefinita di accettare come segue.

public interface Visitable { 
    default public void accept(Visitor v) { 
     v.visit(this); 
    } 
} 

Tuttavia, se il tipo statico di this risolve a visitabile questa implementazione non funziona quindi qual è il tipo statico di this in questa situazione?

Answer 1

Poiché, nel proprio contesto, this viene utilizzato come tipo di parametro, la chiamata verrà risolta in Visitor#visit(Visitable) in fase di compilazione e di runtime. Pertanto, non ottieni nulla dal provare a creare un metodo predefinito in questo scenario.

L'unica volta this può essere utilizzato polimorfico è quando lo si utilizza come il ricevitore:

public interface Foo 
{ 
    public default void bar() 
    { 
     this.bar(1); 
    } 

    public void bar(int i); 
} 

Answer 2

È possibile calcolare questo fuori da esperimento:

public interface Visitable { 
    default public void accept(Visitor v) { 
     v.visit(this); 
    } 
} 

public class Vis1 implements Visitable { 

} 

public class Visitor { 
    public void visit(Visitable v) { 
     System.out.println("Am visiting a generic Visitable"); 
    } 

    public void visit(Vis1 v) { 
     System.out.println("Am visiting a Vis1"); 
    } 
} 

public class Main { 
    public static void main(String[] args) { 
     Visitor v = new Visitor(); 
     Vis1 v1 = new Vis1(); 
     v1.accept(v); 
    } 
} 

Le uscite di cui sopra Am visiting a generic Visitable