Swiftでアンラップが必要な時

Question

##わからないこと

task = URLSession.shared.dataTask(with: URL(string: url)!) { (data, res, err) in
            if let obj = try! JSONSerialization.jsonObject(with: data!) as? [String: Any] {

上のソースコードでおいて、2行目に置いてdata!と書かれています。
!をつけることで強制アンラップをしていると思うのですが、そもそも1行目でdataはオプショナル型で定義されていないので、アンラップはできないと思うのですが、どうでしょうか。

task = URLSession.shared.dataTask(with: URL(string: url)!) { (data?, res, err) in
            if let obj = try! JSONSerialization.jsonObject(with: data) as? [String: Any] {

やあるいは

task = URLSession.shared.dataTask(with: URL(string: url)!) { (data, res, err) in
            if let obj = try! JSONSerialization.jsonObject(with: data) as? [String: Any] {

が正しいと考えるのですが、コンパイルエラーを起こしてしまいます。

##懸念点

クロージャの引数となっていること

Answer 1

そもそも1行目でdataはオプショナル型で定義されていないので、アンラップはできないと思うのですが、どうでしょうか。

Xcode の自動補完を使えばわかりやすのですが、クロージャの第一引数はオプショナル型となっています。

completionHandler:のところにクロージャを対応させるわけですが、3つの引数がそれぞれData?型、URLRespose?型、Error?型となっているのがわかるかと思います。

task = URLSession.shared.dataTask(with: URL(string: url)!) { (data, res, err) in
            if let obj = try! JSONSerialization.jsonObject(with: data!) as? [String: Any] {

ここでいうdata, res, errは仮引数に相当します。仮引数は変数名だけを宣言しますので、data?という記述はエラーとなってしまいます。

たとえば、

func someFunc(arg1: Int?){
}

という関数を考えた時、仮引数の型はInt?型であっても仮引数名に?をつけない（arg1?とはしない）のと同じ考え方です。

Comments

[Hyperbolic4183]

仮引数なのですね。ありがとうございます！

[TsukubaDepot]

「仮引数」と呼べるのかまでは確実ではありませんが、仮引数だと考えればわかりやすいかと思います。