Scala conversione implicita da genitore tratto

Question

Il seguente codice non può essere compilato:

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

uscita:

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

Ma se io:

1) messo la class Wrp al di fuori di Base

o

2) spostare il corpo di BooleanOps a MyExample

tutto compila.

Perché l'esempio originale non funziona? Se hai qualche idea in questo comportamento, l'aiuto sarebbe apprezzato. Grazie.

Answer 1

L'esempio originale funzionerà se si rinomina il metodo ||. Il compilatore trova il metodo false.||() e non si preoccupa di cercare un implicito che potrebbe funzionare anche lì.

Answer 2

Un problema è la natura chiamata per nome dell'argomento nella def ||(wy: =>Wrp[Boolean])
se rewite per def ||(wy: Wrp[Boolean]) funziona

ma sono d'accordo che è strano che funziona se si sposta in giro WRP o BooleanOpsCls! Inteso o bug di risoluzione implicita ??

Answer 3

Il problema è che non esiste un unico classe chiamata Wrp (ignorare il T per un attimo) - Base non definisce Wrp ma definisce un nome sottoclasse di ogni concreta classe che estende Base. Anche gli impliciti sono un'aringa rossa. L'errore che è il regalo è la menzione di MyExample.this.Wrp - ricorda che non esiste tale classe anche come MyExample - val x = new MyExample avrebbe tipo Object with MyExample.