typealias FirestoreCompletion = (Error?) -> Void の(Error?) が型なのか引数なのか

Question

typealias FirestoreCompletion = (Error?) -> Void

static func follow(uid: String,completion: @escaping(FirestoreCompletion)) {   
}

上記のようなコードがあったのですが、(Error?)は引数なのでしょうか。型なのでしょうか。

自分の調べた限りでは、(Error?)型はなく引数かなと思ったのですが、それならばなぜオプショナル型を取っているのかもわからないです。

ネットで調べてもよくわからない状態です。ご教授頂けると嬉しいです。

Answer 1

結論から言うと (Error?) は引数の型です。
(Error?) -> Void は、引数が Error? 型 (つまり Error のオプショナル) で、戻り値のない関数を表す型になります。

---

関数を定義する場合は、次のように引数名とその型を両方書く必要があります。

func handleError(error: Error?) {
    if let error = error {
        print("ERROR: (error.localizedDescription)")
    }
}

クロージャの場合、引数の型を推論できる場合は省略することも可能です。

// この場合は推論できないので、error の型を指定する必要がある。
let callback = { (error: Error?) in
    if let error = error {
        print("ERROR: (error.localizedDescription)")
    }
}

// この場合は推論できるので、error の型は省略できる。
// (follow の第 2 引数 completion は FirestoreCompletion つまり (Error?) -> Void だから)
follow(uid: "abc") { error in
    if let error = error {
        print("ERROR: (error.localizedDescription)")
    }
}

で、関数の型を書く場合は (Error?) -> Void のように、引数名は不要で型だけ書きます。

let callback: (Error?) -> Void = { error in ... }
//            ~~~~~~~~~~~~~~~~ <- この部分が callback の型

Comments

[momokoko]

ありがとうございます。
明日、時間ができると思いますのでその際にじっくり読ませて頂きます。
取り急ぎ(と言ってもお返事遅れてしまいましたが)お礼申し上げます。

[momokoko]

改めて読みました。

いまの僕の実力では
「(Error?) -> Void は、引数が Error? 型 (つまり Error のオプショナル) で、戻り値のない関数を表す型」
しか理解できませんでした。
ご丁寧に説明していただいたのにすみません。
一旦僕の疑問は理解できたのでこの質問は閉じさせてもらいます。
理解できそうなタイミングで再度読ませてもらいます。

また、別質問のクロージャーの回答もありがとうございます！