Swiftを初めて触ってから2年くらい経っているので
今更情けないんですが、ちゃんとわかっていないので、調べたことを整理しつつ記録します。

変数の型が明確に分けられる

例：optionalなString型

optional型はnilを許容します
変数の型が持つ通常の値➕nilの状態を保持できます。
宣言時に値を代入していないと、自動的にnilがセットされるのもoptional型の特徴です。

optional.swit

var hoge: String?
hoge = nil

optional型は、型の後ろに「?」をつけます。
optional型は、nilが許容されるのでエラーにはなりません！

error.swit

var hoge: String
hoge = nil

これはエラーになります・・・
?が付いていないからです・・・

上記のことからも、SwiftはObjective-Cと違って、
通常の変数(optionalでない変数)がnilを持つことがないことがわかります。

つまりは、nilが入るのか入らないのかを「?」が教えてくれるというわけですね・・・！？

(2018/06/12　追記しました。)
続きです。
「?」とか「!」とか、どういう時に使うのか、Swift書きながらやっと覚えてきた感ある今日このごろです(｀・ω・´)

「!」も「?」と同じく、nilを許容する役割をする。

使用時には勝手にアンラップされる。
ただし、アンラップ時に変数がnilだった場合にエラーとなる。

Optional型の変数を使う時に必要な処理。
　アンラップの方法は複数ある。

(上記のアンラップ方法に関しての記載は、今回は割愛)

以上です。
ご指摘などありましたら、コメントいただけると幸いです。