Conventionalizing stride semantics

この提案は Withdrawn（取り下げ） となりました。ここで示されたリネームや新しいスタイルの追加は Swift に入っていません。以下では「もし採択されていたら何がどう変わるはずだったか」を整理します。

既存 2 種類のリネームと、3 種類目の追加

提案の骨子は、既存の 2 つのスタイルに対する名前を付け直し、さらに新しいスタイルを 1 つ足すというものでした。

• 旧 to（[start, end)）→ towards にリネーム。各要素が終端に向かって「近づいていく」ことを表します。
• 旧 through（[start, end]）→ to にリネーム。終端に「到達しうる」ことを表します（ただし刻み幅によっては一致しない場合もあります）。
• 新 through（[start, ≥end]）を追加。最終値が終端と一致するか、終端を越えて止まる、つまり終端を 通り抜ける ことを保証します。

対応する呼び出しは次のイメージです。

Array(1.stride(towards: 10, by: 8))   // 旧 to 相当
// [1, 9]

Array(1.stride(to: 10, by: 8))        // 旧 through 相当
// [1, 9]

Array(1.stride(through: 10, by: 8))   // 新しい through
// [1, 9, 17]   ← 10 を通り抜けて止まる

既存の 2 スタイルについては、挙動そのものは一切変えず、名前だけを付け替えるという整理でした。

新しい through の止まり方

新 through では、内部のイテレータが「現在値が終端を超えた時点の値を最後に 1 つ返してから止まる」動作をします。提案に示されたスケッチは次のような形です（コード中の識別子はバッククォートなしで表記します）。

public mutating func next() -> Element? {
    if done {
        return nil
    }
    if stride > 0 ? current >= end : current <= end {
        done = true
        return current
    }
    let result = current
    current = current.advancedBy(stride)
    return result
}

刻み幅が正なら「current が end 以上になった時点で最後に一つ返す」、負なら「current が end 以下になった時点で最後に一つ返す」という対称的な形です。結果として最終値は必ず end 以上（刻み幅が負なら以下）、かつ end + stride 未満に収まります。

浮動小数点への副次的な効果

新 through は、浮動小数点ストライドで問題になっていた「最後の値が終端に届かない」現象への回避策としても働く想定でした。累積誤差で最終値がわずかに終端を下回ってしまう場合でも、新 through なら「終端を通り抜けるまで」回すため、終端付近の値が確実に含まれます。

// 新 through での挙動（提案採択後を想定）
Array(1.0.stride(through: 2.0, by: 0.1))
// [1.0, 1.1, 1.2, ... , 1.9, 2.0]

Array(1.0.stride(through: 1.9, by: 0.25))
// [1.0, 1.25, 1.5, 1.75, 2.0]   ← 1.9 を通り抜けて止まる

ただしこれは浮動小数点の累積誤差そのものを解決するものではなく、あくまで「終端を取りこぼさない」ための仕組みです。累積誤差自体は別の問題で、SE-0050 で扱われていました。

現在の Swift での立ち位置

この提案は取り下げられ、to / through のリネームも、新しい through の意味づけも Swift には導入されませんでした。現在の Swift における stride(to:by:) / stride(through:by:) は、名前もふるまいも Swift 2.2 当時と同じ [start, end) / [start, end] のままです。「終端を必ず通り抜ける」ストライドが必要な場合は、現状では呼び出し側で end を刻み幅ぶん広げるか、明示的にループを書いて対応する必要があります。あくまで「ストライドの名前と意味のずれをどう整理しようとしていたか」を知るための歴史的な提案として位置づけられます。