Từ khóa 'ngầm định' có nghĩa là gì khi được đặt ở phía trước tham số biểu thức lambda?

Question

Tôi đã thấy loại mã này nhiều lần trước đó, gần đây nhất là tại mailing list scala người dùng:

context(GUI) { implicit ec => 
    // some code 
} 

context được định nghĩa là:

def context[T](ec: ExecutionContext)(block: ExecutionContext => T): Unit = { 
    ec execute { 
    block(ec) 
    } 
} 

mục đích gì các keeyword implicit đạt được khi đặt trước một tham số biểu thức lambda?

Answer 1

scala> trait Conn 
defined trait Conn 

scala> def ping(implicit c: Conn) = true 
ping: (implicit c: Conn)Boolean 

scala> def withConn[A](f: Conn => A): A = { val c = new Conn{}; f(c); /*cleanup*/ } 
withConn: [A](f: Conn => A)A 

scala> withConn[Boolean](c => ping(c)) 
res0: Boolean = true 

scala> withConn[Boolean]{ c => implicit val c1 = c; ping } 
res1: Boolean = true 

scala> withConn[Boolean](implicit c => ping) 
res2: Boolean = true 

Dòng cuối cùng về cơ bản là viết tắt của lần cuối thứ hai.