swift 进阶笔记 (一) —— 可选型

swift定义可选型的时候，要用“?”，但是在swift的标准库中，可选型的定义是Optional<T>，”?”只是个简写形式。

var myNum: Int?

var myNum: Optional<Int>

两句等价

可以看出可选型是个泛型，而Optional又是个枚举，Optional可以是 None,也可以是Some(T):

protocol  Reflectable {
     /// Get the mirror that reflects this object.
     func  getMirror() ->  Mirror
}

protocol  LogicValue {
     func  getLogicValue() ->  Bool
}

enum  Optional<T> :  LogicValue ,  Reflectable  {
     case  None
     case  Some(T)
     init ()
     init ( _  some:  T )

     /// Allow use in a Boolean context.
     func  getLogicValue() ->  Bool

     /// Haskell's fmap, which was mis-named
     func  map<U>(f: ( T ) ->  U ) ->  U ?
     func  getMirror() ->  Mirror
}

从定义中可以看出，可选型是符合LogicValue协议的，所以，可以被用在if判断中。那么这里就有一个很好玩的事情了：在swift中，Int并不可以写在 if中，比如:

var a:Int = 3

if a {           //这里会报错

     println(“hehe")

}

但是我们学过扩展，我们可以自行让Int写在if中：

extension   Int : LogicValue  {          //我让Int遵循了LogicValue协议
     func  getLogicValue() ->  Bool  {     //实现LogicValue协议的要求
         if   self  !=  0  {               //非0的话，返回true,否则返回false
             return   true
        }  else  {
             return   false
        }
    }
}

var  a: Int  =  3

if   a  {     //这里不会报错了！！！
     println ( "hehe" )
}

是不是忽然觉得很灵活，很好玩。。。只要附合语言解析的逻辑，就可以创造出很多玩法。。。。

但是。。。这只是玩玩，千万别用在项目里，如果真要用，这也仅仅是语法糖。。。 

隐式解析可选型

之前提到可选型 “?”是Optional<T>的简写形式。

”!”则是ImplicitylyUnwrappedOptional<T>的简写形式。这叫做隐式解析可选型

如同可选型一样，隐式解析可选型也可以写成两种形式:

var num:Int!

var num:ImplicitlyUnwrappedOptional<Int>