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>