kotlinの繰り返し処理でuntilを使いたい

Question

untilを使った繰り返しを実行できるようにしたい。

前提

短いコードです。可変のリストを作り、for文で回しながら、中身が文字列の２だった場合に、そのインデックスの要素をリストから消去するといったことをしたいです。

この場合、lsit.sizeは３です。untilを使って、０から３未満まで回しているので、インデックスも0,1,2となるはずです。サイズが３なので何も問題はないように思えてしまいます。しかしインデックスを超えているというエラーが出ます。これはどうしてでしょうか。

発生している問題・エラーメッセージ

Exception in thread "main" java.lang.IndexOutOfBoundsException: Index 2 out of bounds for length 2
	at java.base/jdk.internal.util.Preconditions.outOfBounds(Preconditions.java:100)
	at java.base/jdk.internal.util.Preconditions.outOfBoundsCheckIndex(Preconditions.java:106)
	at java.base/jdk.internal.util.Preconditions.checkIndex(Preconditions.java:302)
	at java.base/java.util.Objects.checkIndex(Objects.java:385)
	at java.base/java.util.ArrayList.get(ArrayList.java:427)
	at MainKt.main(Main.kt:6)
	at MainKt.main(Main.kt)

該当のソースコード

fun main() {
    val list: MutableList<String> = mutableListOf("1", "2", "3")


    for (i in 0 until list.size) {
        if (list[i] == "2") {
            list.removeAt(i)
        }
    }
    println(list)
}

試したこと

list.size-1にすると正常に動きました。しかしどうしてそうなるのかが理解できません。

補足情報（FW/ツールのバージョンなど）

ここにより詳細な情報を記載してください。

Comments

[episteme]

list.size は 3 だから i = 0, 1, 2, 3 となり、list[3] でコケるのでは?
[追記] そうじゃなかった...

[tera877]

やはりそうですよね。今画像を添付したのですが、InteliJでUntilの部分を見ると、list.sizeが＜記号で書かれており、3は含まれないという意味だと思うのですが、どこか私の解釈が間違っているのでしょうか

[episteme]

kotlinよう知らんのですが、loop内で i をプリントして挙動を観察してはいかが?

[tera877]

また、removeを使わずに、普通に0 until list.sizeをやって出力するとエラーになりません。一応untilの最後に３は含まれていないと思います。もしかしたらremoveが原因かもしれません。

[1T2R3M4]

remove した時点でlistが[1,3]となってる状態で
list[2]にアクセスしに行くからでは。

[jimbe]

想像ですが、 until 関数の評価が(ループ毎では無く)最初だけで、 for の開始時点で i は 0～2 の値を取ることは確定し、 removeAt をしたら list[2] は list[1] に移動するので list[2] は無くなりますが i=2 のループも行ってしまう為に list[i] で例外になるのでしょう。

[episteme]

removeAt のついでに i を-1 できるなら解決かな?
(kotlinでloop変数を書き換えることができるのかしらんけど)

[jimbe]

>i を-1
i はインデックスでは無くて 0 until list.size の集合の要素です。

[episteme]

until 関数の評価がループのたびに行われたとしても、
removeAtされた直後の要素はskipされるので正しい動作は望めませんよね。

[episteme]

> i はインデックスでは無くて 0 until list.size の集合の要素です。
あー、pythonの range(list.size) と同じってことか。

[shiketa]

IntRange型ですね。 https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.ranges/-int-range/

$ kotlinc
>>> val list: List<String> = listOf("1", "2", "3")
>>> 0 until list.size
res: kotlin.ranges.IntRange = 0..2

>>> (0 until list.size).toList()
res: kotlin.collections.List<kotlin.Int> = [0, 1, 2]

Answer 1

for (i in 0 until list.size) {
   if (list[i] == "2") {
      list.removeAt(i) // removeAtで要素が削除されると list.size が変化する(ひとつ少なくなる)
   }
}

Answer 2

i=1の要素を消したときにリストの要素が2つに減りますので、
i=2の要素にアクセスするときには範囲外になります

Comments

[tera877]

リストの要素１を消去した時点で、要素２は１のところに自動的に詰められないのでしょうか。リスト１を消去した後で１にアクセスしようとするためにエラーになるというのはわかったのですが、解決策が見つかりません。助言をいただけないでしょうか

[ozwk]

一般には別のリストに要素を足していって、ループを抜けたら元のリスト変数に代入したり、
そもそもループじゃなくてfilterなどリスト操作関数を使って元のリスト変数に代入とかします。

[ozwk]

> リスト１を消去した後で１にアクセスしようとするためにエラーになる

いいえ、リストの1番目の要素を消去した後で、リストの2番目(詰めたから存在しない)にアクセスしようとしてエラーになっています

[jimbe]

while 等で書けば良いのでは。

[episteme]

0からlist.size-1方向(増加)に じゃなくて list.size-1から0方向(減少)に listを走査してはいかが?

[jimbe]

>list.size-1から0方向(減少)

グットを送りたいです