【Swift】while文の条件が無視されるのはどういうときか・その対処法

Question

無視される、というのは言い方が違うかもしれませんが、この表現が一番しっくりくるのでご容赦ください。
while文を使っていて気になったことがありましたので質問させていただきます。

理想的なwhile文

var countA = 0
while countA < 3 {
    print("countA: (countA)")
    countA += 1
}

以下がプリントされます。

countA: 0
countA: 1
countA: 2

わからないこと・困ったこと

複雑な処理をwhile文で行いたいため、これを擬似的に表現するため時間に揺らぎを与えて実行すると、条件を無視して無限に処理が続いてしまいます。

import Foundation

let dispatchQueue = DispatchQueue(label: "queue")

var countB = 0
while countB < 3 {
    // 時間遅れに揺らぎ(0.5秒から1.0秒の間）を与える
    let delay = Double.random(in: 0.5...1.0)
    dispatchQueue.asyncAfter(deadline: .now() + delay) {
        print("countB: (countB)")
        countB += 1
    }
}

以下がプリントされます。

countB: 0
countB: 1
countB: 2
countB: 3
// （省略）
countB: 3243
countB: 3244
countB: 3245
countB: 3246
// （止めない限り無限に続く）

順番通りに処理されるので揺らぎが効いているのか？という疑問もありますが。

また、変数checkCountBで0番目が終わったら1番目へ……と行わせるようにすると、上と同じように条件は無視されますが4回目が終わったところで止まります。

import Foundation

let dispatchQueue = DispatchQueue(label: "queue")

var countB = 0
var checkCountB = 0
while countB < 3 {
    if countB == checkCountB {
        checkCountB += 1
        // 時間遅れに揺らぎ(0.5秒から1.0秒の間）を与える
        let delay = Double.random(in: 0.5...1.0)
        dispatchQueue.asyncAfter(deadline: .now() + delay) {
            print("countB: (countB)")
            countB += 1
        }
    }
}

以下がプリントされます。

countB: 0
countB: 1
countB: 2
countB: 3

このように、条件が無視されて処理が続くのはどのようなときなのか、
その対処法などありましたら教えていただきたく思います。

具体的なこと

質問内容は上記で以上なのですが、念のため実際に使っている部分も掲載します。
（ややこしいので読み飛ばしていただいても大丈夫だと思います）

データベースにIDを保存する処理（前回の質問）を、
1人目、1人目が終わったら2人目……と順番にやりたかったので、以下のように書いています。

var planIDsOnDatabase = [String]()    // メンバ変数で定義しています

// ---------- ↓実際の処理 ----------

var everyone = ["sample01", "sample02", "sample03"]
print("everyoneの要素数: (everyone.count)")    // 3
            
var count = 0
var checkCount = 0
            
while count < everyone.count {
                
    if count == checkCount {
        checkCount += 1
        planIDsOnDatabase.removeAll()
                    
        print("count: (count)")
        fetchPlanIDs(accountID: everyone[count], completion: {
            // データベースの予定ID取得後に新たなIDを追加
            self.planIDsOnDatabase.append(planID)
                        
            // 次の処理（データベースに保存）
            self.addPlanIDToDatabase(accountID: everyone[count], newPlanID: planID, completion: {
                // データベースに予定ID保存後、次の人へ
                count += 1
            })
        })
    }
}

条件式while count < everyone.countから、0〜2までの3回実行させたいのですが、意図せず4回目が実行されてしまいエラーになります。

以下のようにプリントされます。

everyoneの要素数: 3
count: 0
count: 1
count: 2
count: 3
Fatal error: Index out of range: file Swift/ContiguousArrayBuffer.swift, line 444
2020-10-12 08:25:30.191834+0900 varmeets[1929:70602] Fatal error: Index out of range: file Swift/ContiguousArrayBuffer.swift, line 444
Message from debugger: The LLDB RPC server has exited unexpectedly. Please file a bug if you have reproducible steps.

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

Xcode 11.6
Swift 5

ここまで読んでくださり、ありがとうございます。
質問に至らぬ点があるかもしれませんが、どうぞよろしくお願いいたします。

Answer 1

条件式は無視されてません。ちゃんとcountB<3だからループが回っています。
以下の理由によりいつまで経っても終わらないように見えるだけです。

asyncAfter()は指定時間に処理をすることを登録しているだけなので
asyncAfter()の実行自体は一瞬で終わります。
このとき、処理を登録しただけでまだcountBの値は変わっていません。
したがってwhileが高速で回り、大量の処理が次々と登録されてしまっています。
結果としていつまで経っても終わらないように見えます。

以下のようにすれば意図通りになるかと思います。

var countB = 0
while countB < 3 {
    let delay = Double.random(in: 0.5...1.0)
    let count = countB
    dispatchQueue.asyncAfter(deadline: .now() + delay) {
        print("countB: (count)")
    }
    countB += 1
}

Comments

[unagimochimochi]

ご回答ありがとうございます。
お返事が遅くなり申し訳ございません。

asyncAfter() 内に countB += 1 を書くと、条件の < 3 になかなか達しないため何度も繰り返し処理が実行されてしまう、ということですね。納得しました。

ただ、もう一点よろしいでしょうか。
後半で記した、
----------------------------------------
import Foundation

let dispatchQueue = DispatchQueue(label: "queue")

var countB = 0

var checkCountB = 0
while countB < 3 {
if countB == checkCountB {
checkCountB += 1
// 時間遅れに揺らぎ(0.5秒から1.0秒の間）を与える
let delay = Double.random(in: 0.5...2.0)
dispatchQueue.asyncAfter(deadline: .now() + delay) {
print("countB: (countB)")
countB += 1
}
}
}
----------------------------------------
上記では4回目（countB: 3）が実行されたり、3回目で止まったりが半々、といった感じです。
こちらも繰り返し処理が高速で何度も行われているというのはわかるのですが、
if countB == checkCountB という条件式のすぐ後に checkCountB += 1を、揺らぎの処理後に countB += 1 を入れているため、if countB == checkCountB{} 内が4回実行される理由がよくわかりません。

また、処理の例を示してくださりとてもありがたいのですが、
そちらを実行すると揺らぎの関係で数字が順番通りに出てきませんよね。
揺らぎがあっても0から2までを確実に順番通りにプリントする方法はあるのでしょうか。

質問の段階でもう少し詳しく書いておくべきでしたが、もしお時間がございましたらご回答いただけると助かります。

とはいえ、丁寧なご回答、本当にありがとうございました！

[ozwk]

スタート
countB=checkCountB=0なのでifに入る
checkCountB=1にしてasyncAfter()が走る
countB=0, checkCountB=1なのでしばらくifに入らない
ゆらぎ時間後、asyncAfter()で予約された処理が走る、countB=1
ifに入る

...

ゆらぎ時間後、asyncAfter()で予約された処理が走る、countB=3
処理が走ったタイミングが、whileの条件判断後でifの条件判断前だとifに入る、= 4回目が走る
それ以外だと3回で終わる

[ozwk]

ゆらぎ時間内に3回処理を行いたいのか
ゆらぎ時間後に1回、それが終わったらゆらぎ時間後に1回、それが終わったらゆらぎ時間後に1回なのか
どっちですか?

[unagimochimochi]

ありがとうございます。whileとifの間でcountBの値が変わると4回目が行われてしまうということで、しっかり理解できました。

やりたいことは後者のゆらぎ時間後に1回、それが終わったらゆらぎ時間後に1回、それが終わったらゆらぎ時間後に1回です。
これを必ず3回で終わるようにしたいです。
お手数ですが、お時間ございましたらどうぞよろしくお願いいたします。

[unagimochimochi]

whileが高速で回るので合理的ではないかもしれませんが、
if countB == checkCountB && checkCountB < 3　とすればいけました。

質問タイトルとずれてしまいますが、for文で配列のindex番号を指定する方法でもやりたいことは実現できそうです。

ご回答ありがとうございました！