Instancier une classe Java concrète qui utilise des génériques récursifs dans Kotlin

Question

Puis-je instancier une classe Java concrète qui utilise des génériques récursifs dans Kotlin, si oui, comment?

Détails

Je suis en train de instancier une classe Java qui utilise génériques récursives similaire à l'exemple ci-dessous. J'ai trouvé un moyen de contourner la classe Java dans une nouvelle classe, mais j'ai l'impression de contourner un problème que je devrais pouvoir gérer directement.

classe Java avec récursif Generics

public class MyLegacyClass<T extends MyLegacyClass<T>> { 
    // implementation ... 
} 

Comment il est instancié en Java

// In Java we just ignore the generic type... 
MyLegacyClass myLegacyClass = new MyLegacyClass(); 

tentatives ratées de instancier dans Kotlin

class myClass { 
    // Error: One type argument expected for class... 
    val x: MyLegacyClass = MyLegacyClass() 

    // Still 'Error: One type argument expected for class..' You start to see the problem here. 
    val y: MyLegacyClass<MyLegacyClass<MyLegacyClass<MyLegacyClass>>> = MyLegacyClass() 
} 

Kotlin solution

class MyLegacyClassWrapper : MyLegacyClass<MyLegacyClassWrapper>() 

class myClass { 
    val x: MyLegacyClass<MyLegacyClassWrapper> = MyLegacyClassWrapper() 
} 

Answer 1

Puis-je instancier une classe concrète de Java qui utilise des génériques récursifs dans Kotlin? si oui alors comment?

Non, vous ne pouvez pas. Le problème est lié à la variance.

Cette classe Java:

public class MyLegacyClass<T extends MyLegacyClass<T>> {} 

est égal à cette classe Kotlin:

class MyLegacyClass<T : MyLegacyClass<T>> 

qui est invariant dans son paramètre T. Vous auriez besoin au lieu d'un type covariant , donc, dans ce cas:

class MyLegacyClass<out T : MyLegacyClass<T>> 

Mais vous ne pouvez pas le faire sans créer une nouvelle classe Kotlin en raison de l'interopérabilité Java.

Je voudrais déplacer la classe MyLegacyClass à covariant Kotlin dans son paramètre T si possible, sinon, votre approche est correcte.