声明
本文是本人翻译的国外的文章Instance Methods are Curried Functions in Swift。英文水平有限,有翻译错误的地方,还望大家指出。
正文
在Swift方法中,实例化方法只是一种以实例作为参数的类型方法,它返回一个即将被应用到实例中的函数。
最近我学习了关于Swift的特性,出乎我意料的是:实例方法是以实例作为第一个参数的柯里化函数。什么是柯里化函数呢?
(ps:引用的话就不翻译了)
The basic idea behind currying is that a function can be partially applied, meaning that some of its parameter values can be specified (bound) before the function is called. Partial function application yields a new function.
Example
思考一个表示银行账户的类的简单例子:
class BankAccount {
var balance: Double = 0.0
func deposit(amount: Double) {
balance += amount
}
}
我们可以创建该类的实例并调用实例方法deposit() :
let account = BankAccount()//BankAccount
account.deposit(100)//BankAccount
print(account.balance)//100
到目前为止,一切都是很简单的,我们还可以这样做:
let depositor = BankAccount.deposit//BankAccount -> Double->()
depositor(account)(100)
print(account.balance)//200
上述的调用是完全等价的,这是为什么呢?我们首先将该方法分配给一个变量。需要注意的是括号后面的BankAccount.deposit-我们不调用这个方法(这将产生一个错误,因为你不能调用类型上的实例方法),仅仅是引用它,更像是C语言里面的指针。第二步是调用函数存储在存储变量中。其类型如下:
let depositor: BankAccount -> Double -> ()
换言之,这个函数有一个参数,这个参数是银行账户类的实例,返回了另一个函数。后面的方法接收一个Double类型的变量并直接return。在第二部分,你应该能够识别出deposit()实例方法的签名。
我希望您可以知道的是:Swift的实例方法只是一种以实例作为参数的类型方法,并返回一个将被应用到实例中的函数。当然,我们也可以把这些都放在一行来做,这使的类型方法和实例方法之间的关系更加清晰:
BankAccount.deposit(account)(100)
print(account.balance)//300
通过实例BankAccount.deposit(),这个实例方法被绑定到实例函数。在第二个步中,该函数将与其他参数一起被调用。这样会很酷,对吧?
看后感
之前自己对柯里化函数了解过,还写过一篇自己对柯里化的理解:Swift新特性之柯里化函数一次偶然在网上查看资料的时候看见这个标题:Instance Methods are Curried Functions in Swift,就觉得很有趣。因为是菜鸟,之前自己开发的时候接触类的实例化方法的时候从来没想过它会和柯里化函数有联系。总之:涨知识了。