Frage über Scala implizite Konvertierungen Non-Ambiguity Rule

Question

Konnte mir jemand folgende Situation mit Scala impliziten Konvertierungs-Mechanismus erklären. Es gibt einen Code:

object Main { 
    implicit val x:Int => String = v => "val" 
    implicit def y(v:Int) = "def" 

    def p(s:String) = print(s) 

    def main(args: Array[String]): Unit = { 
     p(1) 
    } 
} 

Dieser Code druckt "val". Aber wenn ich zweite Zeile kommentiere:

//implicit val x:Int => String = v => "val" 

Code druckt "def".

Somit sind beide impliziten Konvertierungen (x und y) in dieser Situation möglich. Es gibt eine Nicht-Mehrdeutigkeitsregel - eine implizite Konvertierung wird nur eingefügt, wenn keine andere mögliche Konvertierung zum Einfügen vorhanden ist. Nach dieser Regel sollte dieser Code überhaupt nicht kompiliert werden. Aber der Code wurde erfolgreich kompiliert und ausgeführt. Was ich nicht verstehe?

Danke.

Answer 1

Der Grund dafür ist in der Scala Language Specification Abschnitt 6.26.2 angegeben.

Bevor die Methode als eine Funktion behandelt werden kann, muss sie in eine konvertiert werden, indem eta-expansion durchgeführt wird. Somit müsste eine weitere implizite Umwandlung angewendet werden und so wird die val gewählt.

UPDATE: fehlerhaftes Beispiel entfernt.

Die Auswertung einer Methode ohne Parameter erfolgt immer implizit.