Swift 枚举

感谢原作者 链接：http://www.cocoachina.com/newbie/basic/2014/0611/8771.html

枚举定义了一个通用类型的一组相关的值，使你能够在你的代码中以一个安全的方式来使用这些值。

 

假设你熟悉 C 语言，你就会知道。在 C 语言中枚举指定相关名称为一组整型值。Swift 中的枚举更加灵活，不必给每个枚举成员（enumeration member）提供一个值。假设一个值（被觉得是“原始”值）被提供给每个枚举成员，则该值能够是一个字符串。一个字符，或是一个整型值或浮点值。

 

此外。枚举成员能够指定不论什么类型的关联值存储到枚举成员值中，就像其它语言中的联合体（unions）和变体（variants）。你能够定义一组通用的相关成员作为枚举的一部分，每一组都有不同的一组与它相关的适当类型的数值。

 

在 Swift 中，枚举类型是一等（first-class）类型。

它们採用了非常多传统上仅仅被类所支持的特征，比如计算型属性（computed properties)，用于提供关于枚举当前值的附加信息，实例方法（instance methods）。用于提供和枚举所代表的值相关联的功能。枚举也能够定义构造器（initializers）来提供一个初始成员值。能够在原始的实现基础上扩展它们的功能；能够遵守协议（protocols）来提供标准的功能。

 

欲了解很多其它相关功能，请參考属性。方法，构造过程，扩展。和协议。

 

枚举语法（Enumeration Syntax）

使用enum关键词而且把它们的整个定义放在一对大括号内：

enum SomeEumeration {
    // enumeration definition goes here
}

下面是指南针四个方向的一个样例： 

enum CompassPoint {
    case North
    case South
    case East
    case West
}

一个枚举中被定义的值（比如 North。South，East和West）是枚举的成员值（或者成员）。case关键词表明新的一行成员值将被定义。

 

注意： 不像 C 和 Objective-C 一样，Swift 的枚举成员在被创建时不会被赋予一个默认的整数值。在上面的CompassPoints样例中。North，South。East和West不是隐式得等于0。1。2和3。

相反的，这些不同的枚举成员在CompassPoint的一种显示定义中拥有各自不同的值。

 

多个成员值能够出如今同一行上，用逗号隔开：

enum Planet {
    case Mercury, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Nepturn
}

每一个枚举定义了一个全新的类型。像 Swift 中其它类型一样。它们的名字（比如CompassPoint和Planet）必须以一个大写字母开头。给枚举类型起一个单数名字而不是复数名字，以便于读起来更加easy理解：

var directionToHead = CompassPoint.West

directionToHead的类型被判断当它被CompassPoint的一个可能值初始化。

一旦directionToHead被声明为一个CompassPoint，你能够使用更短的点（.）语法将其设置为还有一个CompassPoint的值：

directionToHead = .East

directionToHead的类型已知时，当设定它的值时，你能够不再写类型名。

使用显示类型的枚举值能够让代码具有更好的可读性。

 

匹配枚举值和Switch语句（Matching Enumeration Values with a Switch Statement）

你能够匹配单个枚举值和switch语句： 

directionToHead = .South
switch directionToHead {
case .North:
    println("Lots of planets have a north")
case .South:
    println("Watch out for penguins")
case .East:
    println("Where the sun rises")
case .West:
    println("Where the skies are blue")
}
// prints "Watch out for penguins”

你能够如此理解这段代码：

 

“考虑directionToHead的值。当它等于.North，打印“Lots of planets have a north”。当它等于.South，打印“Watch out for penguins”。”

 

等等依次类推。

 

正如在控制流中介绍。当考虑一个枚举的成员们时，一个switch语句必须全面。假设忽略了.West这样的情况，上面那段代码将无法通过编译，由于它没有考虑到CompassPoint的所有成员。全面性的要求确保了枚举成员不会被意外遗漏。

 

当不须要匹配每一个枚举成员的时候，你能够提供一个默认default分支来涵盖全部未明白被提出的不论什么成员：

let somePlanet = Planet.Earth
switch somePlanet {
case .Earth:
    println("Mostly harmless")
default:
    println("Not a safe place for humans")
}
// prints "Mostly harmless”

 

关联值（Associated Values）

上一小节的样例演示了一个枚举的成员是怎样被定义（分类）的。你可以为Planet.Earth设置一个常量或则变量，而且在之后查看这个值。

然而，有时候会非常实用假设可以把其它类型的关联值和成员值一起存储起来。这能让你随着成员值存储额外的自己定义信息。而且当每次你在代码中利用该成员时同意这个信息产生变化。

 

你能够定义 Swift 的枚举存储不论什么类型的关联值，假设须要的话，每一个成员的数据类型能够是各不同样的。枚举的这样的特性跟其它语言中的可辨识联合（discriminated unions），标签联合（tagged unions）。或者变体（variants）相似。

 

比如，如果一个库存跟踪系统须要利用两种不同类型的条形码来跟踪商品。有些商品上标有 UPC-A 格式的一维码，它使用数字0到9.每个条形码都有一个代表“数字系统”的数字，该数字后接10个代表“标识符”的数字。最后一个数字是“检查”位，用来验证代码是否被正确扫描：

其它商品上标有 QR 码格式的二维码。它能够使用不论什么 ISO8859-1 字符，而且能够编码一个最多拥有2,953字符的字符串:

 

 

对于库存跟踪系统来说，可以把 UPC-A 码作为三个整型值的元组，和把 QR 码作为一个不论什么长度的字符串存储起来是方便的。

 

在 Swift 中，用来定义两种商品条码的枚举是这样子的：

enum Barcode {
    case UPCA(Int, Int, Int)
    case QRCode(String)
}

以上代码能够这么理解：

 

“定义一个名为Barcode的枚举类型，它能够是UPCA的一个关联值（Int，Int，Int），或者QRCode的一个字符串类型（String）关联值。”

 

这个定义不提供不论什么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（连同它的关联值），可是在不论什么指定时间仅仅能存储当中之中的一个。

 

像曾经那样，不同的条形码类型能够使用一个switch语句来检查。然而这次关联值能够被提取作为switch语句的一部分。你能够在switch的case分支代码中提取每一个关联值作为一个常量（用let前缀）或者作为一个变量（用var前缀）来使用：

switch productBarcode {
case .UPCA(let numberSystem, let identifier, let check):
    println("UPC-A with value of (numberSystem), (identifier), (check).")
case .QRCode(let productCode):
    println("QR code with value of (productCode).")
}
// prints "QR code with value of ABCDEFGHIJKLMNOP.”

假设一个枚举成员的所有关联值被提取为常量，或者它们所有被提取为变量，为了简洁。你能够仅仅放置一个var或者let标注在成员名称前：

switch productBarcode {
case let .UPCA(numberSystem, identifier, check):
    println("UPC-A with value of (numberSystem), (identifier), (check).")
case let .QRCode(productCode):
    println("QR code with value of (productCode).")
}
// prints "QR code with value of ABCDEFGHIJKLMNOP."

 

原始值（Raw Values）

在关联值小节的条形码样例中演示了一个枚举的成员怎样声明它们存储不同类型的关联值。

作为关联值的替代。枚举成员能够被默认值（称为原始值）预先填充，当中这些原始值具有同样的类型。

 

这里是一个枚举成员存储原始 ASCII 值的样例：

enum ASCIIControlCharacter: Character {
    case Tab = "	"
    case LineFeed = "
"
    case CarriageReturn = "
"
}

在这里。称为ASCIIControlCharacter的枚举的原始值类型被定义为字符型Character，并被设置了一些比較常见的 ASCII 控制字符。字符值的描写叙述请详见字符串和字符章节。

 

注意。原始值和关联值是不同样的。

当你開始在你的代码中定义枚举的时候原始值是被预先填充的值，像上述三个 ASCII 码。对于一个特定的枚举成员。它的原始值始终是同样的。关联值是当你在创建一个基于枚举成员的新常量或变量时才会被设置，而且每次当你这么做得时候。它的值能够是不同的。

 

原始值能够是字符串，字符。或者不论什么整型值或浮点型值。每一个原始值在它的枚举声明中必须是唯一的。

当整型值被用于原始值，假设其它枚举成员没有值时，它们会自己主动递增。

 

以下的枚举是对之前Planet这个枚举的一个细化，利用原始整型值来表示每一个 planet 在太阳系中的顺序：

enum Planet: Int {
    case Mercury = 1, Venus, Earth, Mars, Jupiter, Saturn, Uranus, Neptune
}

自己主动递增意味着Planet.Venus的原始值是2。依次类推。

 

使用枚举成员的toRaw方法能够訪问该枚举成员的原始值：

let earthsOrder = Planet.Earth.toRaw()
// earthsOrder is 3

使用枚举的fromRaw方法来试图找到具有特定原始值的枚举成员。

这个样例通过原始值7识别Uranus：

let possiblePlanet = Planet.fromRaw(7)
// possiblePlanet is of type Planet? and equals Planet.Uranus

然而，并不是全部可能的Int值都能够找到一个匹配的行星。正由于如此，fromRaw方法能够返回一个可选的枚举成员。在上面的样例中。possiblePlanet是Planet?类型，或“可选的Planet”。

 

假设你试图寻找一个位置为9的行星。通过fromRaw返回的可选Planet值将是nil：

let positionToFind = 9
if let somePlanet = Planet.fromRaw(positionToFind) {
    switch somePlanet {
    case .Earth:
        println("Mostly harmless")
    default:
        println("Not a safe place for humans")
    }
} else {
    println("There isn't a planet at position (positionToFind)")
}
// prints "There isn't a planet at position 9

这个范例使用可选绑定（optional binding），通过原始值9试图訪问一个行星。if let somePlanet = Planet.fromRaw(9)语句获得一个可选Planet。假设可选Planet能够被获得。把somePlanet设置成该可选Planet的内容。在这个范例中，无法检索到位置为9的行星。所以else分支被运行。

 

原文：Enumerations