Scala中的Option类型

Option类型

• Scala 为可选值定义了一个Option的标准类型。这种类型只有两种形式。一种是用样例子类Some包装起来的——Some(x)形式，其中x是实际值，另一种是样例对象None，代表缺省的值或者说没有值。

• Option支持泛型

• Scala集合类的某些标准操作会产生可选值。比如Map类的get方法返回一个Option，如果对于给定的键有对应的值，就会把值包装到Some中返回，否则就返回None

  scala> val map  = Map("id" -> 1234, "name" -> "steven", "gender" -> "male", "age" -> 18)
  map: scala.collection.immutable.Map[String,Any] = Map(id -> 1234, name -> steven, gender -> male, age -> 18)
  
  scala> map get "id"
  res2: Option[Any] = Some(1234)
  
  scala> map get "phone"
  res3: Option[Any] = None
  

  ​

• 通常使用模式匹配分离可选值

  def display(arg: Option[Any]) = arg match {
    case Some(attr) => attr
    case None => "???"
  }
  display: (arg: Option[Any])Any
  
  scala> display(map get "id")
  res6: Any = 1234
  
  scala> display(map get "phone")
  res8: Any = ???
  
  

• 可以把Option当作一个要么为空，要么是只有一个元素的集合。map，foreach，filter等方法都可以直接使用

  scala> map get "id" foreach println _
  1234
  
  // 如果是None，就什么也不做
  scala> map get "phone" foreach println _
  

  ​

总结：

​ Option类型在Scala中经常用到。与之相较，在Java中最常用的是代表没有值的null。例如java.util.HashMap的get方法要么返回储存参HashMap中的值，要么返回null。这种方式对Java起效，不过可能会隐藏错误，因为很难在实际记住程序中那个变量可以为null。如果变量允许为null，那么在每次使用时都必须检查是否为null。一旦忘记检查，就很难避免运行时发生的NullPointerException异常。又因为这种异常不是经常发生，所以想要通过测试发现是很困难的。对于Scala来说，这种方式根本不起作用，因为可以在哈希映射中存储值类型，而null不是值类型的合法元素。也就是说，HashMap[Int, Int] 不能返回null来表明没有元素。

​ Scala鼓励对Option的使用说明值是可选的。这种处理可选值的方式有若干超越Java的优点。首先，对于代码读者来说，Option[String] 类型的变量是可选的String，这比String类型的变量或可能有时是null来说要更为明显。但最重要的是，之前描述的因为使用可能为null而没有首先检查是否为null的变量产生的编程错误在Scala中就变成了类型错误。如果变量是Option[String]类型，而你把它当作String类型使用，是无法通过编译的。