【Scala】使用Option、Some、None,避免使用null

避免null使用

大多数语言都有一个特殊的关键字或者对象来表示一个对象引用的是“无”,在Java,它是null。在Java 里,null 是一个关键字,不是一个对象,所以对它调用不论什么方法都是非法的。

可是这对语言设计者来说是一件令人疑惑的选择。

为什么要在程序猿希望返回一个对象的时候返回一个关键字呢?

Scala的Option类型

为了让全部东西都是对象的目标更加一致,也为了遵循函数式编程的习惯。Scala鼓舞你在变量和函数返回值可能不会引用不论什么值的时候使用Option类型。

在没有值的时候。使用None,这是Option的一个子类。假设有值能够引用,就使用Some来包括这个值。

Some也是Option的子类。

None被声明为一个对象,而不是一个类。由于我们仅仅须要它的一个实例。这样。它多少有点像null关键字。但它却是一个实实在在的。有方法的对象。

应用样例

Option类型的值通常作为Scala集合类型(List,Map等)操作的返回类型。

比方Map的get方法:

scala> val capitals = Map("France"->"Paris", "Japan"->"Tokyo", "China"->"Beijing")
capitals: scala.collection.immutable.Map[String,String] = Map(France -> Paris, Japan -> Tokyo, China -> Beijing)

scala> capitals get "France"
res0: Option[String] = Some(Paris)

scala> capitals get "North Pole"
res1: Option[String] = None

Option有两个子类别,Some和None。当程序回传Some的时候,代表这个函式成功地给了你一个String,而你能够透过get()函数拿到那个String,假设程序返回的是None。则代表没有字符串能够给你。

在返回None。也就是没有String给你的时候。假设你还硬要调用get()来取得 String 的话,Scala一样是会抛出一个NoSuchElementException异常给你的。

我们也能够选用另外一个方法,getOrElse。这种方法在这个Option是Some的实例时返回相应的值,而在是None的实例时返回传入的參数。换句话说。传入getOrElse的參数实际上是默认返回值。

scala> capitals get "North Pole" get
warning: there was one feature warning; re-run with -feature for details
java.util.NoSuchElementException: None.get
  at scala.None$.get(Option.scala:347)
  at scala.None$.get(Option.scala:345)
  ... 33 elided

scala> capitals get "France" get
warning: there was one feature warning; re-run with -feature for details
res3: String = Paris

scala> (capitals get "North Pole") getOrElse "Oops"
res7: String = Oops

scala> capitals get "France" getOrElse "Oops"
res8: String = Paris

通过模式匹配分离可选值,假设匹配的值是Some的话,将Some里的值抽出赋给x变量:

def showCapital(x: Option[String]) = x match {
    case Some(s) => s
    case None => "?

"
}

提示

Scala程序使用Option非常频繁,在Java中使用null来表示空值,代码中非常多地方都要加入null关键字检測,不然非常easy出现NullPointException。

因此Java程序须要关心那些变量可能是null,而这些变量出现null的可能性非常低,但一但出现,非常难查出为什么出现NullPointerException。

Scala的Option类型能够避免这样的情况,因此Scala应用推荐使用Option类型来代表一些可选值。使用Option类型,读者一眼就能够看出这样的类型的值可能为None。

实际上,多亏Scala的静态类型,你并不能错误地尝试在一个可能为null的值上调用方法。

尽管在Java中这是个非常easy犯的错误,它在Scala却通只是编译,这是由于Java中没有检查变量是否为null的编程作为变成Scala中的类型错误(不能将Option[String]当做String来使用)。

所以,Option的使用极强地鼓舞了更加弹性的编程习惯。

具体解释Option[T]

在Scala里Option[T]实际上是一个容器,就像数组或是List一样,你能够把他看成是一个可能有零到一个元素的List。

当你的Option里面有东西的时候,这个List的长度是1(也就是 Some)。而当你的Option里没有东西的时候。它的长度是0(也就是 None)。

for循环

假设我们把Option当成一般的List来用。并且用一个for循环来走訪这个Option的时候,假设Option是None,那这个for循环里的程序代码自然不会运行,于是我们就达到了「不用检查Option是否为None这件事。

scala> val map1 = Map("key1" -> "value1")
map1: scala.collection.immutable.Map[String,String] = Map(key1 -> value1)

scala> val value1 = map1.get("key1")
value1: Option[String] = Some(value1)

scala> val value2 = map1.get("key2")
value2: Option[String] = None

scala> def printContentLength(x: Option[String]) {
     |   for (c <- x){
     |     println(c.length)
     |   }
     | }
printContentLength: (x: Option[String])Unit

scala> printContentLength(value1)
6

scala> printContentLength(value2)

map操作

在函数式编程中有一个核心的概念之中的一个是转换。所以大部份支持函数式编程语言,都支持一种叫map()的动作。这个动作是能够帮你把某个容器的内容,套上一些动作之后,变成还有一个新的容器。

如今我们考虑怎样用Option的map方法实现length: xxx的输出形式:

先算出 Option 容器内字符串的长度

然后在长度前面加上 “length: ” 字样

最后把容器走訪一次,印出容器内的东西

scala> value1.map(_.length).map("length: " + _).foreach(println)
length: 6

scala> value1.map("length: " + _.length).foreach(println)
length: 6

透过这样「转换」的方法,我们一样能够达成想要的效果。并且相同不用去做「是否为 None」的推断。

转载请注明作者Jason Ding及其出处

GitCafe博客主页(http://jasonding1354.gitcafe.io/)

Github博客主页(http://jasonding1354.github.io/)

CSDN博客(http://blog.csdn.net/jasonding1354)

简书主页(http://www.jianshu.com/users/2bd9b48f6ea8/latest_articles)

Google搜索jasonding1354进入我的博客主页

时间: 2024-10-05 04:11:03

【Scala】使用Option、Some、None,避免使用null的相关文章

scala中option、None、some对象

转载:http://www.jianshu.com/p/95896d06a94d 1.option类型避免对象是空值,造成空指针异常. 2.None对象表示null,在没有对象返回时使用,some在有对象值时使用. 避免null使用 大多数语言都有一个特殊的关键字或者对象来表示一个对象引用的是"无",在Java,它是null.在Java 里,null 是一个关键字,不是一个对象,所以对它调用任何方法都是非法的.但是这对语言设计者来说是一件令人疑惑的选择.为什么要在程序员希望返回一个对象

每天学一点Scala之Option[A]

经常在marathon源码和spark源码中看见Option[A]的身影,那它到底是用来干什么的呢? 其实,Option 就像是一个容器,一个箱子:Option[A]有两种结果: A.Some[A] 表示容器不为空,存在A,然后就可以进行其他业务逻辑计算,如调用foreach,flatMap 等 B.  None 表示容器为空,A是不存在的

Scala avoid null(Option, Some, and None)

在Java里, NullPointerException不知道会在什么时候发生,导致代码到处都是判断null的情况. 比如如下例子, val stateCapitals = Map(   "Alabama" -> "Montgomery",   "Alaska" -> "Juneau",   "Wyoming" -> "Cheyenne") println("

scala学习手记19 - Option类型

看到Option类型就知道这本教材应该要说那个了. 使用过guava后,应该知道guava中的Optional类的作用是什么.算了找下原始文档好了: Optional<T> is a way of replacing a nullable T reference with a non-null value. An Optional may either contain a non-null T reference (in which case we say the reference is &

Scala入门到精通——第二十五节 提取器(Extractor)

作者:摇摆少年梦 视频地址:http://www.xuetuwuyou.com/course/12 本节主要内容 apply与unapply方法 零变量或变量的模式匹配 提取器与序列模式 scala中的占位符使用总结 1. apply与unapply方法 apply方法我们已经非常熟悉了,它帮助我们无需new操作就可以创建对象,而unapply方法则用于析构出对象,在模式匹配中特别提到,如果一个类要能够应用于模式匹配当中,必须将类声明为case class,因为一旦被定义为case class,

初学scala1——Option

Scala的Option[T]是容器对于给定的类型的零个或一个元件.Option[T]可完美替代Java中的null,可以是Some[T]或者None. 例如,Scala Map的get方法输出即为Option[T]. def main(args: Array[String]): Unit = { val capitals = Map("France" -> "Paris", "China" -> "Beijing"

Scala中的空

Scala的有即Any,Scala的无是Null,null,Nil,Nothing,None,Unit.那么这几种空有什么区别呢? 一.Null&null 很多人一辈子都没有走出这个无.Null是一个Trait,你不能创建她它的实例.但是Scala在语言层面上存在一个Null的实例,那就是null.Java中的null意味着引用并没有指向任何对象.但存在一个悖论,一切都是对象,那没有对象是不是也是对象呢?Scala定义了一个类似于对象语义的Null,和一个值语义的null.这样面向对象在空引用的

Scala note 1

Recently I transit to use scala to program. scala is a functional and objected oriented language, but it has seamless java Interoperability  (they both run in JVM and freely mixed). Compared to the java that I am familiar to,  there are some common c

Scala的数据类型和基础语法

 lang 2.1.     和Java的异同 2.1.1.  语法 Java++:增加的语法 Java--:删减的语法 纯OO 静态成员 操作符重载 原生数据类型 closure break.continue 使用trait进行mixin组合 接口 existential type(_) 通配符List<?>, import pkg.*; 抽象类型 (type T) class C1[T] {...} 原始类型 class C1<T> {...} 模式匹配 enum枚举 注: