JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues100 Pull Requests Actions Packages Projects Releases Wiki Activity

Subtyping Problem bei Konstruktoren #302

New Issue
Closed
opened 2024-03-22 15:15:57 +00:00 by jschmidt · 0 comments
jschmidt commented 2024-03-22 15:15:57 +00:00
Collaborator

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
Sign in to join this conversation.
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: JavaTX/JavaCompilerCore#302
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?