可以在Scala中添加/创建从T到Option [T]的隐式转换吗？

Question

这是一个让事情变得更有效率的机会（对于prorammer）：我发现它有些烦人，不得不将东西包装在Some中，例如， Some(5)。那么像这样的事情：

implicit def T2OptionT(x : T) : Option[T] = if (x == null) None else Some(x) 

Answer 1

你会失去一些类型的安全性，并可能导致混淆。 例如：

val iThinkThisIsAList = 2 
    for (i <- iThinkThisIsAList) yield { i + 1 } 

我（无论何种原因）认为我有一个列表，它没有编译器，当我遍历它，因为它是自动转换为一个选项被逮住[INT] 。

我应该补充一点，我认为这是一个很好的隐含显式导入，可能不是全局默认。

Answer 2

看起来，这可能会让其他开发人员感到困惑，因为他们读取您的代码。

一般来说，似乎implicit致力于帮助投从一个对象到另一个，切出混乱铸造代码，可能会搞乱代码，但是，如果我有一些变量，它在某种程度上成为一个Some那么这似乎是麻烦。

您可能想要放一些代码来显示它正在使用，看看它会有多混乱。

Answer 3

对我来说这看起来不错，但它可能不适用于原始T（不能为空）。我想一个非专门的通用总是获得盒装原语，所以可能没关系。

Answer 4

请注意，您可以使用explicit implicit模式，以避免混淆并保持代码简洁。

我的意思是明确的暗示是什么，而不是有从T直接转换到Option[T]你可以有一个转换的包装对象，它提供的手段来进行转换，从T到Option[T]。

class Optionable[T <: AnyRef](value: T) { 
    def toOption: Option[T] = if (value == null) None else Some(value) 
} 

implicit def anyRefToOptionable[T <: AnyRef](value: T) = new Optionable(value) 

...我会为它找到一个更好的名字比Optionable，但现在像您可以编写代码：

val x: String = "foo" 
x.toOption // Some("foo") 

val y: String = null 
x.toOption // None 

我相信这种方式是完全透明的，在认识艾滋病书面代码 - 以很好的方式消除null的所有检查。

请注意T <: AnyRef - 对于允许使用null值的类型，您应该只进行这种隐式转换，该值根据定义是引用类型。

Answer 5

的隐式转换的一般准则如下：

• 当你需要添加成员类型（一拉“公开课”，也称为“皮条客我的图书馆”图案），转换成新类型，它延伸AnyRef，它只定义你需要的成员。
• 当您需要“更正”继承层次结构时。因此，您有一些类型A，其中应具有子类B，但没有出于某种原因。在这种情况下，您可以定义从A到B的隐式转换。

这些是只有适用于定义隐式转换的情况。任何其他转换都会匆忙地进入类型安全和正确性问题。

对T来说延长Option[T]确实没有任何意义，显然转换的目的不是简单地增加成员。因此，这种转换是不可取的。

Answer 6

您也可以尝试重载方法：

def having(key:String) = having(key, None) 

def having(key:String, default:String) = having(key, Some(default)) 

def having(key: String, default: Option[String]=Option.empty) : Create = { 
    keys += ((key, default)) 
    this 
}