在哪里放置隐式值以启用关于单例类型的隐式转换

Question

考虑案例：

class T[A0, B0](val a: A0, val b: B0)
class A
class B(val a: A) {
  b =>
  implicit def t: T[a.type, b.type] = new T(a, b)
}
val b = new B(new A)
val t1 = implicitly[T[b.a.type, b.type]]// can't compile, I want t1 = b.t

如何启用单例类型参数的隐式转换？

考虑权衡：

class T[A0, B0, H0](val a: A0, val b: B0)
class A
class B(val a: A) {
  b =>
  class H
  object H{
    implicit def t: T[a.type, b.type, b.H] = new T(a, b)        
  }
}
val a = new A
val b = new B(a)
val t1 = implicitly[T[b.a.type, b.type, b.H]]

可行，但看起来很丑。有什么好的方法吗？

Answer 1

我们可以添加 import b._.

class T[A0, B0](val a: A0, val b: B0)
class A
class B(val a: A) {
  b =>
  implicit def t: T[a.type, b.type] = new T(a, b)
}
val b = new B(new A)
import b._
val t1 = implicitly[T[b.a.type, b.type]]

在哪里放置隐式值以启用关于单例类型的隐式转换

Where to put implicit value to enable implicit conversion about singleton type

scala

implicit-conversion

singleton-type