现代编程语言系列2:安全表达可选值

网友投稿 738 2022-05-30

问题与解决方案

传统编程语言中往往使用空值(null 或者 None、nil 等)来表达可选值,可谓简单粗暴。

因为这样一来,就需要在每一处使用的地方判断相应的值是否为空,一旦疏忽大意就可能导致程序出错甚至崩溃。不仅如此,正如著名的《十亿美元的错误》与《计算机科学中的最严重错误》所说,传统空值还引入了一系列其他问题:破坏了类型系统、易与空容器混为一谈、表意模凌两可、难以调试、不便同语言的其他特性结合使用等。

因此,现代编程语言基本都会避免使用传统空值,而采用更安全的方式来表达可选值,具体方式主要有两种:

受限的空值:Kotlin、Swift、Hack 等。

可选值类型:Haskell、Rust、Julia、OCaml、Swift、F#、Scala、Java 8+、C++17+等。

现代编程语言系列2:安全表达可选值

你没看错,Swift 在两边都站队了。这倒并不是它采用了两种不同的机制,相反,它在一致的底层机制基础上,同时兼容两种上层语法。

另外 F#、Scala、Java 8+、C++ 17+ 实际上处于灰色地带,它们虽然推荐使用可选值类型,却也支持传统空值。

值得一提的是,无论采用哪种方式,其安全性都是由类型系统来保障的。 虽然这并不仅限于静态类型语言(Hack 与 Julia 都是动态类型语言),不过确实需要一定程度的静态类型支持,这也从侧面反映了现代编程语言的静态类型趋势。

历史包袱

采用受限空值的语言可能都与历史包袱有关:Kotlin 中有 null 因为 Java 中有,Hack 中有 null 因为 PHP 中有,Swift 中有 nil 因为 Objective-C 中有。

处于灰色地带的 F#、Scala、Java 8+、C++ 17+ 同样有历史包袱,因为需要与 .Net/JVM 平台的其他语言互操作或者要兼容本语言的旧版本。

但是两队语言做了不同的抉择:一队采用受限的空值取代了传统空值;另一队引入了可选值类型的同时,却还保留传统空值。于是后面这队语言虽有安全的方式,却也无法摆脱传统空值的纠缠。Java 8 与 C++ 17 为了兼容历史版本或是无奈之选,但是如果历史重新给 F# 与 Scala 选择机会的话,会不会采用 Swift 的方案更好一些?

受限的空值

在采用受限的空值来表达可选值的编程语言中,对空值的使用有以下限制: 1. 语言中严格区分可空类型与非空类型,不能直接将可空值用于只接受非空值的地方。 2. 语言中通过特定语法访问可空类型对象的成员,也需要特定语法由可空值得到非空值。

区分可空与非空类型

Kotlin、Swift、Hack 都严格区分可空类型与非空类型,并且类型都默认非空,对于可空类型也都采用加注 ? 的方式来表达(只是 Hack 放在类型名前,Kotlin 与 Swift 放在类型名后)。我们看些具体的示例:

Swift 版与之非常类似,只需将 val 替换为 let、null 替换为 nil 即可。Hack 语法与它们差异大些、并且需要采用函数形式来表达上述示例,但其相似性还是很明显的:

除了变量声明与赋值、函数返回值之外,三门语言对函数传参、数学运算等各种表达式都会严格区分可空与非空类型。

可空性传播

在采用受限空值的编程语言中,无法直接访问可空类型对象的成员,需要使用特殊语法。在 Kotlin 与 Swift 中使用 ?. 语法,在 Hack 中使用 ?-> 语法。例如输出一个可空字符串的长度:

Kotlin 代码,输出是 12:

Swift 代码,输出是 Optional(12):

Hack 代码有些复杂,因为内置字符串值不是对象,所以需要模拟出一个对象,其输出是 12:

Swift 输出的是 Optional(12),它明确表明这是一个 Int? 值。Kotlin 与 Swift 虽然直接输出了数字,但其值同样是可空整型,不能用于只接受非空整数的地方。?./?->的求值逻辑为: 1. 如果对象非空,那么访问相应成员。 2. 如果对象为空,返回空。 3. 返回类型为可空类型。

以 Kotlin 为例,虽然 String 的 length 属性是非空成员,但因为 hello 是可空的,进而导致 hello?.length 也是可空的,因此如需继续调用 plus 也要使用 ?. 语法:

并且这一表达式依然是可空的,因此如果还有后续成员访问,就还需使用?.语法:

可空性就像病毒一样感染了整个调用链条,并且会继续传播下去。在 Hack 中与此类似,只是使用?->语法。Swift 的语法与它们不同,对于上述情况,后续链条中用. 即可,但是最终结果仍然是可空值:

Swift 中只有后续成员的返回值本身也是可空类型时才需要再次使用 ?.,参见其官网介绍:

当然,在 Kotlin 中也可以通过高阶函数 let 来简化多级 ?. 的语法,进而达到接近 Swift 的效果:

可空值用于常规函数

如果不是访问成员,而是用于普通函数,例如将上述链式调用的结果传给 sin 函数并输出其结果,该如何实现呢?这在 Kotlin 与 Swift 中分别有不同的语法:

Kotlin 代码:

Swift 代码:

目前在 Hack 中没有类似语法,可以通过更通用的由可空表达式获得非空值的方式实现。

由可空表达式获得非空值

这里只讨论安全获得非空值的方式。由可空表达式安全地获得非空值还需要提供一个默认值,这样就一定能够取得非空值:当表达式求值结果非空时取求值结果,否则取默认值。这在 Kotlin 中通过 Elvis 操作符(?:)来实现,在 Swift 与 Hack 中通过空接合操作符(??)来实现。

现在有没有觉得受限空值与问号(?)结下了不解之缘 :P

Kotlin 示例:

Swift 示例:

可选值类型

更多的现代编程语言都是采用可选值类型的方式。在这些语言中,都是通过一种专门的包装类型来表达可选值。下表列举了一些语言中可选字符串的类型以及有无值的字面值表示法:

包装后的类型与原类型明显不同,因此无法当作原类型来用。那么应该如何使用呢?

显式判断与模式匹配

最简单的使用方式是显式判断,例如求一个可选字符串的长度(Julia):

如果用 C++ 或者 Java 实现会与之非常相似。而对于上文所列的其他使用可选值类型的语言,都可以采用模式匹配的方式实现类似功能。例如(Haskell):

在 Haskell 中只需在声明函数时对 Maybe String 类型参数的不同模式 Nothing 与 Just s 分别编写实现即可。函数调用时 Haskell 会根据实参类型自动匹配到相应实现。

实际上,Julia 虽然没有在语言级支持完整的模式匹配,但是在 Julia 中可以通过泛型函数实现与上述 Haskell 代码类似的写法:

我们再看一下 Rust 的写法:

这段代码乍一看跟传统语言的 switch-case 很类似,但实际上要强大的多。上述代码中的 Some(ref s) => 含 s 的表达式 就是传统 switch-case 无法支持的。对于匹配到模式 Some(ref s) 的 Option,Rust 能够自动提取模式中对应的 s,并用于后续处理。

我们可以通过显式判断或模式匹配来处理可选值类型,但通常并不这么做,因为还有更便捷的方式。

函数式方式

以函数式方式实现求一个可选字符串的长度的代码,可以这样写(Java):

这里用到了 Optional 的两个方法:map() 与 orElse()。

其中 Optional.map() 接受一个函数式接口参数 mapper(可以传入 lambda 表达式或者方法引用),如果可选值无值,那么直接返回 Optional.empty();而如果有值,那么返回对其值调用 mapper 所得结果的 Optional 包装。

Optional.orElse() 接受一个 U 类型的参数 default,如果可选值有值则返回其值,如果无值返回 default,因此通过 Optional.orElse() 总能得到一个 U 类型的值。

实际上,可选值类型是 Functor、Applicative、Monad,上述 Optional.map() 相当于 Haskell 中 Functor 的 fmap/<$>。此外,常用的还有相当于 Monad 的 >>= 的函数,如 Java 的 Optional.flatMap()、Rust 的 Option::and_then()、F# 的 Option.bind 等。我们看一个 F# 的示例——对一个整数可选值求余:

示例中首先定义了一个安全求余运算符 %?,当除数为 0 时它返回 None,否则返回 Some 余数。 %? 只接受整数作除数,如需将其应用到 int option 可以借助 Option.map,但是这样得到的结果是嵌套的 option(即 int option option)。 有没有可能直接得到单层的 int option 呢?——这就需要 Option.bind 大显身手了,如例中所示。

注:上文所列的其他使用可选值类型的语言的标准库没有为可选值类型实现类似 Haskell 中 Applicative 的 liftA2/<*> 的函数,可选用第三方实现或者参考 Applicative 文档或 Kotlin 版图解 Functor、Applicative 与 Monad 自行实现。

综合示例

我们看一个 Kotlin 心印中的示例:实现一个给客户发消息的函数,其中客户、消息、客户的个人信息字段、个人信息的邮箱地址字段都可能无值。用传统 Java 代码实现如下所示:

上述代码使用了卫语句,可以说已经是质量很高的传统 Java 代码了。但由于对其中每处可空值都需要判空,有意义的代码与判空代码各有三行,可以说一半的代码都浪费在了毫无业务价值而又不得不做的事情上了。同时该代码中有 4 个分支、4 个出口,代码虽不多,流程却已略显复杂。而如果使用 Java 8 的 Optional,就可以流畅很多:

在 Swift 语言中,可以综合使用受限空值与可选值类型的语法,代码会更简洁一些:

在 Kotlin 语言中,可以综合使用受限空值与 return 表达式,代码会非常简洁:

综述

传统空值会带来一系列问题,为避免这些问题,现代编程语言通常采用受限的空值或者可选值类型来表达可选值。这些现代编程语言不仅通过类型系统确保了可选值的安全性,还提供了各种相对便利的使用方式来提升可选值的易用性。

这里的可选值(optional value)是指可能无值也可能有一个值的情况,在一些编程语言中称为可空值(nullable value)。

本文转载自异步社区。

Java 安全

版权声明:本文内容由网络用户投稿,版权归原作者所有,本站不拥有其著作权,亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容,请联系我们jiasou666@gmail.com 处理,核实后本网站将在24小时内删除侵权内容。

上一篇:全面解读文本情感分析任务
下一篇:《深度学习:卷积神经网络从入门到精通》——1.6 卷积神经网络的平台和工具
相关文章