0
411
Views¿Es posible proporcionar una restricción de tipo genérico a una Lista en Kotlin?
interface Conditional{ fun isEligible(): Boolean } class Super() class A(): Super(), Conditional class B(): Super() Me gustaría crear una lista que solo contenga subclases Super que hayan implementado una interfaz Conditional . (Solo para ayudarme con algunas comprobaciones de tipos estáticos en tiempo de compilación)
El compilador me permitiría crear esto:
val conditionals: List<Super : Conditional> = listOf(A())
Pero no me permitiría crear esto:
val conditionals: List<Super : Conditional> = listOf(A(), B())
Entiendo que puede usar genéricos con clases y declaraciones de funciones, pero ¿qué hay de las declaraciones de valores?
EDITAR Intenté lo siguiente, pero la inferencia de tipo no funciona bien, parece que tendría que hacer la transmisión a una interfaz específica 
1 answers
Answer question0
Desafortunadamente, los tipos de intersección aún no son identificables en el código Kotlin (ver KT-13108 ).
Sin embargo, son compatibles internamente con el compilador, por lo que puede salirse con la suya con algunas construcciones genéricas en algunos casos.
Una opción es usar una listOf personalizada específicamente para estos tipos:
fun <T> listOfConditionalSuper(vararg elements: T): List<T> where T: Super, T: Conditional = listOf(*elements) Obtendrá la inferencia de tipo adecuada entonces: 