if
文とswitch
文の違いというよりはオプショナルバインディングとパターンマッチングの違いと言った方が良いでしょう。
カッコを付けた方が少しわかりやすくなるのではないかと思います。
オプショナルバインディングの方は、
if let p = (b as? AClass) {
print("OK:\(type(of:p))")
} else {
print("else")
}
と言うことになります。(b as? AClass)
というのがOptionalの値を返す式で、その値が非nil
であればlet p
と言う変数宣言を成立させるという働きになります。b as AClass
と言う式は、b
の値が安全かつ確実にAClass
に変換可能である場合にしか使えず、結果もOptionalにはなりませんから、この構文では使えません。
一方パターンマッチングの方はこんなカッコの付け方になります。
switch b {
case (let p as AClass):
print("OK:\(type(of:p))")
default:
print("default")
break
}
ここで(let p as AClass)
は一つのパターンであり、b
の値がそのパターンにマッチするならlet p
での変数宣言を成立させるという形になります。
Swift言語の仕様としてのpatternは、かなり汎用の概念で、Optional型が非nil
の値を持つかどうかの判定を含めた幅広い使い方ができます。(あまり良いサンプルがネット上ではすぐには見つかりませんが。)
と言うわけで「if文も asでもいいのでは」と言うのを広めに解釈して、「if
文もパターンマッチングだけでいいのでは」と言う考え方もあったとは思いますが。
と言った事情で、オプショナルバインディングに特化したif-letの構文が考えられたのではないかと思います。
現在のSwift(確か2.0以降?)では、if
文でもパターンマッチングが使えるようになりましたので、どうしてもswitch
文に近い使い方をしたければ、こんな風に書くこともできます。
if case (let p as AClass) = b {
print("OK:\(type(of:p))")
} else {
print("else")
}
(case
の後のパターンを囲むカッコは、上の説明と整合性を持たせるために入れてあるもので、無くても動きます。)
オプショナルバインディングとパターンマッチングの両方がif
文で使えると、どちらを使った方が良いか迷う場合もありますが、「非nil
かどうかを判定したいだけ」と言う場合にはやはりオプショナルバインディングの方が便利でしょう。
if let s = someMethod() {//<- someMethod()は`String?`型の値を返すものとする
doSomething(s) //<- 非nilの`String`型が必要なメソッド
}
これをif-caseで書くと、
if case let s as String = someMethod() {//<- 非nilかどうかの判定でいちいちそれが`String`であることを示さないといけない
doSomething(s)
}
とか、
if case let s? = someMethod() {//<- Stringなんて示さなくても良いが、まだあまり一般的でなくわかりにくいと思う人が多い
doSomething(s)
}
とかになります。
(Xcode 8.1のPlaygroundで試したらif case let s as String ...
に変な警告が出ますが、Xcode 8.1/Swift 3.0.1のバグだと思います。)
同じことが何通りもの方法でできるのはわかりにくい場合もありますが、「型判定と条件付きバインディングを同時に行いたい場合にオプショナルバインディングを使いたければ、結果がOptionalになる式を作らないといけないのでas?
を使っている」と思えばわかりやすくなるのではないか…と思ったんですが、説明が長すぎてわかりやすいかどうかは微妙ですね。
とにかくif-letはオプショナルバインディング(値が非nil
かどうかの判定が主眼)なんだと覚えてください。
型判定を行う場合にif let typedValue = value as? AType
と言う書き方をするのは、if-caseがなかった頃に定着したイディオムですが、「非nil
かどうかを判定したいんじゃ無くてデータ型の判定をしたいんだ」と言う場合にはパターンマッチングを使う方がより直感的で良いのかもしれません。
Swiftは歴史の浅い言語で、しかも言語仕様がバージョンアップのたびに大きく変化しています。「これからのSwiftでの標準的な書き方」は、これからSwiftを使う開発者が見つけて定着させていけば良いのだと思います。
また長くなってしまいましたが、何かお気付きの点があれば、コメント等でお知らせください。