Kotlin: Modyfikowanie (niezmienna) Lista przez obsadę, czy jest legalna?

Question

Jak wiemy, lista w Kotlin jest niezmienna, tzn. Nie można dodawać i usuwać, jak poniżej.

class TempClass { 
    var myList: List<Int>? = null 
    fun doSomething() { 
     myList = ArrayList<Int>() 
     myList!!.add(10) 
     myList!!.remove(10) 
    } 
} 

Ale jeśli rzucimy go do ArrayList jak poniżej, dodawanie i usuwanie działa.

class TempClass { 
    var myList: List<Int>? = null 
    fun doSomething() { 
     myList = ArrayList<Int>() 
     (myList!! as ArrayList).add(10) 
     (myList!! as ArrayList).remove(10) 
    } 
} 

Po prostu pomyślałem, że to dziwne, ponieważ myList jest naprawdę listą, która ma być niezmienna. I rzucając, pozwólcie mu się zmienić.

Czy to, co zostało zrobione powyżej (odlewanie do Array i modyfikowanie treści), jest uzasadnione, czy też język musi zostać poprawiony, aby temu zapobiec?

Answer 1

Istnieje kilka różnych rodzajów niezmienności:

Jednym z nich jest wymienione z oddzielną SO odpowiedzieć here.

Readonly - NIE MUSISZ go zmieniać (Lista Kotlina), ale coś może (odrzucić do Mutable lub zmienić z Javy).

List jest tylko interfejs, który nie posiada mutację metod, ale można zmienić instancję jeśli oddanych do MutableList.

Ktoś następnie komentuje, że Kotlin zdecydował się być tylko do odczytu w celu bezpośredniego korzystania z kolekcji Java, więc nie ma żadnych kosztów ogólnych lub konwersji w korzystaniu z kolekcji Java.

Lista Kotlin jest tylko do odczytu, a nie niezmienna. Inne osoby dzwoniące (na przykład Java) mogą zmienić listę. Rozmówcy Kotlin mogą rzucić listę i ją zmienić. Nie ma niezmiennej ochrony.

Original Source: Kotlin and Immutable Collections?

Answer 2

Czy to zgodne z prawem? No tak. Istnieją przypadki, w których miałoby to sens.

Czy to dobry pomysł? Myślę, że nie, zwłaszcza jeśli chodzi o przesyłanie listy, która została zwrócona przez jakąś bibliotekę zewnętrzną. Odlewanie nie powiedzie się, jeśli ktoś faktycznie przedstawi ci niektóre implementacje, które naprawdę są niezmienne i nie implementują MutableList. Fakt, że w tej chwili (Kotlin 1.0.2), wszystkie wersje Lists Kotlina są również MutableList s nie oznacza, że ​​każdy List, który kiedykolwiek zobaczysz w swoim kodzie, jest również MutableList.

Answer 3

Teraz jeśli używasz listOf() dostaniesz listę wszystkich metod, które zmutować listy, rzucając java.lang.UnsupportedOperationException:

val list = listOf(1, 2) 

val mlist = list as MutableList 

mlist.add(3) 

To rzuca:

Exception in thread "main" java.lang.UnsupportedOperationException 
     at java.util.AbstractList.add(AbstractList.java:148)