Swift问题收录

文章地址：
http://swift.gg/2016/03/09/swift-qa-2016-03-09/

问题一：
Extending Protocols With Default Implementation with Enums crashes Xcode

enum Ability { 
    case Flying
    case Running 
    case Swimming 
    case Hiding
}

//All animals will conform to this
protocol Animal { 
    var name: String { get } 
    var specialAbility: Ability { get }
}

struct Dog: Animal { 
    var name: String 
    var specialAbility: Ability
}

let rex = Dog.init(name: "Rex", specialAbility: .Flying)

// 以下代码会crash
extension Animal where Self: Dog { 
    var specialAbility: Ability { return .Running }
 }

总结：where语句的约束条件，不能是一个具体的类，只能是协议。

问题二：What does _: mean in Swift?

总结：函数签名里每个冒号都代表一个参数，每个参数都要有个外部
参数名写在冒号前面，写_代表不要外部参数名。参数名都是自动生
成的，默认情况下第一个参数不生成外部参数名。

问题三：swift difference between final var and non-final var | final let and non-final let

总结：final关键字主要用来修饰类和类中的属性、方法或者下标。子
类继承时，不能重写父类中带有final修饰的属性、方法或下标。如果
final修饰的是类，那么此类不能被继承。

问题四：Swift array of generics

struct Thing<T> {
}

let intThing = Thing<Int>()
let stringThing = Thing<String>()

// 编译错误：Cannot convert value of type 'Thing<Int>' to expected type 'Thing'
let things: [Thing] = [intThing, stringThing]

总结：Thing是一个范型结构题，不能直接使用[Thing]表明一个数
组。只能通过Any来符合编译器的规则。不过这样的话，就不能直接
使用Thing里面的方法了，需要转换。

问题五：Parentheses in Function and Closure

func myFunction() -> (()-> Int)
func myFunction1() -> (Void-> Int)
func myFunction2() -> Void-> Int

总结：
* () 和 Void 是一样的，2种不同的写法而已。看你喜欢，Swift 中比较常用 ()。
* -> 操作符是右关联的，也就是说，多个 -> 连接在一起时候，编译器优先解析右边的。

所以以上3个定义是一样的。第一个和第二个虽然加了括号，优先处
理最右边的，但是因为->是右关联的，所以加括号和不加括号是一
样的。

这3个表达式表示的意思是：定义一个函数，没有传入参数，返回一
个闭包, 闭包的类型是() -> Int