【Swift学习】Swift编程之旅---枚举(十二)

  枚举为一组相关的值定义一个共同的类型,并允许您在代码中的以类型安全的方式中使用这些值,在 Swift 中,枚举类型是一等(first-class)类型。它们采用了很多传统上只被类所支持的特征,例如计算型属性(computed properties),用于提供关于枚举当前值的附加信息,实例方法(instance methods),用于提供和枚举所代表的值相关联的功能。枚举也可以定义构造器(initializers)来提供一个初始成员值;可以在原始的实现基础上扩展它们的功能;可以遵守协议(protocols)来提供标准的功能。

  

  枚举语法

  使用enum关键字申明一个枚举类型,并将整个定义放在大括号内。

enum SomeEumeration { 
    // enumeration definition goes here 
} 

 

下面是一个指南针4个主要方向的例子

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)必须以一个大写字母开头。给枚举类型起一个单数名字而不是复数名字,以便于读起来更加容易理解

var directionToHead = CompassPoint.West

 

directionToHead的类型被推断当它被CompassPoint的一个可能值初始化。一旦directionToHead被声明为一个CompassPoint,你可以使用更短的点(.)语法将其设置为另一个CompassPoint的值:

directionToHead = .East

directionToHead的类型已知时,当设定它的值时,你可以不再写类型名。使用显示类型的枚举值可以让代码具有更好的可读性。

 

  使用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”

一个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” 

 

  关联值

   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) 
} 

然后可以使用任何一种条码类型创建新的条码

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 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 = "\t" 
    case LineFeed = "\n" 
    case CarriageReturn = "\r" 
} 
这里,称为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分支被执行。

 

posted @ 2016-04-25 13:44  ForrestWoo  阅读(814)  评论(1编辑  收藏  举报