Uzyskiwanie błędu związanego z typem Scala: nie znaleziono: typ <% <

Question

Próbowałem nauczyć się Scala przez twitter Scala school. Ale obecnie utknąłem w jednym z ich type bound examples.

W szczególności jest to ten, w którym typ może być widoczny jako określony typ, przy użyciu operatora relacji typu: <%<.

Kiedy wykonać następujący kod w moim konsoli Scala:

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

... otrzymuję następujące błędy:

<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 } 

Moje pytanie brzmi, dlaczego jest interpreter Scala skarżą?

Próbowałem przejrzeć dokumentację Scala, ale nie udało mi się znaleźć informacji o tym użytkowniku w dowolnym miejscu. Widzę, że szkoła Scala została stworzona na podstawie Scala 2.8.0, a ja używam Scala 2.10.0 - więc może to zostało usunięte? Jeśli tak, to dlaczego wydaje się, że jest to użyteczny operator?

Answer 1

Ograniczenie A <%< B w Scala 2.8 definiuje się jako

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} 
    } 

więc zawsze można go przywrócić w ten sposób. Jednakże, zgaduję, że powodem jest to niezalecane jest to, że widok związany jest tylko z prośbą o domniemanym funkcji z A do B, a tam doskonale dobry sposób na wyrażenie tego szczególnego ograniczenia w sposób uogólniony już:

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

Na marginesie warto zauważyć, że nie jest to operator, ale klasa w pozycji "zaklinowana", jak widać z definicji. To samo dotyczy =>, który jest po prostu innym sposobem odwoływania się do konstruktora typu Function1.

Answer 2

Na stronie this site podano, że A <%< B został przestarzały w wersji Scala 2.9. Nie wiem dlaczego, i zgadzam się, że wydaje się to trochę dziwne, ponieważ dla mnie wygląda również na całkiem użytecznego operatora.

Answer 3

Prawidłowe wykorzystanie wydaje się być

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

chodzi o przeciążonych wartości scala nie decyduje się rozwiązać dwuznaczność; w takim przypadku musisz zdecydować.

• można spróbować debugowania: -Xprint:typer

• lub można zdecydować, że A jest rzeczywiście Int przez albo za pomocą class Container[A](value: A) { def addIt = 123 + value.asInstanceOf[Int] } lub już zasugerował class Container[A](value: A) { def addIt(implicit evidence: A => Int) = 123 + value }. Są one równoważne. Ale tutaj mówisz, że A jest typu Int; w przeciwieństwie do A można zobaczyć jako Int, co robi <%.

Ta druga opcja nie jest trywialna.Rozważmy następujący

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 

Wyraźnie "love" nie jest typem Int ponieważ jest String, ale jest to całkowicie w porządku w tym kontekście: dlatego należy być ostrożnym przy użyciu A => Int.