Scala niejawna konwersja z dominującą cechą

Question

Poniższy kod nie kompiluje:

import scala.language.implicitConversions 

trait Base { 
    class Wrp[+T](val v: T) // wrapper/internal representation 
} 

trait BooleanOps extends Base { 
    // implicit conversion 
    implicit def lift2BooleanOpsCls(x: Boolean): BooleanOpsCls = 
    new BooleanOpsCls(new Wrp[Boolean](x)) 
    class BooleanOpsCls(wx: Wrp[Boolean]) { 
    def ||(wy: =>Wrp[Boolean]): Wrp[Boolean] = new Wrp[Boolean](wx.v || wy.v) 
    } 
} 

trait MyExample extends BooleanOps { 
    // test method 
    def foo(): Wrp[Boolean] = { 
    val ret: Wrp[Boolean] = false || new Wrp[Boolean](true) 
    ret 
    } 
} 

wyjściowy:

MyExample.scala:18: error: type mismatch; 
found : MyExample.this.Wrp[Boolean] 
required: Boolean 
     val ret: Wrp[Boolean] = false || new Wrp[Boolean](true) 
             ^

Ale jeśli:

1) umieścić class Wrp poza Bazy

lub

2) przenieś ciało BooleanOps do MyExample

wszystko kompiluje.

Dlaczego oryginalny przykład nie działa? Jeśli masz wgląd w to zachowanie, pomoc będzie doceniona. Dziękuję Ci.

Answer 1

Oryginalny przykład będzie działał, jeśli zmienisz nazwę metody ||. Kompilator znajduje metodę false.||() i nie zadaje sobie trudu znalezienia ukrytej funkcji, która również mogłaby tam działać.

Answer 2

Jedną kwestią jest charakter call-by-name argumentu w def ||(wy: =>Wrp[Boolean])
jeśli rewite go def ||(wy: Wrp[Boolean]) działa

ale zgadzam się, że to dziwne, że to działa, jeśli poruszać WRP lub BooleanOpsCls! Zamierzone lub błąd domyślnej rozdzielczości?

Answer 3

Problemem jest to, że nie istnieje jedna klasa o nazwie Wrp (zignorować T za chwilę) - Base nie definiuje Wrp lecz definiuje nazwie podklasę każdy beton klasa, która rozszerza Base. Implikacje to także czerwony śledź. Błąd, który jest gratisowy, to wzmianka o MyExample.this.Wrp - pamiętaj, że nie ma takiej klasy, nawet jeśli MyExample - val x = new MyExample miałaby typ Object with MyExample.