クロージャやコールバックに関してコードが理解できない部分がある

Question

困っていること

swift勉強中の者です。
現在、クロージャ、コールバック辺りについて学んでいるところです。
ネット上のサンプルを動かしてるのですが、コードが正しく読み解けない部分があり苦戦してます。

先輩方教えて下さい。
宜しくお願いします。

分からないこと

コールバック関数と呼び出し元とで「引数」と「戻り値」の型が合っていない、ようにしか読み解けない。。。
なぜこのような記述になるのか分からない。

・引数について

クロージャの部分は以下のようにIntを引数に取るように宣言されてます。

func incrementAge(completion: (Int) -> Void)

なので呼び出し元では、このようにIntを渡すのでないか？と思うのですが、これだと
「error: consecutive statements on a line must be separated by ';'
me.incrementAge(completion:{50 in」というエラーになってしまいます。

me.incrementAge(completion:{50 in

このように呼ぶのが正しいようです。（急に出てきたretって何？retでもhogeでも実行できた）

me.incrementAge(completion:{ret in

・戻り値について

コールバック関数側はVoidだが

func incrementAge(completion: (Int) -> Void)

呼び出し元ではこれでIntを受け取れている。

print(ret)

該当のソースコード

class Person {
    var age: Int = 30
    func incrementAge(completion: (Int) -> Void) {
        age = age + 5
        completion(age)
    }
}

let me = Person()
me.incrementAge(completion:{ret in
    print(ret)
})

試したこと

・一行ずつprint()して処理の順番だけは理解できました

・引数をIntに変えてみた

Answer 1

Swiftにおいてはクロージャ式と関数は同じものとみなして問題ありません。

incrementAge(completion:)メソッドの引数の型である(Int) -> Voidは関数で表すと

func f(_ i: Int) -> Void {
  print(i)
}

のように引数にIntをとり何も返さない関数のことです。（何もないをVoidで表します）
関数定義では戻り値の型がVoidの場合は省略が可能です。

func f(_ i: Int) {
  print(i)
}

この関数はこのままincrementAge(completion:)メソッドに渡すことが可能です。

let me = Person()
me.incrementAge(completion: f)

また関数fと同じものをクロージャ式で書くことが可能です。

let g: (Int) -> Void = { (i: Int) -> Void in
  print(i)
}

inの前の部分に仮引数(この場合はi）を含んだ形でクロージャ式の型を書きます。
クロージャ式ではいろいろ省略が可能ですのですべて省略すると

let g: (Int) -> Void  = { i in
  print(i)
}

となります。

このクロージャ式gをincrementAge(completion:)メソッドに渡すと

let me = Person()
me.incrementAge(completion: g)

となります。
このときクロージャ式を変数gに入れずにそのままincrementAge(completion:)メソッドに渡すことも可能です。
gの部分にクロージャ式をそのまま入れればいいだけです。

let me = Person()
me.incrementAge(completion: { i in
  print(i)
})

これがソースコードの最後に書かれているものになります。

Comments

[pecchan]

丁寧に順に解説してくださり有難う御座います。
おかげで理解できました。

Answer 2

クロージャの部分は以下のようにIntを引数に取るように宣言されてます。

そこから間違っています。incrementAgeの引数は「引数がInt型一つで結果がVoidの関数」です。
文法に従って読みましょうとしか言いようがないです。

コールバックという概念は理解されているようなので、「関数の引数に関数を渡す」ことの理解は大丈夫ですよね？
おそらく、冒頭の間違いが分かれば、あとはおわかりになるかと思いますので、以降の説明は割愛します。

と書いた物の、質問を読み返すと、誤読してたような気がしますので、追記しておきます。

クロージャの部分は以下のようにIntを引数に取るように宣言されてます。

とお書きなのは、completionという仮引数の型の部分であると思いますが、
コードにあるとおりcompletionという名前の仮引数は「引数がInt型一つで結果がVoidの関数」です。
対応する実引数は、クロージャーでもいいし、名前を持った関数の名前でも良いはずです。
なので、「クロージャの部分は」という表現は正しくなく、「コールバック関数の部分は」でしょうか。

実引数は、下記のクロージャーで、これは「引数がInt型一つで結果がVoidの関数」なので、型は合っています。

{ret in
    print(ret)
}

retは仮引数名なので何でもいい。型は推論でIntですかね。

Comments

[pecchan]

わざわざ追記までしてくださり有難う御座います。
型推論の解説でしっくり腑に落ちました。
やっと理解できました。

[otn]

そうか。
「50 in 」と書いてみたと言うことは、そもそも「クロージャーの構文」「クロージャーとは何か」から理解できてなかったということで、そこから説明が必要だったんですね。