Emptiness 空值语义
原文: Emptiness
作者: Soroush Khanlou
译者: kemchenj
如果 Swift 里的 array 数组不能为空?
仔细想想: 如果 Swift 已经设计了非空的数组了. 但这会让人很烦对吧? 什么语言有非空的数组?
然而, Swift 比起 C 语言已经修改了很多规则了. 例如, switch 里不需要 break
了, 甚至可以使用 fallthrough
来把几个 case 连接起来. 没有了 ++
操作符, 它是那么的让人迷惑, 多余, 并且没了它语言会变得更好.
还有一点 Swift 跟 C 不一样, Swift 需要显式地声明可空性. Swift 让你使用 Optional
类型, 向类型系统指定某个值是否可能有空. 你可以说你有一个 controller, 或者可能有一个 controller 也可能没有. 类型系统可以在所有地方都检查一遍, 保证这个值在被需要使用时不会为空.
<!--more-->
Doubly Empty
当 Optional
和 Array
产生交汇时, 你会有两种方式去描述空值: nil 或者是空数组.
这可能会有点绕, 例如, 当你检查一个数组是否为 nil 或者为空数组的时候. 例如, 你想要更好地使用 Swift 里的 optional chaining 的时候, optionalArray?.isEmpty
却返回了一个 Optional<Bool>
, 一个本质上很让人迷惑的类型. 如果在 if
判断句里使用了这一描述的话, 编译器会抛出一个编译错误, 因为这是一个 Optional 的布尔值.
optionalArray == []
会被编译, 但会在数组为 nil 的时候返回 false
, 而这并不是我们想要的行为. 你可以有这么几种方式达到目的, 但不多:
if optionalArray == nil || optionalArray == [] {if let array = optionalArray, array.isEmpty {if (optionalArray ?? []).isEmpty {if optionalArray?.isEmpty != false {if optionalArray?.isEmpty ?? false {
最简单的方法是记住不要使用 Optional 的数组. 我一直严格遵守着这个规则, 保证不会把不同类型的"空值"混合到一起. 对于别的"可空"类型我也是这么做的 - 字典, 字符串, 布尔值和一些别的类型. 不得不去检查两种类型的控制检查是我最不想做的事情.
遵守这个规则很容易, 例如说一个类里的属性, 但不可能在所有情况下都遵守这个规则. 例如, 从一个 Optional 的实例那里获取一个数组属性就会成为一个 Optional 的数组.
let wheels = optionalCar?.wheels // 结果是 [Wheel]?
从一个字典里面去获取数组也是一样.
let wheels = dictionary["wheels"] as? [Wheel]
你不得不去在每一个语句后面都加上 ?? []
.
我们刚摆脱了无法分辨 controller 和可空 controller 的困境. 获得了简化语句, 减少错误和可声明的能力. 现在却又遇上了这种窘境.
如果一个数组不能为空, 那 Optional 的数组就代表了空数组, 非 Optional 的数组则总会包含至少一个值. 就不可能同时出现两种语义上的空值了, 而任何采用了别的语义的代码都不会通过编译.
Modeling
非空数组对于建立模型也很有用处. 告诉类型系统一个给定的数组永远不可能为空有时候很有用. 例如, 也许你的 User
类有许多个邮箱, 但如果 user 没有邮箱的话则不应该被验证. 可以让类型系统接收这样的描述是一件很棒的时期, 但现在我们做不到. 其他例子:
一个
Country
国家必须有至少一座City
城市.一张
Album
专辑必须有至少一首Song
歌.一栋
Building
楼必须有至少一层Floor
.
这样的例子一大堆.
如果一个数组类型不能为空, 这些关系和约束全部都可以在类型系统里展现出来, 并且你不能删掉数组里的最后一个元素.
Expressions 语句表述
随着 Optional
类型的出现, 许多表述都被简化 当你知道一个类型永远不可能为空的时候, 你可以跳过空值检查, 用一个更直观的方式去操作它. 对于非空的数组也是一样的. 现在, Collection
协议的方法, 例如 first
, last
, max
和 min
都会返回 Optional
, 只是为了处理数组为空的情况.
有许多的情况下数组都不会为空, 但每当我使用诸如 first
之类的方法的时候, 我还是不得不去做防御, 仅仅只是为了告诉类型系统它不为空.
如果数组不可能为空的话, 这些方法都可以返回一个非空值, 使用这些语句都会变得更容易. 空数组可以通过 optional chaining 来调用这些方法, 而返回值也会是 Optional
.
Appending 插入
如果数组不可能为空, 那往非空数组里插入内容就可以很正常地工作. 但往一个可空数组里插入值就会是一场灾难.
var emptiableArray = //...
emptiableArray == nil? emptiableArray = [newItem]: emptiableArray?.append(newItem)
这很让人心烦, 但好消息是, 在 Swift 3.1 里, 我们可以给特定类型的泛型类型添加 extension. 那么, 我们就可以往 Optional
的 Array
类型添加方法(在这之前, 你只能给使用了遵守了协议的某个类型添加 extension)
extension Optional<Array<Element>> {func append(_ element: Element) {switch self {case .some(array):array.append(element)case .none:self = [element]}}
}
现在我们可以像之前那样畅通无阻的操作了.
Without Loss Of Generality
我们再进一步, 如果数组的泛型参数包含了数组长度呢? 例如, 给 Array<of: 4, element: String>
插入一个值的时候就会返回一个 Array<of: 5, element: String
. 这个概念被称为 dependent types, 并且在一些实验性的带有更先进的类型系统的语言里已经实现了, 例如 Coq, Agda 和 Idris. Oisín 讨论过如何在 Swift 里实现一样的东西出来.
虽然这些东西非常好玩, 但也有一点不切实际. 你想想, 这意味着你不能在类里保存数组了, 除非你知道这个数组的长度永远不会被改变. 在很多情况下, 你不可能知道编译时会有多少个对象从 API 和数据库里被返回
简单的鉴别 空/非空 有很明确的现实意义, 并且也会简化 Swift 很多内部运作方式.
NonEmptyArray
This blog post is mostly a thought experiment. But it’s also a regular experiment. To that end, I built a non-empty array type. You can find it on GitHub here. It acts just like an array, but it isn’t emptiable. It conforms to Sequence
, Collection
, and has ==
and !=
methods.
这篇文章更像是一个 Idea 的尝试. 但这也只是一个常规尝试. 作为结尾, 我建立了一个非空数组类型. 你可以到这里看源码, 运作起来就像一个数组, 但不为空. 遵守 Sequence
, Collection
协议并且有 ==
和 !=
方法.
由于 Swift 的类型系统有一部分我没能完全理解, 但尽管如此, 你还是可以重写协议(例如 Collection
)里的方法(例如 first
), 然后把 Element?
修改了 Element
, Swift 会在调用时争产工作, 并且使用更加明确的类型, Element
. 这意味着 NonEmptyArray
会在 first
, last
, max
和 min
里返回 non-optional, 虽然 Collection
里它们被定义为 Optional
, repo 里的测试有断言来判断这个.
拥有一个绝对不为空的数组会有很多有趣的事情发生. 插入还好, 但删除元素的方法会带来更多问题. 我把这个方法标记为 throws
, 但经过更多思考之后, 这也许不是一种正确地做法. 毕竟, Swift 原生的数组删除元素时也会产生问题, 只是它比起 NonEmptyArray
可以一个以上的元素. Swift 的数组会在尝试删除空数组的元素时调用 fatalError
, 所以也许这才是正确地做法.
我很期待可以把 NonEmptyArray
拆分成几个提案, 看看失去 Swift 原生数组类型的语法糖是否值得, 去换取返回 non-optional 的方法.
Emptiness 空值语义相关推荐
- [NHibernate]集合类(Collections)映射
系列文章 [Nhibernate]体系结构 [NHibernate]ISessionFactory配置 [NHibernate]持久化类(Persistent Classes) [NHibernate ...
- 机器学习中缺失值处理
机器学习中缺失值处理 当我们拿到一批数据的时候,往往都是"不干净"的,而缺失值是最常见也是最容易发现的.不同的缺失值处理方式对接下来的特征提取,建模等都有巨大影响.那么缺失值的处理 ...
- 数据挖掘之缺失值处理
对于数据挖掘和分析人员来说,数据准备(Data Preparation,包括数据的抽取.清洗.转换和集成)常常占据了70%左右的工作量.而在数据准备的过程中,数据质量差又是最常见而且令人头痛的问题.本 ...
- HIBERNATE - 符合Java习惯的关系数据库持久化 Hibernate参考文档
Hibernate参考文档 3.1.2 目录 前言 1. 翻译说明 2. 版权声明 1.Hibernate入门 1.1.前言 1.2.第一部分-第一个Hibernate应用程序 1.2.1.第一个cl ...
- Hibernate中文参考文档(JFIS)
HIBERNATE - 符合Java习惯的关系数据库持久化 下一页 HIBERNATE - 符合Java习惯的关系数据库持久化 Hibernate参考文档 3.0.4 目录 前言 1. 翻译 ...
- Java:如何更优雅的处理空值?
点击上方"方志朋",选择"设为星标" 回复"666"获取新整理的面试资料 来源:lrwinx https://lrwinx.github.i ...
- SQL数据定义、查询、更新+空值的处理 实践学习报告
本篇博客分享的是博主的各种数据操作-实践详细过程(以截图方式展示) 软件:Oracle SQL developer,希望对大家有所帮助咯! 目录 1.学生-课程数据库 2.1.数据定义理论 2.2 ...
- Java中空值处理的感受
为什么80%的码农都做不了架构师?>>> 空值非常麻烦,Java中的空指针异常让人崩溃,Java程序中还是遍布null检查. ** null是一个讨厌鬼 ** null语义不明 ...
- Java项目中如何更优雅的处理空值?
点击上方 好好学java ,选择 星标 公众号重磅资讯,干货,第一时间送达 今日推荐:推荐19个github超牛逼项目!个人原创100W +访问量博客:点击前往,查看更多 来源:https://lrw ...
最新文章
- 最短路径-Floyd(佛洛伊德算法)
- [leetcode] 144. 二叉树的前序遍历
- java面试题(转载其他人,方便日常看)
- Captcha插件后门分析和修复
- 远程Linux主机安装zsh插件zsh-syntax-highlighting
- 关于创业公司的一些事情
- python怎么提交作业_python分析作业提交情况
- MySQL 左右两表比较问题
- Yandex.Algorithm 2011 Round 2 D. Powerful array 莫队算法
- 解决Spring Boot 拦截器注入service为空的问题
- 190320每日一句
- BP神经网络代码实现
- OSChina 周六乱弹 —— 飞机上飞离太阳那么近晒黑了不是很正常吗
- 360+城市空气质量指数-日度数据、良好天数统计(2001-2022年)
- OkHttp3出现java.io.IOException: Hostname was not verified解决方案
- 一个矩阵类,很好用,分享给大家
- 【数据结构】- 几个步骤教你认识并实现一个链表之带头(哨兵位)双向循环链表(中)
- Echarts 柏拉图
- 阿里云发送邮件(mail)失败
- 厦门大学354汉语基础考研参考书目
热门文章
- linux shell $0怎么输出,linux shell中$0,$?,$!等的特殊用法
- linux db2 修改日志路径,db2中更改日志文件大小及其个数
- python知道答案_Python程序设计基础知道章节测试答案
- 计算机网页设计布局与排版研究,论计算机网页设计的布局与排版
- Linux从mysql中读取数据_linux shell中读写操作mysql数据库
- java获取ajax上传的文件,Java使用Ajax异步上传文件
- mysql 修改某字段的格式为 utf8mb4
- MySQL之模糊查询
- qt 多个模型如何显示在表格中_Qt MOOC系列教程 第五章第四节:QML中的C++模型
- 使用CNN做文本分类——将图像2维卷积换成1维