Optional 揭秘
Topic 1:
请简单写出可选类型的声明方式，以及几种解包形式。
Example:
/// 几种声明方式
var optionalValue : Optional<Int> //完整声明 注意<>中的都是类型
var optionalValue2 : Int? //显示声明
var optionalValue3 : Int! //隐式声明
/// 几种解包
/// 演示值
var someOptional:Int? = 3 //初始值为3
/// 1.通过判断是否等于nil 这里并未解包 只能保证安全性
if someOptional != nil{
println("value is \(someOptional!)")
}
/// 2.if-let绑定
if let value = someOptional{
println("value is \(value)")
}
/// 3.??解包
println("value is \(someOptional ?? 2)")
/// 4.swift2.0新的匹配模式 但是要在xcode7环境
//新增使用enumeration匹配 也就是枚举匹配方式
if case .Some(let x) = someOptional{
println("someOptional value is \(x)") //如果为nil 情况 可不会输出东西 因为匹配的是Some!
}
//新增使用可选模式匹配
if case let x? = someOptional{
println("someOptional value is \(x)") //不需要对x进行解包之类的东东
}
其中第四种方法仅在xcode7环境 以及swift2.0语法下支持。更多语法改动请点击这里。关于可选类型解包请点击这里。 更多基础语法请查看官方文档。
why coding like this?
命题一
给定某个变量，在程序运行的时候存在两种情况:不存在任何值;存在值，等于x。设计一个类型来封装这种情况。
思路
其实谈不上思路，但是命题中指出存在两种情况，让我不禁想到枚举(当然更多受swift本身影响)，swift中的枚举无比强大，倘若你是新手，建议再次阅读官方文档enumerate章节。Ok，接下来就是代码部分开始设计枚举类型。
代码
声明:一步步来，你会发现很有意思。
enum MyOptional{
case None
case Some
}
根据思路我们写出了该枚举类型，None表示不存在值，Some表示有值；不难发现定义的类型存在一些弊端，首先我们的变量可能是Int,String,Double，而此处未明确涵盖；其次在有值情况下并未和实际值关联。根据以上几点对自定义枚举进行修改，如下：
enum MyOptional<T>{
case None
case Some(T)
}
//特别申明 这种方式在swift1.2下是不支持的 由于和本节无关 就不扯了 但是我们自定义一个类来包裹
//貌似swift2.0是支持的....
enum Result<T>{
case Success(T)
case Failure(NSError)
}
我们巧妙使用了泛型匹配任何类型，并且利用枚举的Associated Values对存在值x进行了关联。为了更好地使用我们会加上初始化方法声明，代码如下：
enum MyOptional<T>{
case None
case Some(T)
//生成一个有值的可选类型
init(_ value:T){
self = .Some(value)
}
//nil
init(_ nilLiteral:()){
self = .None
}
}
//my optional value
var myValue : MyOptional<Int> = MyOptional(2)
var myNil: MyOptional<Int> = MyOptional()
//测试下我们的蹩脚可选类型
switch myValue{
case .None:
println("nil")
case .Some(let x):
println("value is \(x)")
}
switch myNil{
case .None:
println("nil")
case .Some(let x):
println("value is \(x)")
}
看上去还不错，但和swift中的可选类型有一定差距，以上仅仅只是让你从另一面去了解可选类型。
命题二
可选类型中的??解包运算符你能否自己实现？ 自定义一个-->解包运算符！
思路
解包行为无非是那么几种，我们只要重载运算符即可。
代码
infix operator -->{ associativity right precedence 110 }
func ??<T>(optional:T?,defaultValue:T)->T{
// 我选择了if-let解包
if let x = optional{
return x
}else{
return defaultValue
}
}
//测试下
var oo : Int? = nil
let r = oo --> 5 //输出5
首先我们仍然使用泛型来声明，那么传入一个可选类型optional，它可能有值=x,可能不存在值(nil)，无值的情况下使用defaultValue。
但是考虑到defaultValue有时候并非是一个值，也许是一个闭包呢，反馈一个T值。因此对函数稍加修改。
//代码二
func --><T>(optional:T?,defaultValue:()->T)->T{
// 我选择了if-let解包
if let x = optional{
return x
}else{
return defaultValue()
}
}
var rr = oo --> {7} //返回7
可以看到使用过程中我们对defaultValue闭包必须明确表示，用{}来包裹。可是单值情况下，用{}包裹感觉很变扭，因此我们还需要稍加改动，利用autoclosure特性来解决这一问题，最后代码如下：
infix operator -->{ associativity right precedence 110 } //这个很重要
func --><T>(optional:T?,@autoclosure defaultValue:()->T)->T{
// 我选择了if-let解包
if let x = optional{
return x
}else{
return defaultValue()
}
}
var rrr = oo --> 5+4 //可以看到 自动把 5+4 当做一个闭包来干了
总结：可选类型难度不大，但是对初学者来说还是一道坎，毕竟以前没有这种概念，多码码代码自然就熟悉了。不知不觉写到深夜了，洗洗睡了。
