scala – 你可以指定None的type参数还是告诉编译器它是一个Optio

发布时间：2020-12-16 21:32:37 所属栏目：安全来源：网络整理

导读：我想知道我是否可以在我的代码中写下这样的东西： None[String] 解决方法我很惊讶没有人提到Option.empty的存在： scala Option.empty[String]res0: Option[String] = None 请注意,在许多情况下,只要使用None,则期望Option [String]可以正常工作. 或者换句

我想知道我是否可以在我的代码中写下这样的东西：

None[String]

解决方法

我很惊讶没有人提到Option.empty的存在：

scala> Option.empty[String]
res0: Option[String] = None

请注意,在许多情况下,只要使用None,则期望Option [String]可以正常工作.
或者换句话说,(如Aleksey Izmailov所示),以下是正确的：

def f(o: Option[String]) = ...; f(None)

这是因为None扩展了Option [Nothing],所以凭借Option是协变的(而Nothing是每个其他类型的子类型),None总是与任何T的Option [T]兼容.

这也是为什么类型归属也是一个很好的选择(对于您需要在选项类型上显式的情况,例如,如果需要驱动类型推断)：

scala> None: Option[String]
res0: Option[String] = None

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!