Swift の if 文で let 変数に代入して nil 判定する方法について

Question

後述するコードの挙動が納得できません。
※特に、挙動確認パターン３と４が納得できません

【ドキュメントにこう書いてあるよ】、とか、【◯◯という理由でそのような挙動になるのだと思います】、と言ったご意見等をいただけると助かります。

自分の中では、【そういう仕様であるということを受け入れる】という結論にしています。

問題のコードはこちらです。

var nilValue1: String? = nil

// 挙動確認パターン１
if let hoge = nilValue1 { // " hoge は nil です。"
    println(" hoge は nil ではありません。")
} else {
    println(" hoge は nil です。")
}

// 挙動確認パターン２
if let hoge: String = nilValue1 { // " hoge は nil です。"
    println(" hoge は nil ではありません。")
} else {
    println(" hoge は nil です。")
}

// 挙動確認パターン３
if let hoge: String! = nilValue1 { // " hoge は nil ではありません。"
    println(" hoge は nil ではありません。")
} else {
    println(" hoge は nil です。")
}

// 挙動確認パターン４
if let hoge: String? = nilValue1 { // " hoge は nil ではありません。"
    println(" hoge は nil ではありません。")
} else {
    println(" hoge は nil です。")
}

挙動確認パターン３と４も【hoge は nil です】と表示されることを期待していましたが、実際の挙動は違っていました。

let 宣言した hoge 変数に Optional な型を書いたことによって、
その if 文の行ではアンラップされないからなのでは？と推測しています。

Answer 1

Optional型のunwrapについて知ると良いかもしれません。
この記事によくまとまっていて私は腹に落ちたので参考までに。

[Swift] Optional 型についてのまとめ Ver2

Answer 2

パターン1と2はオプショナルバインディング(右辺に値があればアンラップ)ですが
3と4はただの代入なので、挙動としては自然であるように思います。

イメージ的には以下のような感じでしょうか(コンパイルは通りませんが)。

let hoge:String? = nil

// pattern1
if (let a = hoge!) == true {
}
// pattern2
if (let b:String = hoge!) == true {
}
// pattern3
if (let c:String! = hoge) == true {
}
// pattern4
if (let d:String? = hoge) == true {
}

Comments

[odorry]

ご回答ありがとうございます。

全て共通して、【左辺に代入した上で、nil かどうかチェックする】ということをやってくれるのがオプショナルバインディングだと思っていましたが、そういうわけではないのですね。

認識を改めます。

Answer 3

不思議な挙動ですね。
たしかに、結果的にアンラップが発生したかどうかで判定してるように見えます。

この「自作if-let」が参考になるかもです。
Writing your own Swift "if let"

func ifLet<T>(value: T?, then: T -> (), else elseFunc: () -> ()) {
    switch value {
    case .some(let x): then(x)
    case .none: elseFunc()
    }
}

上記処理だと、パターン1, 2 の場合、TがStringになると思いますが、パターン3, 4 の場合 TがOptionalになると思われ、そうするとswitch文で型が一致するので .Some の方に入ってしまうのではないでしょうか。