Inf.jav: Typvariable wird doppelt deklariert #90

New Issue

pl · 2022-08-09T07:43:55Z

pl commented

2022-08-09 07:43:55 +00:00

commit: 6fc70db481

Man erhält
javap Inf.class
public class Inf {
public Inf();
public <DDX, DDV, P extends DDX, N extends DDX, DDX extends DDV> void m(N, DDX, P);
}

DDX darf aber vorne nicht stehen, weil "DDX extends DDV" ebenfalls enthalten ist.

commit: 6fc70db481b0a16e4ae2978f045571f5f499fe1c Man erhält javap Inf.class public class Inf { public Inf(); public <DDX, DDV, P extends DDX, N extends DDX, DDX extends DDV> void m(N, DDX, P); } DDX darf aber vorne nicht stehen, weil "DDX extends DDV" ebenfalls enthalten ist.

dholle commented

2022-08-26 14:08:20 +00:00

[targetBytecode]

Ich hab einfach einen weiteren Pass zu eliminateCyclesAndInfima hinzugefügt der diese doppelten bounds rausfiltert. Ich bin mir nicht sicher ob das der richtige Weg ist aber es funktioniert zumindest für diesen Fall.

[targetBytecode] Ich hab einfach einen weiteren Pass zu eliminateCyclesAndInfima hinzugefügt der diese doppelten bounds rausfiltert. Ich bin mir nicht sicher ob das der richtige Weg ist aber es funktioniert zumindest für diesen Fall.

pl commented

2022-09-22 15:46:26 +00:00

Die Lösung begeistert mich nun nicht gerade.

In dem Moment wo Sie einen Upper-Bound für eine Typvariable T generieren,
müssen Sie eben den Contraint T extends Object entfernen. Alle andern
Constraints T extends T1 dürfen Sie aber nicht entfernen.

Die Lösung begeistert mich nun nicht gerade. In dem Moment wo Sie einen Upper-Bound für eine Typvariable T generieren, müssen Sie eben den Contraint T extends Object entfernen. Alle andern Constraints T extends T1 dürfen Sie aber nicht entfernen.

dholle commented

2022-09-22 20:04:14 +00:00

Ich hab es jetzt so geändert, dass T = Object entfernt wird wenn T < E hinzugefügt wird.

pl commented

2022-09-27 13:41:02 +00:00

Das scheint noch nicht so ganz zu funktionieren. Ich habe das Beispiel Inf.jav noch etwas erweitert und bekomme nun Folgendes raus:

public <P extends DEA, DDX, N extends DEA, DEA extends DDY, DEA, DDY extends DDX> void m(N, DEA, P);

DEA extends DDY und DEA extends Object

Das scheint noch nicht so ganz zu funktionieren. Ich habe das Beispiel Inf.jav noch etwas erweitert und bekomme nun Folgendes raus: public <P extends DEA, DDX, N extends DEA, DEA extends DDY, DEA, DDY extends DDX> void m(N, DEA, P); DEA extends DDY und DEA extends Object

pl commented

2022-09-27 13:50:42 +00:00

Der Fehler lässt dich gerade nicht reproduzieren. Versuchen Sie es bitte mal bei sich

Sign in to join this conversation.