refine: Enumerations

This commit is contained in:
yankuangshi
2014-06-08 16:03:34 +02:00
parent 356bff4fab
commit 2d707ef9ac

View File

@ -4,18 +4,18 @@
- 枚举语法
- 匹配枚举值与`Swith`语句
- 实例值
- 原始值
- 实例值associated values
- 原始值raw values
枚举enumeration定义了一个通用类型的一组相关的值使你可以在你的代码中以一个安全的方式来使用这些值。
如果你熟悉C语言你就会知道在C语言中枚举会把一些整型值赋予枚举标识符。Swift中的枚举更加灵活需要给每一个枚举成员提供一个值。如果一个值(一个“原始”值)被提供给每个枚举成员enumeration member,则该值可以是一个字符串,一个字符,或是一个整型值或浮点值。
如果你熟悉C语言你就会知道在C语言中枚举指定相关名称为一组整型值。Swift中的枚举更加灵活给每一个枚举成员enumeration member提供一个值。如果一个值(被认为是“原始”值)被提供给每个枚举成员,则该值可以是一个字符串,一个字符,或是一个整型值或浮点值。
此外,枚举成员可以指定任何类型的实例值associated value存储到枚举成员值中就像其他语言中的联合体unions和变体variants。你可以定义一组通用的相关成员作为一个枚举的一部分,每一组都有不同的一组与它相关的适当类型的数值。
此外枚举成员可以指定任何类型的实例值存储到枚举成员值中就像其他语言中的联合体unions和变体variants。你可以定义一组通用的相关成员作为枚举的一部分每一组都有不同的一组与它相关的适当类型的数值。
在Swift中枚举类型是一等公民类型。它们采用了很多传统上只被类class)所支持的特征例如计算属性computed properties)用于提供关于枚举当前值的附加信息 实例方法instance methods用于提供和枚举所代表的值相关联的功能。枚举也可以定义实例初始化initializers来提供一个初始成员值可以在原始的实现基础上扩展它们的功能可以遵守协议protocols来提供标准的功能。
在Swift中枚举类型是一等first-class类型。它们采用了很多传统上只被类class)所支持的特征,例如计算属性computed properties)用于提供关于枚举当前值的附加信息 实例方法instance methods用于提供和枚举所代表的值相关联的功能。枚举也可以定义构造函数initializers来提供一个初始成员值可以在原始的实现基础上扩展它们的功能可以遵守协议protocols来提供标准的功能。
欲了解更多相关功能请参见属性Properties方法Methods构造过程Initialization扩展Extensions接口Protocols
欲了解更多相关功能请参见属性Properties方法Methods构造过程Initialization扩展Extensions协议Protocols
## 枚举语法
@ -25,7 +25,7 @@
// enumeration definition goes here
}
以下是一个指南针四个方向的例子:
以下是指南针四个方向的一个例子:
enum CompassPoint {
case North
@ -34,10 +34,10 @@
case West
}
一个枚举中定义的值(例如 `North``South``East``West`)是枚举的***成员值***(或者***成员***)。`case`关键词表明新的一行成员值将被定义。
一个枚举中定义的值(例如 `North``South``East``West`)是枚举的***成员值***(或者***成员***)。`case`关键词表明新的一行成员值将被定义。
> 注意:
> 不像C和Objective-C一样Swift的枚举成员在被创建时不会被赋予一个默认的整数值。在上面的`CompassPoints`例子中,`North``South``East`和`West`不是隐得等于`0``1``2`和`3`。相反的,这些不同的枚举成员在`CompassPoint`的一种显示定义中拥有各自不同的值。
> 不像C和Objective-C一样Swift的枚举成员在被创建时不会被赋予一个默认的整数值。在上面的`CompassPoints`例子中,`North``South``East`和`West`不是隐得等于`0``1``2`和`3`。相反的,这些不同的枚举成员在`CompassPoint`的一种显示定义中拥有各自不同的值。
多个成员值可以出现在同一行上,用逗号隔开:
@ -45,15 +45,15 @@
case Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Nepturn
}
每个枚举定义了一个全新的类型。像Swift中其他类型一样它们的名字例如`CompassPoint``Planet`)必须以一个大写字母开头。给枚举类型单数名字而不是复数名字,以便于读起来更加容易理解:
每个枚举定义了一个全新的类型。像Swift中其他类型一样它们的名字例如`CompassPoint``Planet`)必须以一个大写字母开头。给枚举类型起一个单数名字而不是复数名字,以便于读起来更加容易理解:
var directionToHead = CompassPoint.West
`directionToHead`的类型被推断当它被`CompassPoint`的一个可能值初始化。一旦`directionToHead`被声明为一个`CompassPoint`,你可以使用更短的(.)语法将其设置为另一个`CompassPoint`的值:
`directionToHead`的类型被推断当它被`CompassPoint`的一个可能值初始化。一旦`directionToHead`被声明为一个`CompassPoint`,你可以使用更短的.)语法将其设置为另一个`CompassPoint`的值:
directionToHead = .East
`directionToHead`的类型已知时,当设定它的值时,你可以不写类型名。使用显示类型的枚举值可以让代码具有更好的可读性。
`directionToHead`的类型已知时,当设定它的值时,你可以不写类型名。使用显示类型的枚举值可以让代码具有更好的可读性。
## 匹配枚举值和`Switch`语句
@ -76,11 +76,11 @@
“考虑`directionToHead`的值。当它等于`.North`,打印`“Lots of planets have a north”`。当它等于`.South`,打印`“Watch out for penguins”`。”
。。。。。。等等。
等等依次类推
正如在控制流Control Flow中介绍当考虑一个枚举的成员们时一个`switch`语句必须全面。如果忽略了`.West`这种情况,上面那段代码将如果通过编译,因为它没有考虑到`CompassPoint`的全部成员。全面性的要求确保了枚举成员不会被意外遗漏。
正如在控制流Control Flow中介绍当考虑一个枚举的成员们时一个`switch`语句必须全面。如果忽略了`.West`这种情况,上面那段代码将无法通过编译,因为它没有考虑到`CompassPoint`的全部成员。全面性的要求确保了枚举成员不会被意外遗漏。
当不需要匹配每个枚举成员的时候,你可以提供一个默认`default`分支来涵盖所有未明确提出的任何成员:
当不需要匹配每个枚举成员的时候,你可以提供一个默认`default`分支来涵盖所有未明确提出的任何成员:
let somePlanet = Planet.Earth
switch somePlanet {
@ -118,21 +118,21 @@
“定义一个名为`Barcode`的枚举类型,它可以是`UPCA`的一个实例值(`Int``Int``Int`),或者`QRCode`的一个字符串类型(`String`)实例值。”
这个定义不提供任何`Int``String`的实际值,它只是定义了,当`Barcode`常量和变量等于`Barcode.UPCA``Barcode.QRCode`时,实例值的类型。
这个定义不提供任何`Int``String`的实际值,它只是定义了,当`Barcode`常量和变量等于`Barcode.UPCA``Barcode.QRCode`时,实例值的类型。
然后可以使用任何一种类型创建新的条码,如:
然后可以使用任何一种条码类型创建新的条码,如:
var productBarcode = Barcode.UPCA(8, 85909_51226, 3)
以上例子创建了一个名为`productBarcode`的新变量,并且赋给它一个`Barcode.UPCA`的实例元组值`(8, 8590951226, 3)`。提供的“标识符”值在整数字中有一个下划线,使其便于阅读条形码。
同一个商品可以被分配一个不同类型的条形码,如:
同一个商品可以被分配一个不同类型的条形码,如:
productBarcode = .QRCode("ABCDEFGHIJKLMNOP")
这时,原始的`Barcode.UPCA`和其整数值被新的`Barcode.QRCode`和其字符串值所替代。条形码的常量和变量可以存储一个`.UPCA`或者一个`.QRCode`(连同实例值),但是在任何指定时间只能存储其中之一。
这时,原始的`Barcode.UPCA`和其整数值被新的`Barcode.QRCode`和其字符串值所替代。条形码的常量和变量可以存储一个`.UPCA`或者一个`.QRCode`(连同它的实例值),但是在任何指定时间只能存储其中之一。
像以前那样不同的条形码类型可以使用一个switch语句来检查然而这次实例值可以被提取作为switch语句的一部分。你可以在`switch`的case分支代码中提取每个实例值作为一个常量(用`let`前缀)或者作为一个变量(用`var`前缀)来使用:
像以前那样不同的条形码类型可以使用一个switch语句来检查然而这次实例值可以被提取作为switch语句的一部分。你可以在`switch`的case分支代码中提取每个实例值作为一个常量`let`前缀)或者作为一个变量(用`var`前缀)来使用:
switch productBarcode {
case .UPCA(let numberSystem, let identifier, let check):
@ -154,7 +154,7 @@
## 原始值Raw Values
在实例值Associated Values小节的条形码例子演示了一个枚举的成员如何声明它们存储不同类型的实例值。作为实例值的替代,枚举成员可以被默认值(称为原始值)预先填充,其中这些原始值具有相同的类型。
在实例值小节的条形码例子演示了一个枚举的成员如何声明它们存储不同类型的实例值。作为实例值的替代,枚举成员可以被默认值(称为原始值)预先填充,其中这些原始值具有相同的类型。
这里是一个枚举成员存储原始ASCII值的例子
@ -164,7 +164,7 @@
case CarriageReturn = "\r"
}
在这里,称为`ASCIIControlCharacter`的枚举的原始值类型被定义为字符型`Character`并被设置了一些比较常见的ASCII控制字符。字符值的描述请详见`Strings and Characters`部分。
在这里,称为`ASCIIControlCharacter`的枚举的原始值类型被定义为字符型`Character`并被设置了一些比较常见的ASCII控制字符。字符值的描述请详见字符串和字符`Strings and Characters`部分。
注意原始值和实例值是不相同的。当你开始在你的代码中定义枚举的时候原始值是被预先填充的值像上述三个ASCII码。对于一个特定的枚举成员它的原始值始终是相同的。实例值是当你在创建一个基于枚举成员的新常量或变量时才会被设置并且每次当你这么做得时候它的值可以是不同的。
@ -188,7 +188,7 @@
let possiblePlanet = Planet.fromRaw(7)
// possiblePlanet is of type Planet? and equals Planet.Uranus
,并非所有可能的`Int`值都可以找到一个匹配的行星。正因为如此,`fromRaw`方法可以返回一个***可选***的枚举成员。在上面的例子中,`possiblePlanet``Planet?`类型,或“可选的`Planet`”。
,并非所有可能的`Int`值都可以找到一个匹配的行星。正因为如此,`fromRaw`方法可以返回一个***可选***的枚举成员。在上面的例子中,`possiblePlanet``Planet?`类型,或“可选的`Planet`”。
如果你试图寻找一个位置为9的行星通过`fromRaw`返回的可选`Planet`值将是`nil`
@ -205,4 +205,4 @@
}
// prints "There isn't a planet at position 9
这个范例使用可选绑定optional binding通过原始值`9`试图访问一个行星。通过`if let somePlanet = Planet.fromRaw(9)`语句获得一个可选`Planet`,如果可选`Planet`可以被获得,把`somePlanet`设置成该可选`Planet`的内容。在这个范例中,无法检索到位置为`9`的行星,所以`else`分支被执行。
这个范例使用可选绑定optional binding通过原始值`9`试图访问一个行星。`if let somePlanet = Planet.fromRaw(9)`语句获得一个可选`Planet`,如果可选`Planet`可以被获得,把`somePlanet`设置成该可选`Planet`的内容。在这个范例中,无法检索到位置为`9`的行星,所以`else`分支被执行。