0

class BaseClass{}
class AClass : BaseClass{}
class BClass : BaseClass{}

//var b : BaseClass = AClass()
var b : BaseClass = BClass()

if let p = b as? AClass{
print("OK:(type(of:p))")
}else{
print("else")
}

switch b{
case let p as AClass:
print("OK:(type(of:p))")
default:
print("default")
break
}

if文では、as? switch文では、asと記述しますが、何かしっくりきません。
それでいて、if文のpは、Optional型とはならない。
if文も asでもいいのではと思ってしまいます。

たいてい、そこには理由があるのですが、ご指摘お願いします。

1 件の回答 1

2

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文もパターンマッチングだけでいいのでは」と言う考え方もあったとは思いますが。

  • 当初のSwiftではif文ではパターンマッチングを使えなかった

  • Swiftの特徴的概念であるOptionalの判定だけは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を使う開発者が見つけて定着させていけば良いのだと思います。

また長くなってしまいましたが、何かお気付きの点があれば、コメント等でお知らせください。

2
  • オプショナルバインディング(非nil判定)がしたいのか、パターンマッチング(バリューバインディング、キャストパターン)をおこなっているのかを明確に、どちらを使うべきがわかるということですね。型チェックだけなら次のようにもかけるのですね。勉強になりました if case _ as AClass = b { print("--OK:") } else { print("--else") }
    – TAKA
    Commented 2016年12月9日 4:45
  • バインディングが必要なければ、if b is AClass {...}else{...}なんて書き方もできます。オプショナルバインディング、パターンマッチング、単なる型判定、単なるnil判定など、場所によってうまく見定めていけばコードも読みやすくなると思います。
    – OOPer
    Commented 2016年12月9日 4:51

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。