Subtyping Problem bei Konstruktoren #302

New Issue

i21023 · 2024-03-22T15:15:57Z

i21023 commented

2024-03-22 15:15:57 +00:00

Beim Aufruf von Konstruktoren scheint es ein Problem mit Subtypen zu geben.

Beispiel:

import java.util.ArrayList;
import java.util.List;
import java.lang.Integer;

class Foo{

    public Foo(List<Integer> a){}

    static bar(){
        new Foo(new ArrayList<Integer>());
    }
}

Dieser Code kompiliert, führt aber zu einem Laufzeitfehler, da der Konstruktor mit dem Typ ArrayList statt List aufgerufen wird. Da es diesen Konstruktor nicht gibt wirft die JVM einen NoSuchMethodError.

11: invokespecial #20                 // Method "<init>":(Ljava/util/ArrayList;)V

Auszug aus dem Bytecode der Methode static bar();

Dieses Problem scheint allerdings lediglich bei Konstruktoren aufzutreten, bei Methoden funktioniert der Aufruf mit Subtypen wie erwartet.

import java.util.ArrayList;
import java.util.List;
import java.lang.Integer;

class Foo{

    public foo(List<Integer> a){}

    static bar(){
        new Foo().foo(new ArrayList<Integer>());
    }
}

Hier wird die Methode foo korrekt mit dem Typ List aufgerufen.

14: invokevirtual #21                 // Method foo:(Ljava/util/List;)V

Beim Aufruf von Konstruktoren scheint es ein Problem mit Subtypen zu geben. **Beispiel:** ```java import java.util.ArrayList; import java.util.List; import java.lang.Integer; class Foo{ public Foo(List<Integer> a){} static bar(){ new Foo(new ArrayList<Integer>()); } } ``` Dieser Code kompiliert, führt aber zu einem Laufzeitfehler, da der Konstruktor mit dem Typ `ArrayList` statt `List` aufgerufen wird. Da es diesen Konstruktor nicht gibt wirft die JVM einen `NoSuchMethodError`. ``` 11: invokespecial #20 // Method "<init>":(Ljava/util/ArrayList;)V ``` *Auszug aus dem Bytecode der Methode `static bar();`* Dieses Problem scheint allerdings lediglich bei Konstruktoren aufzutreten, bei Methoden funktioniert der Aufruf mit Subtypen wie erwartet. ```java import java.util.ArrayList; import java.util.List; import java.lang.Integer; class Foo{ public foo(List<Integer> a){} static bar(){ new Foo().foo(new ArrayList<Integer>()); } } ``` Hier wird die Methode `foo` korrekt mit dem Typ `List` aufgerufen. ``` 14: invokevirtual #21 // Method foo:(Ljava/util/List;)V ```

dholle referenced this issue from a commit

2024-03-25 13:49:25 +00:00

Fix #302

dholle closed this issue

2024-03-25 13:49:25 +00:00

Sign in to join this conversation.