Swift声明参考-超详细(上)

你可以在全局，函数体内或者类，结构体，枚举，扩展声明的上下文中使用这种形式的声明。 当变量以这种形式在全局或者一个函数内被声明时，监视器代表一个存储型变量监视器； 当他在类，结构体，枚举，扩展声明的上下文中被声明时，监视器代表属性监视器。

你可以为适合的监视器添加任何存储型属性。你也可以通过重写子类属性的方式为适合的监视器添加任何继承的属性 (无论是存储型还是计算型的)，参见重写属性监视器(overriding properyt observers)。

初始化表达式在类或者结构体的声明中是可选的，但是在其他地方是必需的。无论在什么地方声明， 所有包含监视器的变量声明都必须有类型注释(type annotation)。

当变量或属性的值被改变时，willset和didset监视器提供了一个监视方法（适当的回应）。 监视器不会在变量或属性第一次初始化时不会被运行，他们只有在值被外部初始化语句改变时才会被运行。

willset监视器只有在变量或属性值被改变之前运行。新的值作为一个常量经过过willset监视器，因此不可以在 willset语句中改变它。didset监视器在变量或属性值被改变后立即运行。和willset监视器相反，为了以防止你仍然 需要获得旧的数据，旧变量值或者属性会经过didset监视器。这意味着，如果你在变量或属性自身的didiset监视器语句 中设置了一个值，你设置的新值会取代刚刚在willset监视器中经过的那个值。

在willset和didset语句中，setter名和圆括号的语句是可选的。如果你写了一个setter名，它就会作为willset和didset的参数被使用。如果你不写setter名， willset监视器初始名为newvalue，didset监视器初始名为oldvalue。

当你提供一个willset语句时，didset语句是可选的。同样的，在你提供了一个didset语句时，willset语句是可选的。

获得更多信息，查看如何使用属性监视器的例子，请查看属性监视器(prpperty observers)一节。

类和静态变量属性

class关键字用来声明类的计算型属性。static关键字用来声明类的静态变量属性。类和静态变量在类型属性(type properties)中有详细讨论。

GRAMMAR OF A VARIABLE DECLARATION
variable-declaration → variable-declaration-head­pattern-initializer-list­
variable-declaration → variable-declaration-head ­variable-name ­type-annotation ­code-block­
variable-declaration → variable-declaration-head ­variable-name ­type-annotation ­getter-setter-block­
variable-declaration → variable-declaration-head ­variable-name­ type-annotation ­getter-setter-keyword-block­
variable-declaration → variable-declaration-head­ variable-name ­type-annotation­initializer­ opt ­willSet-didSet-block­
variable-declaration-head → attributes ­opt­ declaration-specifiers ­opt ­var ­ variable-name → identifier­
getter-setter-block → {­getter-clause ­setter-clause­ opt­}­
getter-setter-block → {­setter-clause ­getter-clause­}­
getter-clause → attributes ­opt­get­code-block­
setter-clause → attributes ­opt ­set­ setter-name­ opt­ code-block­
setter-name → (­identifier­)­
getter-setter-keyword-block → {­getter-keyword-clause ­setter-keyword-clause­ opt­} ­ getter-setter-keyword-block → {­setter-keyword-clause ­getter-keyword-clause­}
getter-keyword-clause → attributes­ opt­ get­
setter-keyword-clause → attributes ­opt­ set­
willSet-didSet-block → {­willSet-clause ­didSet-clause ­opt­}­
willSet-didSet-block → {­didSet-clause ­willSet-clause­}­
willSet-clause → attributes ­opt ­willSet ­setter-name­ opt ­code-block­
didSet-clause → attributes ­opt ­didSet ­setter-name ­opt­ code-block­

类型的别名声明

类型别名的声明可以在你的程序里为一个已存在的类型声明一个别名。类型的别名声明以关键字typealias开始，遵循如下的 形式：

1.  func function name(parameters) -> return type { statements } 

如果函数不返回任何值，返回类型可以被忽略，如下所示：

1.  func function name(parameters) { statements } 

1.  parameter name: parameter type 

1.  func f(x: Int, y: String) -> String { return y + String(x) } f(7, "hello") // x and y have no name class C { func f(x: Int, y: String) -> String { return y + String(x) } } let c = C() c.f(7, y: "hello") // x没有名称，y有名称 

1.  external parameter name local parameter name: parameter type #parameter name: parameter type _ local parameter name: parameter type 

1.  _ : <#parameter type#. parameter name: parameter type... parameter name: parameter type = default argument value 

1.  func function name(parameters)(parameters) -> return type { statements } 

1.  func addTwoNumbers(a: Int)(b: Int) -> Int { return a + b } func addTwoNumbers(a: Int) -> (Int -> Int) { func addTheSecondNumber(b: Int) -> Int { return a + b } return addTheSecondNumber } addTwoNumbers(4)(5) // Returns 9