Об объявлении опциональных и необязательных в Swift

Question

Я уверен, что это может быть дубликат, но я не могу найти никаких подробных и компактных объяснений, так что вот оно.

Мы все знаем, что, если мы объявляем переменную, как этот

1> var a : String? 

мы получаем дополнительный

a: String? = nil 

и если мы опустим ? мы должны инициализировать a к чему-то другому, чем nil во время создания. Однако, если мы говорим, что-то вроде

2> var a : String! 

мы получаем

a: String! = nil 

который путает меня не конца, потому что я был в предположении, что это заявление означает, что a не может быть необязательным. Так, играя с РЕПЛ, я получаю следующие результаты: bemusing

3> a! 
fatal error: unexpectedly found nil while unwrapping an Optional value 

4> a as! String 
fatal error: unexpectedly found nil while unwrapping an Optional value 

5> a as! String? 
$R2: String? = nil 

6> a as? String 
fatal error: unexpectedly found nil while unwrapping an Optional value 

7> a as? String! 
$R3: String!? = nil 

Может кто-то обеспечить некоторый свет в это?

Answer 1

var a: String! - это то, что мы называем неявным образом развернутым дополнительным. Это необязательный параметр, который может содержать значение nil, но компилятор не производит ошибок времени компиляции.

Если у него было значение nil и оно было использовано, вы получите ошибку времени выполнения, как если бы вы принудительно развернули обычный дополнительный параметр, который имеет значение nil.

Косвенно развернутые OPTIONALS полезны, когда значение необязательным является подтверждается немедленно после того, существует дополнительный сначала определена и определенно можно предположить существование в каждой точке после этого.