Path: csiph.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Christian H. Kuhn" <qno-news@qno.de>
Newsgroups: de.comp.lang.java
Subject: Re: Generics und Wildcards
Date: Wed, 21 Aug 2019 21:17:07 +0200
Lines: 65
Message-ID: <gs5jllF3ug4U1@mid.individual.net>
References: <gs4mcmFsqvfU1@mid.individual.net> <qjjvpo$5lj$1@newsreader4.netcologne.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Trace: individual.net z8UNaahfr3ZZ4RLFYzfDIQXMOpLFhv56YOm0k+q+gWAKeW9Qg=
Cancel-Lock: sha1:CqVH4Yck+22l41LCthgqrZucUMk=
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0
In-Reply-To: <qjjvpo$5lj$1@newsreader4.netcologne.de>
Xref: csiph.com de.comp.lang.java:13270

Am 21.08.2019 um 19:42 schrieb Patrick Roemer:
> Responding to Christian H. Kuhn:
> 
>> Als wird LSElement<T> in LSNote<LSElement<?>> verpackt.
> 
> Ich verstehe schon nicht, warum hier zwingend ein Wildcard ins Spiel
> kommen soll...

Was wäre denn die Alternative?

> Versuch mal, das Problem auf ein minimales, zusammenhängendes
> Codebeispiel zu reduzieren, das die Implementierung möglichst weglässt
> und sich nur auf die API und die Aufrufe konzentriert.
> 

public interface LSElement<T> {
    List<T> findLegalMoves();
    LSElement<T> executeMove(T move);
}


public class LSNode<E extends LSElement<?>> {
    private E element;
    public LSNode<E>(final E element) {
	this.element = element;
    }
    public E getElement() {
        return this.element;
    }
}

public class LSGraph<E extends LSElement<?>> {
    public void findShortestPath(final E startNode, final E destNode){
        List<?> moves = startNode.getElement().findLegalMoves();
	fspHelper(moves, startNode);
    }
    private <M> fspHelper(final List<M> moves, final E startNode) {
        for (final M move : moves) {
            // Hier ist das Problem: executeMove mag nicht mit M.
            LSNode<E> newNode = new
LSNode<E>(startNode.getElement().executeMove(move));
        }
    }
}

Das müsste bis auf den einen Fehler kompilierbar sein, nichts
überflüssiges enthalten, und alles, was noch dazukommt, macht erst
später Probleme ;-)

Man sollte öfter Auto fahren, das macht den Kopf frei. Die Generics
sollen sicherstellen, dass auf einem implementierten LSElement nur Züge
vom richtigen Typ ausgeführt werden können. Das geht auch mit Object,
Cast und Check. Und dass im LSGraph alle LSNodes den gleichen Typ
LSElement beinhalten. Der Client übergibt Start- und Zielnode, das lässt
sich checken, ob die vom gleichen Typ sind. Alle anderen LSElement
werden von einer Methode des jeweiligen Typs geliefert; wenn die den
falschen Typ haben, war halt der Programmierer ein Idiot. Und auch das
ließe sich checken, das geht mir dann aber langsam zu sehr auf die
Performance. Und schließlich muss ich noch mit defensive copies dafür
sorgen, dass mir da kein LSNode oder LSElement nach den Checks unter der
Hand ausgetauscht wird. Dann habe ich alles, was ich benötige, und das
einzige, was fehlt, ist der Lerneffekt ;-)

TIA
QNo