scala - Scala 中的选项 monad

Question

Option monad 是如何工作的？我正在浏览 scala api还有一个例子(我的意思是第二个)，

Because of how for comprehension works, if None is returned from request.getParameter, the entire expression results in None

但是当我尝试这段代码时:

 val upper = for {
   name <- None //request.getParameter("name")
   trimmed <- Some(name.trim)
   upper <- Some(trimmed.toUpperCase) if trimmed.length != 0
 } yield upper
 println(upper.getOrElse(""))

我收到编译错误。这应该如何工作？

Answer 1

因此，您会收到编译器错误

  name <- None

这样，None的类型设置为 None.type和变量 name推断为 Nothing 类型. (也就是说，如果它确实存在，它就会有这种类型，但显然 for comprehension 甚至不会在运行时创建它。)因此没有方法 name.trim存在，它不会编译。

如果您有 request.getParameter("name")可用，其类型为 Option[String] , name可能有类型 String和 name.trim会编译。

您可以通过指定 None 的类型来解决此问题。 :

  name <- None: Option[String]