Why Coding like This ?—— Optiona

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 当做一个闭包来干了

总结：可选类型难度不大，但是对初学者来说还是一道坎，毕竟以前没有这种概念，多码码代码自然就熟悉了。不知不觉写到深夜了，洗洗睡了。