獲取Scala類型綁定錯誤：未找到：類型<％<

Question

所以我一直試圖通過twitter Scala school來學習Scala。但我目前卡在type bound examples之一。

特別是，它是使用<%<類型關係運算符將類型綁定爲某種類型的可視類型。

當我在斯卡拉控制檯執行以下代碼：

scala> class Container[A](value: A) { def addIt(implicit evidence: A <%< Int) = 123 + value } 

...我收到以下錯誤：

<console>:7: error: not found: type <%< 
     class Container[A](value: A) { def addIt(implicit evidence: A <%< Int) = 123 + value } 
                    ^
<console>:7: error: overloaded method value + with alternatives: 
    (x: Double)Double <and> 
    (x: Float)Float <and> 
    (x: Long)Long <and> 
    (x: Int)Int <and> 
    (x: Char)Int <and> 
    (x: Short)Int <and> 
    (x: Byte)Int <and> 
    (x: String)String 
cannot be applied to (A) 
     class Container[A](value: A) { def addIt(implicit evidence: A <%< Int) = 123 + value } 

我的問題是，爲什麼斯卡拉解釋抱怨？

我一直在尋找通過Scala文檔，但我一直無法找到任何地方的操作員的信息。我可以看到斯卡拉學校是基於Scala 2.8.0創建的，而且我正在運行Scala 2.10.0 - 所以也許這已被刪除？如果是這種情況，爲什麼這看起來像一個有用的操作符？

Answer 1

約束A <%< B斯卡拉2.8定義爲

sealed abstract class <%<[-From, +To] extends (From => To) 
    object <%< { 
    implicit def conformsOrViewsAs[A <% B, B]: A <%< B = new (A <%< B) {def apply(x: A) = x} 
    } 

所以，你可以隨時把它帶回的方式。不過，我猜它是過時的原因是綁定一個視圖只是要求一個隱函數從A到B，而且也表現在已經是一個普遍的方式，尤其是約束一個完美的方法：

class Container[A](value: A) { def addIt(implicit evidence: A => Int) = 123 + value } 

順便說一下，值得注意的是，從定義中可以看出，它不是一個運算符，而是一個處於中綴位置的類。 =>也是如此，這是參考Function1類型構造函數的另一種方式。

Answer 2

在this site，它表示A <%< B在Scala 2.9中已棄用。我不知道爲什麼，我同意這看起來有點奇怪，因爲它對我來說也是一個非常有用的操作符。

Answer 3

正確的用法似乎是

class Container[A](value: A) { def addIt[A <% Int] = 123 + value } 

至於重載值，scala是選擇不解決不確定性;在這種情況下，你必須做出決定。

• 你可以嘗試用調試：-Xprint:typer

• ，或者你可以決定A確實Int使用class Container[A](value: A) { def addIt = 123 + value.asInstanceOf[Int] }或已經建議class Container[A](value: A) { def addIt(implicit evidence: A => Int) = 123 + value }無論是。它們是等價的。但是在這裏你是說A是一種Int;而不是A可以看作Int這就是<%所做的。

第二個選項不是微不足道的。考慮以下

scala> class Container[A](value: A) { def printIt[A <% Int] = println(123+" could be " + value) } 
defined class Container 

scala> val x = new Container("Love") 
x: Container[String] = Container@21ebfd82 

scala> x.printIt 
123 could be Love 

顯然"love"不是一個類型的Int因爲它是String，但它在這方面的完美的罰款：這就是爲什麼你應該小心使用A => Int。