Swift from Scratch: Function Parameters, Types, and Nesting

在之前的文章中，我们探索了Swift中函数的基础。函数，还有很多额外的提供。在这篇文章中，我们继续探索函数，看看函数参数，嵌套和类型。

Local&External Parameter Names

Local Parameter Names

我们回顾一下我们之前文章的的一个例子。

func printMessage(message:String){
    println(message)
}

尽管我们给了形参一个名字，message，在调用这个函数的时候，我们不使用这个名字，我们传递了message参数的值

printMessage("Hello,world!")

我们在函数定义时定义的名字是local parameter name。
oc的方法有很长的名字。尽管这看起来很沉重并且很不优雅，如果名字取得恰当，方法易于理解。

External Parameter Names

当一个函数接受多个形参时，哪个实参对应哪个形参往往变得不是很明显。举个例子说明这个问题。

fund power(a:Int,b:Int)->Int{
    var result=a
    for _ in 0..<b{
        result=result*a
    }
    return result
}

power函数的两个形参都是Int。尽管多数的人会将基作为第一个实参，指数作为第二个实参，从函数的类型或者名字或者签名来看不是很明显。为了避免这个问题，我们可以给形参一个函数外的名字。看看下面更新后的代码

fund power(base a:Int,exponent b:Int)->Int{
    var result=a
    for _ in 0..<b{
    result=result*a
    }
    return result
}

注意函数体并没有改变因为local names没有改变。然而，当我们调用这个更新后的函数时，这个不同就很明显了

    power(base:2,exponent:3)

尽管两个函数的类型是一样的，(Int,Int)->Int,但是这两个函数是不一样的。换句话说，第二个函数不是第一个函数的重新声明。调用第二个函数的语法可能会让你回忆起oc。这不仅清楚地描述了实参，而且参数名字和函数名字的结合描述了函数的意图。
在某些例子中，你会想要为local和external parameter使用相同的名字。这是可以的，并不需要打两遍形参的名字。在下面的例子中，我们使用base和exponent作为local和external parameter的名字。

func power(#base:Int,#exponent:Int)->Int{
    var result=base
    for _ in 1..<exponent{
        result=result*exponent
    }
    return result
}

通过在形参前加上#符号，这个形参名字就是local和external参数的名字。这同样意味着我们需要更新函数体。

Default Values

我们在之前的文章中涉及过默认形参值，但是有一个重要的默认行为你需要注意。如果你为一个参数定义了默认值，Swift自动的为这个形参分配一个external parameter 名字。

func printDate(date: NSDate, format: String = "YY/MM/dd") -> String {
    let dateFormatter = NSDateFormatter()
    dateFormatter.dateFormat = format
    return dateFormatter.stringFromDate(date)
}

因为第二个形参format有默认值，swift自动的将format参数的external parameter name设为format。换句话说，这个和我们在format前加上#是一样的效果。你看看如果你不使用第二个参数的external parameter name会发生什么？

Swift很清楚我们应该做什么。总结一下，当你将一个参数定义为可选的时候，Swift自动的将external parameter name设置为local parameter name。这个作为背后的想法是避免困扰和模棱两可。
尽管这个行为在实际中是好的，它是可以被禁止掉的。在下面更新过的函数定义中，我们在通常加上external parameter name的位置放上了个下划线。这告诉swift我们不想要为该parameter设定一个external parameter name，尽管它有默认值。

func formatDate(date: NSDate, _ format: String = "YY/MM/dd") -> String {
    let dateFormatter = NSDateFormatter()
    dateFormatter.dateFormat = format
    return dateFormatter.stringFromDate(date)
}

我们现在能够调用formatDate函数而不需要提供第二个参数的名字。

Parameters&Mutability

我们重新回顾一下这篇教程的第一个例子，printMessage,如果我们在函数体里改变了message参数会发生什么》

func printMessage(message:String){
    message="Print:\(message)"
    println(message)
}

结果如下

默认情况下，函数参数都是常量。换句话说，尽管我们能够访问函数参数值，我们不能改变它们。为了改变默认行为，将var关键字加到函数定义中的参数名字中。Swift会创造一个参数值的可变版本给你，让你在函数体中可以操作。

func printMessage(var message:String){
    message="Print:\(message)"
    println(message)
}

注意这不是意味着你能够传入一个值，在函数中改变它，然后函数结束后能够使用这个修改过的值。Swift复制了一分参数值，而且仅仅在函数中维持声明。这个概念用下面的例子就能够很好地阐述

func printMessage(var message: String) {
    message = "Print: \(message)"
    println(message)
}

let myMessage = "test"

printMessage(myMessage)

＃Variadic Parameters

func sum(args:Int ...)->Int{
    var result=0
    for a in args{
        result+=a
    }
    return result
}

这个语法很容易理解。variadic parameter在parameter类型后加上三个点。在函数体中，variadic parameter作为array访问。在上面的例子中，args是一个Int数组。

In-Out Parameters

在教程的前面，你知道了使用var来改变参数的可变性。在那个部分，我强调了参数的值只能在函数体中访问。如果你想要将一个值传入到函数中，在函数中修改它，然后在将其吐出函数。in-out parameters是你要的。
下面的例子阐述了在swift中in-out parameters的工作机理和语法

func prependString(inout a:String,withString b:String){
    a=b+a
}

我们通过加上inout关键字将第一个形参定义为一个in-out形参。第二个参数是一个常规参数，它的external name是withString和local name是b。让我们看看如何调用这个函数

var world = "world"

prependString(&world, withString: "Hello, ")

我们声明了一个变量，world，类型是String，然后将其传递到prependString函数。调用完这个函数，world的值为Hello，world。注意第一个实参的前面有一个&符号，指示这是in-out参数。
常量和literal不能作为in-out参数，Swift会抛出错误

in-out参数不能有默认值，或者variadic，或者定义为let或者var。如果你忘记这些细节，Swift会友好地提醒你。

Nesting

在c或者oc，函数和methods不能嵌套。在Swift，嵌套函数很常见。我们之前看到的函数都是全局函数。
当我们在一个全局函数中定义一个函数时，这个函数就是嵌套函数。看看下面的例子来更好地理解

func printMessage(message:String){
    let a="hello world"
    func printHelloWorld(){
        println(a)
    }
}

尽管这个函数在这个例子中不是很有用，这个例子阐明了嵌套函数的点子。printHelloWorld函数只在printMessage函数中被访问。

Function Types

在前面的文章中，我们简单的接触了函数类型。每个函数都有类型，由函数形参类型和返回类型构成。printMessage函数的类型，(String)->()。记住，()符号化了void，等价于空的元组。
因为每个函数都有类型，使得函数接受函数作为参数成了可能。下面的例子阐述了这个工作机理

func printMessageWithFunction(message:String,printFunction:(String)->()){
printFunction(message)
}
let myMessage="Hello,world!"
printMessageWithFunction(myMessage,printMessage)

这个函数第一个形参是String类型，第二个形参是类型为(String)->()的函数。这个例子也阐述了如何调用printMessageWithFunction函数。
正如我之前提到的，从一个函数返回一个函数也是可能的。下面的例子阐述了这个语法

func compute(addition:Bool)->(Int,Int)->Int{
    func add(a:Int,b:Int)->Int{
        return a+b
    }
    func subtract(a:Int,b:Int)->Int{
        return a-b
    }
    if addition{
        return add
    }
    else{
        return subtract
    }
}
let computeFunction=compute(true)
let result=computeFunction(1,2)
println(result)

compute函数接受一个布尔值，返回一个类型为(Int,Int)->Int的函数。这个compute函数包括了两个嵌套的函数add和subtract。
compute函数返回一个对add或者subtract函数的引用，基于addition参数的值。这个例子也阐述了如何使用compute函数。我们将compute函数返回的函数存储在一个引用里。

Conclusion

你现在应该对swift里的函数如何工作有了些许了解。swift中函数非常常见。在下面的文章中，我们首先了解closures。