Scala typeclasses độ phân giải ngầm

Question

(Scala 2.11.8)

Xét đoạn mã sau:

object ScalaTest extends App { 
    class Wrapper { 
    import Wrapper._ 

    def init(): Unit = { 
     // "could not find implicit value for parameter tc: ScalaTest.Wrapper.TC[Int]" 
     printWithTC(123) 

     // Compiles 
     printWithTC(123)(IntTC) 

     // Compiles again! 
     printWithTC(132) 
    } 
    } 

    object Wrapper { 
    trait TC[A] { 
     def text(a: A): String 
    } 

    implicit object IntTC extends TC[Int] { 
     override def text(a: Int) = s"int($a)" 
    } 

    def printWithTC[A](a: A)(implicit tc: TC[A]): Unit = { 
     println(tc.text(a)) 
    } 
    } 

    (new Wrapper).init() 
} 

tôi có một loạt các câu hỏi liên quan đến đoạn mã này:

1. Tại sao doesn' t IntTC được giải quyết ngay từ đầu?
2. Tại sao nó biên dịch sau khi được sử dụng một lần? (Nếu bạn nhận xét ra lời gọi thứ nhất, mã hoạt động)
3. đâu typeclass implicits nên được đặt để có được giải quyết đúng cách?

Answer 1

Sử dụng val với loại trả về rõ ràng. Xem https://github.com/scala/bug/issues/801 và https://github.com/scala/bug/issues/8697 (trong số những người khác).
Các đối tượng tiềm ẩn có cùng vấn đề như vals ngầm định và defs với các kiểu trả về được suy ra. Đối với câu hỏi thứ hai của bạn: khi IntTC được sử dụng một cách rõ ràng, bạn buộc trình biên dịch đánh máy nó, vì vậy sau thời điểm đó, kiểu của nó được biết và có thể được tìm thấy bằng tìm kiếm ngầm định.

class Wrapper { 
    import Wrapper._ 

    def init(): Unit = { 
    // Compiles 
    printWithTC(123) 

    // Compiles 
    printWithTC(123)(IntTC) 

    // Compiles 
    printWithTC(132) 
    } 
} 

object Wrapper { 
    trait TC[A] { 
    def text(a: A): String 
    } 

    implicit val IntTC: TC[Int] = new TC[Int] { 
    override def text(a: Int) = s"int($a)" 
    } 

    def printWithTC[A](a: A)(implicit tc: TC[A]): Unit = { 
    println(tc.text(a)) 
    } 
} 

Nếu bạn thực sự muốn tiềm ẩn của bạn được đánh giá một cách lười biếng như một đối tượng, bạn có thể sử dụng một implicit lazy val với một loại rõ ràng.

Answer 2

Xác định tiềm ẩn trước khi sử dụng nó.

object Wrapper { 
    trait TC[A] { 
    def text(a: A): String 
    } 

    implicit object IntTC extends TC[Int] { 
    override def text(a: Int) = s"int($a)" 
    } 

    def printWithTC[A](a: A)(implicit tc: TC[A]): Unit = { 
    println(tc.text(a)) 
    } 
} 

class Wrapper { 
    import Wrapper._ 

    def init(): Unit = { 
    // "could not find implicit value for parameter tc: ScalaTest.Wrapper.TC[Int]" 

    printWithTC(123) 

    // Compiles 
    printWithTC(123)(IntTC) 

    // Compiles again! 
    printWithTC(132) 
    } 
} 

(new Wrapper).init()