Why Coding Like this -------Optional揭秘自己写一个可选类型类_app

概述title: “Why coding like This —— Optional 揭秘” date: 2015-08-12 00:21:16 categories: “why coding like this” tags: [swift进阶] Optional 揭秘 Topic 1: 请简单写出可选类型的声明方式，以及几种解包形式。 Example: /// 几种声明方式var optional

Title: “Why Coding like This —— Optional 揭秘”
date: 2015-08-12 00:21:16
categorIEs: “why Coding like this”
Tags: [swift进阶]

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? @H_502_112@命题一

给定某个变量，在程序运行的时候存在两种情况:不存在任何值;存在值，等于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 valuevar 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? = nillet 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 当做一个闭包来干了