Pregunta sobre conversiones implícitas de Scala Regla de no ambigüedad

Question

¿Alguien podría explicarme la siguiente situación con el mecanismo de conversiones implícitas de Scala? Hay un código:

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

Este código imprime "val". Pero cuando comento la segunda línea:

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

El código imprime "def".

Por lo tanto, ambas conversiones implícitas (x e y) son posibles en esta situación. Hay una regla de no ambigüedad - una conversión implícita solo se inserta si no hay otra conversión posible para insertar. De acuerdo con esta regla, este código no debe compilarse en absoluto. Pero el código se compila y ejecuta con éxito. Lo que no entiendo?

Gracias.

Answer 1

La razón para esto se indica en la Especificación de idioma de Scala, sección 6.26.2.

Antes de que el método se pueda tratar como una función, se debe convertir a uno realizando la expansión eta. Por lo tanto, se debería aplicar una conversión implícita más, por lo que se elige val.

ACTUALIZACIÓN: eliminado ejemplo defectuoso.

La evaluación de un método sin parámetros siempre se realiza implícitamente.