Why Coding Like this -------Optional揭秘 自己写一个可选类型类
2015-08-12 10:07
495 查看
title: “Why coding like This —— Optional 揭秘”
date: 2015-08-12 00:21:16
categories: “why coding like this”
tags: [swift进阶]
其中第四种方法仅在xcode7环境 以及swift2.0语法下支持。更多语法改动请点击这里。关于可选类型解包请点击这里。 更多基础语法请查看官方文档。
根据思路我们写出了该枚举类型,
我们巧妙使用了泛型匹配任何类型,并且利用枚举的Associated Values对存在值x进行了关联。为了更好地使用我们会加上初始化方法声明,代码如下:
看上去还不错,但和swift中的可选类型有一定差距,以上仅仅只是让你从另一面去了解可选类型。
首先我们仍然使用泛型来声明,那么传入一个可选类型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?
命题一
给定某个变量,在程序运行的时候存在两种情况:不存在任何值;存在值,等于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 当做一个闭包来干了
总结:可选类型难度不大,但是对初学者来说还是一道坎,毕竟以前没有这种概念,多码码代码自然就熟悉了。不知不觉写到深夜了,洗洗睡了。
相关文章推荐
- Apache+Tomcat集群配置
- setsockopt用法详解
- saltstack初探
- Hdu4349 Xiao Ming's Hope
- LNMP--Nginx不记录指定文件日志
- ALSA(高级Linux声音架构):一 简单例子
- setsockopt结构体分析
- POJ 2186 Popular Cows
- Linux忘记 root密码的解决办法
- linux系统 使用git图形化管理工具———gitk
- DNSPod--国内最早提供免费智能DNS产品的网站,致力于为各类网站提供高质量的多线智能DNS免费解析
- Linux下which、whereis、locate、find 命令的区别
- Ubuntu系统下的Hadoop集群(2)_使用命令行编译打包运行自己的MapReduce程序
- linux kernel的中断子系统之(八):softirq
- 深入理解Linux内核-进程地址空间
- hadoop学习笔记 Hadoop进程
- iOS应用架构谈(一):架构设计的方法论
- nginx与Apache的优缺点
- 监控与性能分析系列:3)systemtap
- 基金公司官方网站设计建设