Передача и использование неявной функции без ее определения

Question

Я не определил функцию ev в любом месте. Затем, как работает нижний код? Не следует ли определять какие-либо признаки в какой-либо области их использования?

def same[T, U](x: U)(implicit ev: U => T): T = {ev(x)} 
same(2) // 2 

Answer 1

Каждый раз, когда у вас есть вопросы, как это, хорошее место, чтобы начать это с помощью Reflection API Scala в REPL, чтобы попросить компилятор, что происходит:

scala> import scala.reflect.runtime.universe.{ reify, showCode } 
import scala.reflect.runtime.universe.{reify, showCode} 

scala> def same[T, U](x: U)(implicit ev: U => T): T = ev(x) 
same: [T, U](x: U)(implicit ev: U => T)T 

scala> showCode(reify(same(2)).tree) 
res0: String = $read.same(2)(Predef.$conforms) 

Так ev предоставленный Predef.$conforms, неявный метод, который даст вам экземпляр A <:< A для любого A, где <:< распространяется Function1.

Так что это одна подсказка. Выяснение остальных требует немного подумать о типе вывода. Когда вы звоните same(2), компилятор выясняет, что выражение 2 имеет тип Int и сообщает, что U - Int. Затем нужно выяснить, что такое T, и для этого он ищет неявные функции от Int до x для некоторого типа x.

Это где $conforms приходит. Это единственный такой метод в области видимости, поэтому компилятор выбирает его, что означает, что ev имеет тип Int => Int и T должен быть Int, и вы сделали.