引数のある関数を変数に代入し、変数を呼び出す時には、引数名が必要ないのはなぜでしょうか。

Question

###前提・実現したいこと
swiftで初めてプログラミングを勉強しています。
引数のある関数を呼び出す際には、 引数名が基本的には必要だと思いますが、
その関数を変数に代入し、変数を呼び出す(?)際には引数名が必要ないのはなぜでしょうか？
また、変数に関数を代入したらその変数は関数と呼ぶのでしょうか？
初めての質問でteratailのルール違反などがございましたらご指摘ください。

###該当のソースコード

func multiply(a:Int,b:Int) -> Int {
    return a * b
}

multiply(a:3,b:4)     // 関数を呼び出すには引数名が必要。

var math = multiply  //関数を変数に代入。
math(3,4)         // 変数を呼び出す際には引数名が不要。

Answer 1

multiplyの型は(Int, Int) -> Intであり、この時点でラベル情報は欠落しています。

print(type(of: multiply))
//=> (Int, Int) -> Int

なので、ラベルが違ってても代入できます。

func mul(a: Int, b: Int) -> Int {return a * b}
func add(c: Int, d: Int) -> Int {return c + d}

var math: (Int, Int) -> Int
math = mul
print(math(3, 4)) //=> 12
math = add
print(math(3, 4)) //=> 7

Answer 2

関数型の変数/定数はラベルを持てないという決まりがあります。
そのため、変数/定数に関数を代入すると、ラベルの情報が消滅します。
試しにmath(a:3,b:4)としてみてください。コンパイルエラーが発生します。

そういう決まりです。

---

以下は別に読まなくてもいいです。

---

これはおそらく、関数型を引数にとる関数を簡素に使用できるようにするためと思われます。
（関数が、関数に引数として渡されるときは定数に変換されます。）

例えばmap関数を例にとると、

func map<T>(_ transform: (Element) throws -> T) rethrows -> [T] 

引数ラベルが必要なければ

let array: [Double] = [0, 1, 2]
let sqrtArray = array.map(sqrt)

のように簡素に書けますが、引数ラベルが必要とすれば、

// 定義をこのようにする必要がある。
func map<T>(_ transform: (element: Element) throws -> T) rethrows -> [T] 

let array: [Double] = [0, 1, 2]
// map関数の引数にラベルを合わせる
func sqrtT(element: Double) -> Double { return sqrt(element) }
let sqrtArray = array.map(sqrtT)

などのように、ただそれだけのために引数ラベルを合わせた関数を定義してそれを利用する必要が出てきます。

これはあまりにも面倒でバグの温床になる可能性を大いにはらんでいます。

なので、関数型の定数/変数はラベルを持てないという決まりがあるのだと推測されます。

Comments

[prtk1206]

そういう決まりであるということだけではなく、なぜそうなっているかまで説明していただきありがとうございました。