可以在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 
}