月: 2020年2月

Future<T> class

時間のかかる計算を表現するオブジェクト

Futureクラスは未来のある時点で利用できる可能性のある潜在的な値、あるいはエラーを表現します。Futureインスタンスを受け取る変数などは利用可能になった時に値、あるいはエラーを扱うコールバック関数を登録することができます。例えば、

「値、あるいはエラーを利用可能になった時」とは、非同期処理が完了した時。

Future<int> future = getFuture();
future.then((value) => handleValue(value))
      .catchError((error) => handleError(error));

Futureインスタンスは二つの方法で完了(completed)することができます。

• futureが成功する場合(値と共に完了する。)
• futureが失敗する場合(エラーと共に完了する。)

上記二つのケースそれぞれにコールバックを登録することができます。(成功した時の処理、失敗した時の処理を登録できる、ということ。)

時に、「futureが、他のfutureと共に完了する」と表現するケースもあります。

 

 

 

 

 

 

参考

https://api.dart.dev/stable/2.7.1/dart-async/Future-class.html

…

While Loops

whileループは条件式がfalseになるまでstatementsを実行する制御です。イテレーションが始まる前にイテレーションの回数がわからないような場合にwhileループを使用するのが適しています。Swiftは二つの種類のwhileループを提供します。

• while文はループの最初に条件式を評価します。
• repeat-while文はループの終わりに条件式を評価します。

while文

whileループは一つの条件式をループの最初に評価します。条件式がtrueと評価された場合、条件式がfalseと評価されるまで実行文が繰り返し実行されます。

while condition {
    statements
}

下のサンプルはシンプルなゲーム「Snakes and Ladders(へびとはしご)」です。

 

ルールは以下の通りです。

ボードには25のマスがあります。ゲームの目的(ゴール)は25マス目に到達、あるいは25マス目を超えることです。

• スタート地点は「0マス目」であり、ボードの外にあります。
• それぞれのターンで六面のサイコロを振り、図で示す道順に従いサイコロの結果の数だけ進みます。
• 進んだ先にはしごの下端があれば、はしごを登ってはしごの上端まで進めます。
• 進んだ先にへびの頭があれば、へびに食われてへびの尻尾まで戻されます。

ゲームのボードはInt型の配列で表現されます。ゲームボードのサイズは定数finalSquareの値に基づきます。ボードを表現する配列boardのイニシャライズにfinalSquareが使用されます。またこの後登場する勝利条件の判定にもfinalSquareが使用されます。配列boardは、プレーヤーのスタート地点も含めて全部で26(25ではなくて)のInt型の値0でイニシャライズされます。

let finalSquare = 25
var board = [Int](repeating: 0, count: finalSquare + 1)

いくつかのマス目は、へびとはしごを表現するために、特別に値をセットします。はしごの入り口のマス目には正の数値をセットしてボードを進めることを表現します。へびの頭のマス目には負の数値をセットしてボードを戻らなければならないことを表現します。

board[03] = +08; 

…

連想型の型制約にプロトコルを使う(Using a Protocol in Its Associated Type’s Constraints)

プロトコル定義内の要求の中にプロトコルを出現させることもできます。例えば、suffix(_:)メソッドの実装の要求を追加して、Containerプロトコルを改良します(suffix:接尾辞)。suffix(_:)メソッドは与えられた数の要素をcontainerの末尾から取り出して返します。取り出された要素をSuffix型(連想型)のインスタンスに格納して返します。

protocol SuffixableContainer: Container {
    associatedtype Suffix: SuffixableContainer where Suffix.Item == Item
    func suffix(_ size: Int) -> Suffix
}

上の例のContainerプロトコルにおける連想型Itemのように、このプロトコルにおいてSuffixは連想型です。連想型Suffixには二つの制約があります。

• Suffixは、SuffixableContainerプロトコル(まさに定義しようとしているプロトコル自身)に準拠した型を指定する必要がある。
• SuffixのItem型とcontainerのItem型が同じ型出なければならない。

Itemへの制約はgeneric where clauseです。generic where clauseはこの後説明します。

sample3-2のジェネリック型のStack<Element>型をSuffixableContainerプロトコルに準拠させたのが、sample5-1です。

sample5-1

protocol SuffixableContainer: Container 

…

switch文はある値を評価し、その結果をいくつかの可能性のあるパターンと比較します。そして、最初に合致したパターンと対応したコードブロックを実行します。switch文は、複数の可能性のある状態に対応するための、if文の代わりとなる構文です。

 

switch文は複数の可能性のあるケースにより構成されます。ケースは全て

caseキーワードで始まります。

 

…

 

---

識別子パターン(identifier pattern)

識別子パターンはあらゆる値とマッチし、マッチした値を変数名・定数名と結び付けます。例えば、下の定数の宣言ですが、someValueは識別子パターンで、Int型の42とマッチします。

let someValue = 42

マッチが成功すると、42という値は定数名someValueと結び付けられます(代入されます)。

定数宣言、変数宣言の左側が識別子パターンである時、その識別子パターンは暗黙的なバリューバインディングパターンのサブパターンです。

---

バリューバインディングパターン(value-binding pattern)

バリューバインディングパターンはマッチした値を変数名・定数名と結び付けます。バリューバインディングパターンでマッチした値を定数名と結びつけるにはletキーワードを最初に付けます。マッチした値を変数名と結びつけるにはvarキーワードを最初に付けます。

バリューバインディングパターンの一部である識別子パターンは、マッチした値を新しい変数名・定数名と結び付けます。例えば、タプルの要素を分解して各要素の値を対応する識別子パターンと結びつけることができます。

let point = (3, 2)
switch point {
    // pointの要素をxとyに結びつける。
case let (x, y):
    print("The point is at (\(x), \(y)).")
}
// 

…