造个类型不是梦-白话Swift类型创建

翻译：老码团队翻译组-Tyrion
校对：老码团队翻译组-Oberyn

本页包含内容：

小伙伴们，Swift中的Bool类型有着非常重要的语法功能，并支撑起了整个Swift体系中的逻辑判断体系，经过老码的研究和学习， Bool类型本身其实是对基础Boolean类型封装，小伙伴们可能咬着手指头问老码，怎么一会Bool类型，一会Boolean类型，其区别在于，前者是基于枚举的组合类型，而后者则是基本类型，只有两种true和false。

自定义原型

接下老码根据Bool的思想来创建一个OCBool类型，来让小伙伴们了解一下Swift中到底是怎么玩儿的。
来我们先看一下OCBool的定义。

代码示例如下：
  1. enum OCBool{
  2. case ocTrue
  3. case ocFalse
  4. }
注意：
  • 代码中第2行和第3行，可以合并到一行写，如苹果官方Blog所写的一样
  • 代码中命名需要注意：OCBool是类型名，所以首字母必须大写，而case中的ocTrue和ocFalse是小类型则需要首字母小写。

实现默认值

行，我们给了一个漂亮的定义，不过按照传统语言的经验，Bool值默认情况下是假， 所以我们的OCBool也应该如此，我们使用类型扩展技术增加这个默认特性：

  1. extension OCBool{
  2.      init(){
  3.              self =.ocFalse
  4.      }
  5. }
注意：
  • 代码中第1行：extension关键字，非常强大，小伙伴们可以通过此创造出许多好玩的东西，建议各位去Github上看一个名为“Swiftz”的项目，它将扩展用到了极致。
  • 代码中第3行：self = .ocFalse语法，刚入门的小伙伴们很迷糊，为什么会有奇怪的点语法，因为大牛Chris在Swift中增加了类型智能推断功能，在苹果Blog中，提到了“Context”概念，就是这个意思，因为这行语句是在枚举OCBool中的，其上下文就是OCBool的定义体，编译器当然知道.ocFalse就是OCBool.ocFalse了，所以这里直接点语法，非常整齐。
    现在我们可以使用如下方法使用这个Bool类型。
代码示例如下：
  1. var result:OCBool = OCBool()
  2. var result1:OCBool = .ocTrue

支持基本布尔型初始化

正如上述代码所述，我们只能通过类型或者枚举项目赋值，这是组合类型的用法，但是编码的日子里，我们总是希望和true，false直接打交道，也就是说，我们希望这么做，
代码示例如下：

  1. var isSuccess:OCBool = true

如果小伙伴们直接这么用，则会出现如下错误：

  1. /Users/tyrion-OldCoder/Documents/Learning/BoolType/BoolType/main.swift:30:24: Type 'OCBool' does not conform to protocol 'BooleanLiteralConvertible'

编译器咆哮的原因是，我们的类型没有遵从“布尔字面量转换协议”，接下来修正这个问题，

代码示例如下：
  1. import Foundation
  3. println("Hello, World!")
  5. enum OCBool{
  6.     case ocTrue
  7.     case ocFalse
  8. }
  11. extension OCBool: BooleanLiteralConvertible{
  12. static func convertFromBooleanLiteral( value: Bool) ->OCBool{
  13.     return value ? ocTrue : ocFalse
  14.     }
  15. }
  17. var isSuccess:OCBool = true
注意：

  • 代码中的第11行是重点，我的类型OCBool支持了BooleanLiteralConvertible协议，这个协到底是干什么的呢，小伙伴们在Xcode代码编辑器，按住Command键，然后点击第11行中的BooleanLiteralConvertible协议名，则会进入它的定义，

    其定义如下：
    1. protocol BooleanLiteralConvertible {
    2.   typealias BooleanLiteralType
    3.   class func convertFromBooleanLiteral(value: BooleanLiteralType) -> Self
    4. }

  • 这个定义中有个类方法convertFromBooleanLiteral，它的参数为BooleanLiteralType类型，也就是我传入的Bool类型， 且返回值为实现这个协议的类型本身，在我们的OCBool类型中，其返回值就是OCBool本身。经过这个定义，我们可以直接对OCBool类型直接进行布尔字面量初始化了。

支持Bool类型判断

小伙伴们不安分， 肯定想着我怎么用它实现逻辑判断，所以如果你这么写，

代码示例如下：
  1. var isSuccess:OCBool = true
  3. if isSuccess {
  4.     println( "老码请你吃火锅！")
  5. }

你永远吃不到老码的火锅，因为这里编译器会咆哮：

  1. /Users/tyrion-OldCoder/Documents/Learning/BoolType/BoolType/main.swift:27:4: Type 'OCBool' does not conform to protocol 'LogicValue'

OCBool现在只能用bool类型初始化，而不能直接返回bool型，小火把们还记得在《老码说编程之白话Swift江湖》中，老码多次提到，妈妈再也不担心我们 if a = 1{}的写法了， 因为等号不支持值返回了， 所以在if判断是后面的条件必须有返回值，OCBool没有，所以编译器哭了。我们解决这个问题。

代码示例如下：
  1. import Foundation
  3. println("Hello, World!")
  5. enum OCBool{
  6.     case ocTrue
  7.     case ocFalse
  8. }
  11. extension OCBool: BooleanLiteralConvertible{
  12. static func convertFromBooleanLiteral( value: Bool) ->OCBool{
  13.     return value ? ocTrue : ocFalse
  14.     }
  15. }
  17. extension OCBool: LogicValue{
  18.     func getLogicValue() ->Bool {
  19.         var boolValue: Bool{
  20.         switch self{
  21.         case .ocTrue:
  22.             return true
  23.         case .ocFalse:
  24.             return false
  25.             }
  26.         }
  27.         return boolValue
  28.     }
  29. }
  32. var isSuccess:OCBool = true
  34. if isSuccess {
  35.     println( "老码请你吃火锅！")
  36. }

运行结果如下：

  1. Hello, World!
  2. 老码请你吃火锅！
  3. Program ended with exit code: 0
注意：
  • 如果小伙伴们现在用的是Beta版的Xcode，注意苹果官方Blog中，在代码第17行如果在Xcode Beta4下是错误的，这里的协议是，LogicValue而不是BooleanVue，所以记得看错误提示才是好习惯。
  • 注意代码第34行，完美支持if判断，且输出结果为“老码请你吃火锅”，老码也是说说而已，请不要当真。

支持兼容各们各派的类型

小伙伴们，江湖风险，门派众多，老码有自己的OCBool类型，可能嵩山少林有自己的SSBool类型，甚至连郭美美都可能有自己的MMBool类型，所以OCBool必须能够识别这些类型，这些各门各派的类型，只要支持LogicValue协议，就应该可以被识别，看老码怎么做，

代码示例如下：
  1. extension OCBool{
  2.     init( _ v: LogicValue )
  3.     {
  4.         if v.getLogicValue(){
  5.             self = .ocTrue
  6.         }
  7.         else{
  8.             self = .ocFalse
  9.         }
  10.     }
  12. }
  14. var mmResult: Bool = true
  15. var ocResult:OCBool = OCBool(mmResult)
  18. if ocResult {
  19.     println( "老码没钱，郭美美请你吃火锅！")
  20. }
代码运行结果如下：
  1. Hello, World!
  2. 老码没钱，郭美美请你吃火锅！
  3. Program ended with exit code: 0

漂亮！我们的OCBool类型现在支持了所有的逻辑变量初始化。

注意：
  • 代码中第2行：“_”下横杠的用法，这是一个功能强大的小强，在此的目的是屏蔽外部参数名，所以小伙伴们可以直接：var ocResult:OCBool = OCBool(mmResult)而不是：var ocResult:OCBool = OCBool(v: mmResult)，小伙伴们惊呆了！这个init函数中本来就没有外部参数名啊，还记得老码在书里说过没，Swift的初始化函数会默认使用内部参数名，作为外部参数名。

完善OCBool的布尔基因体系：

小伙伴们，bool类型的价值就是在于各种判断，诸如==，!=, &，|,^,!，以及各种组合逻辑运算，我们OCBool也要具备这些功能，否则就会基因缺陷，且看老码如何实现：

  1. extension OCBool: Equatable{
  2. }
  4. //支持等值判断运算符
  5. func ==( left: OCBool, right: OCBool )->Bool{
  6.     switch (left, right){
  7.     case (.ocTrue, .ocTrue):
  8.             return true
  9.     default:
  10.         return false
  11.     }
  12. }
  13. //支持位与运算符
  14. func &( left:OCBool, right: OCBool)->OCBool{
  16.     if left{
  17.         return right
  18.     }
  19.     else{
  20.         return false
  21.     }
  22. }
  23. //支持位或运算符
  24. func |( left:OCBool, right: OCBool)->OCBool{
  26.     if left{
  27.         return true
  28.     }
  29.     else{
  30.         return right
  31.     }
  32. }
  34. //支持位异或运算符
  35. func ^( left:OCBool, right: OCBool)->OCBool{
  36.     return OCBool( left != right )
  37. }
  38. //支持求反运算符
  39. @prefix func !( a:OCBool )-> OCBool{
  40.     return a ^ true
  41. }
  42. //支持组合求与运算符
  43. func &= (inout left:OCBool, right:OCBool ){
  44.     left = left & right
  45. }
  48. var isHasMoney:OCBool = true
  49. var isHasWife:OCBool = true
  50. var isHasHealty:OCBool = true
  51. var isHasLover:OCBool = true
  53. isHasMoney != isHasHealty
  54. isHasHealty == isHasMoney
  55. isHasWife ^ isHasLover
  56. isHasWife = !isHasLover
  58. if (isHasMoney | isHasHealty) & isHasHealty{
  59.     println( "人生赢家，就像老码一样！")
  60. }else
  61. {
  62.     println("人生最苦的事事，人死了钱没花了，人生最苦的事是，人活着，钱没了！")
  63. }

好了，到这里就到这里了，窗外的雷声叫醒了老码，现在应该去吃饭了，以上老码给大家展示了如果制造一个自己的类型，记得老码的示例是在Xcode6 Beta4下测试的，至于Beta5的改变还没有涉及，小伙伴们要好生练习，以后各种自定类型都是基于这个思想。还有这个章节不是老码的原创，老码认真的阅读了苹果的官方博客，且自己的练习总结，如果小伙伴们费了吃奶的劲还是看不懂，请找度娘谷歌，还是看不懂请到老码官方微博：http://weibo.com/u/5241713117咆哮。

本文由翻译自Apple Swift Blog ：https://developer.apple.com/swift/blog/?id=8