柯里化(Currying)

一、概念

Curring是以数学家Hashkell Curry命名的。所谓柯里化就是一个获取多个参数的函数进行一系列变形，变成多个(或一串)只获取一个参数的函数。也就是说把最初的函数拆分成了好几个部分，每次传入一个参数，然后返回未执行的函数。
柯里化是一种量产相似方法的好办法，可以通过柯里化一个方法模板来避免写出很多重复代码，也方便了今后维护

二、实现

例如：有一个函数 (Int, Double) -> String很明显它有两个参数和一个返回值，如果把它改变成柯里化的方法那么就是这样(Int) -> (Double) -> (String),也即第一个先传一个Int参数，然后返回另一个函数，这个函数需要传入一个Double参数,返回一个String

但是柯里化方法的声明在Swift 3.0被正式移除。相关参考

// Swift 3.0之前(利用柯里化声明方法):
  func curried(x: Int)(y: String) -> Float {
    return Float(x) + Float(y)!
  }

  // Swift 3.0之后(利用闭包实现):
  func curried(x: Int) -> (String) -> Float {
    return {(y: String) -> Float in
      return Float(x) + Float(y)!
    }
  }

案例1：固定数加法器

//基本的柯里化函数
func addTo(_ adder: Int) -> (Int) -> Int {
    return { num in
        return num + adder
    }
}

let addTwo = addTo(2)   //产生一个以2为被加数的闭包
var result6 = addTwo(6) // 2 + 6
var result7 = addTwo(7) // 2 + 7

案例2：与固定数比较大小

//比较大小
func greaterThan(_ comparer: Int) -> (Int) -> Bool {
    return {
        $0 > comparer
    }
}

let greaterThan10 = greaterThan(10)
print(greaterThan10(13)) // 13 > 10 true
print(greaterThan10(9))  // 9 < 10 false

三、Swift的实例方法柯里化剖析

1.实例方法

在swift中，几乎所有的实例方法都利用了柯里化。

class BankAccount {
    var balance: Double = 0.0
    
    //实例方法
    func deposit(_ amount: Double) {
        balance += amount
    }
    
    //有参类方法  利息计算
    class func interest(_ money: Double) -> Double {
        return money * 0.01
    }
    
    //无参类方法  开户人数
    class func bankAccountNO() -> Double {
        return 100
    }
}

//实例化一个对象
let account = BankAccount()
//正常方式调用实例方法
account.deposit(100)

//获取柯里化方法
let depositor = BankAccount.deposit(_:)
//通过柯里化方法进行调用
depositor(account)(100)

我们通过控制台p 命令xcode提示获取的depositor,它其实就是一个柯里化方法

xcode提示

控制台p命令获取的depositor信息如下：

(lldb) p depositor
() -> () $R6 = 0x0000000100002a50 Currying`curry thunk of Currying.BankAccount.deposit(Swift.Double) -> () at main.swift

很明显实例方法就是一个柯里化函数

2.类方法

类方法只有部分柯里化

//有参类方法部分柯里化
let interest = BankAccount.interest(_:)
//类方法柯里化调用
let money = interest(100)

//无参方法没有柯里化 方法敲出来的时候就是直接调用了
let number = BankAccount.bankAccountNO()

有参类方法相关打印

xcode提示.png

(lldb) p interest
() -> () $R5 = 0x0000000100002c80 Currying`partial apply forwarder at main.swift

可见类方法实现了部分柯里化.但是对于无参数的类方法直接就是调用了。

相关代码传送门

参考文档：
Ole Begemann