5

Was testing the behavior of casting, lists, etc. and ran into something that I can not quite figure out. When casting a list into a list that is not of the same type no exception is thrown, nor when using a safe cast does it result in a null. Why is this?

data class Rectangle(val width: Int, val height: Int)
data class Circle(val radius: Int)

fun main(args: Array<String>) {
    val listOfRects: List<Rectangle> = listOf(Rectangle(5,5))

    val listOfUnkown: List<Any?> = listOfRects

    val listOfWrongType: List<Circle> = listOfUnkown as List<Circle>
    // also works, thought should throw null
    // val listOfWrongType: List<Circle>? = listOfUnkown as? List<Circle>

    print(listOfWrongType)
}

Output

Test.kt:9:44: warning: unchecked cast: List<Any?> to List<Circle>
    val listA: List<Circle> = listOfUnkown as List<Circle>
                                           ^
[Rectangle(width=5, height=5)]

I also tried making deep copy of the lists when I was setting them just as a sanity check.

WIllJBD
  • 6,144
  • 3
  • 34
  • 44

1 Answers1

5

In Kotlin, the information about actual type arguments of generic types is erased at runtime, and type arguments thus cannot be checked during casts.

That's exactly what an unchecked cast is and what the warning tells you about. You can do such a cast but you have to accept that there is a possible type mismatch at runtime by suppressing the warning.

See the language reference:

Related Q&A:

hotkey
  • 140,743
  • 39
  • 371
  • 326
  • I suppose then that because they are `data` classes with the default `toString` that is why it can print just fine even if it is the wrong type. But if I try to access something belonging to the specific type than I get an exception? – WIllJBD Jul 19 '19 at 19:41
  • 1
    Yes, if an unchecked cast is made under a wrong assumption of the actual type argument, you will get a `ClassCastException` when the code tries to access an element's type-specific members. – hotkey Jul 19 '19 at 19:43