Swiftのオプショナル型について

Question

@IBOutlet weak var label :UILabel !
このオプショナル型の変数宣言で初期値が省略されており省略されている場合は自動的にnilが入るて参考書に書いてあるが、オこの書き方は変数にnilが入らない時にしか書けないとも書いてあり矛盾していませんか？

Answer 1

@IBOutlet weak var label :UILabel!

最後の!が重要です。

通常のOptional型は

var a: UILabel?

のように最後は?です。
この場合、その値にアクセスするには通常アンラップなどの操作が必要になります。

a?.text = "New Text"

これはオプショナルチェーンという方法でaがnilの場合はそのあとの部分の処理はすべてキャンセルされます。
ご覧のようにaの後ろに?が必要です。

ところが、!を用いた宣言の場合アンラップは必要ありません。
つまり

label.text = "New Text"

として構わないということです。
この!を使った宣言をImplicity Unwrapped Optionalといいます。

ここからが「変数にnilが入らない時にしか書けない」の部分です。
Implicity Unwrapped Optionalはプログラマに注意が与えられています。
それは「その値がnilであるときは致命的なエラーであり回復するすべがない」時にのみ使用するべきであるというものです。
Implicity Unwrapped Optionalが@IBOutletでよく使われるのは存在するはずのUI要素が存在しなければアプリとして機能しないことがほとんどのためです。

@IBOutletはStoryboardなどからそのクラスのインスタンスが生成された場合は、システム側がStroyboardの接続に合わせて値を代入しますので、正しい手続きが取られていれば(ロード後は）nilではありません。

つまり、「変数にnilが入らない時にしか書けない」とは「nilになりうる場合は使ってはならない」という意味です。
これはプログラマが注意しなければならないものです。コンパイラからのサポートはありません。

---

追記

アンラップしなくても使えてしまうため、プログラマがOptional - nilになりうる - ということを意識から外してしまいバグを生んでしまう可能性があるためこのような注意がされています。

Answer 2

この書き方は変数にnilが入らない時にしか書けない

その変数がnilがのときにその変数を参照するとアプリが落ちます。
つまり、そのようなロジックでは使えないから、書けない。
「初期化時はnilだが、その変数を使用する時にはインスタンスが入っている」ことが前提の時に、この表記ができます。

Comments

[tom._]

初期値nilでも型指定でUILabel型しか入らないからその型ではないnilは入らないという理解ではおかしいですか？

[dsuzuki]

> UILabel型しか入らない
var label :UILabel! (@IBOutlet weak は関係無いので一旦無視します）
この変数にUILabelのインスタンスが入っていても、nilで上書きできます（nilが入ります）。nilか否かの判定(== nil）も可能です。
ただし、そんなことをすると思わずnilのアンラップをしてしまい、アプリが落ちます。
ここから先は、MasakiHoriさんの回答が詳しく説明しています。

Answer 3

省略されている場合は自動的にnilが入る
(変数の値を使うときに)nilが入らない時にしか書けない

---

• UILabel!型の変数はUILabelまたはnilを入れることができる。
• 宣言時に初期値を入れなければ、初期値はnilになる。
• 変数にアクセスするときに中身がnilだと実行時エラーになる。
• したがって、変数にアクセスする段階で中身がnilでない場合でのみ使用すべきである。