Jak pokonać problem z typem wymazania dla implementacji gościa

Question

Zaczynam pracować z Javą po niektórych projektach w C# i C++.

chciałem projektować interfejsy gości tak:

public interface ActionVisitor<A> { 
    void visitAction(A action);  
} 

public interface MySmallActionVisitor 
extends ActionVisitor<ActionA>, 
    ActionVisitor<ActionB> 
{ 

} 

public interface MyFullActionVisitor 
extends ActionVisitor<ActionA>, 
    ActionVisitor<ActionB>,ActionVisitor<ActionC>,ActionVisitor<ActionD> //.... 
{ 

} 

Oczywiście to nie działa, ponieważ typu skasowaniem. (Powodem, dlaczego chcę coś takiego jest, że będę mieć różne interfejsy odwiedzających dla różnych grup działania, które można zwiedzać.)

Jedynym rozwiązaniem, które przychodzi mi na myśl to zadeklarować interfejsów

public interface ActionAVisitor { 
     void visitAction(ActionA action);  
    } 
public interface ActionBVisitor { 
     void visitAction(ActionB action);  
    } 
//... 

a następnie

public interface MySmallActionVisitor 
extends ActionAVisitor, ActionBVisitor 
{ 

} 

to będzie działać, ale nie chciałbym deklarację wszystkich ActionXVisitor interfejsy, które jest głupie powtórzeń i wiele plików ...

Czy masz jakieś pomysły, jak to zrobić lepiej?

Wielkie dzięki!

Answer 1

pracuję z dużym i złożonym biblioteki w Javie, które intensywnie używa odwiedzający w bardzo czysty i schludny sposób. W szczególności natknąłem się na ten sam problem z wymazaniem typu i jest on teraz rozwiązany.

Jeśli masz szansę, zapoznaj się z an article I've written about this.

To długi artykuł, który wyjaśnia szczegółowo, czym jest koncept Visitor, a na końcu artykułu omawiany jest przykład życia, który obejmuje polimorfizm i wymazywanie typu.

Pozdrawiam

Answer 2

Korzystałbym z pojedynczego nieparametrycznego interfejsu użytkownika, a następnie w metodzie odwiedzającej, należy wykonać wysyłkę na podstawie typu.

Answer 3

Nie ma sposobu na uniknięcie wystąpienia metody wewnątrz metody. Ale można uczynić go bardziej wdzięczne:

public interface MarkerInterface{} 

public interface ActionVisitor<T extends MarkerInterface> { 
void visitAction(T action);} 

public class A implements MarkerInterface{} 

public class B implements MarkerInterface{} 

public class MySmallActionVisitor implements ActionVisitor<MarkerInterface>{ 

@Override 
public void visitAction(MarkerInterface action) { 
    if(action instanceof A){ 

    } 
    else if(action instanceof B){ 

    } 
} 

}