Question

我试图为类型列表提供不同的实现集，其中导入不同的包对象会为最终用户提供不同版本的TypeClass实现到范围内，交换是完全看不见。

trait TypeClass[T] {
  def name: String
}


trait DefaultTypeClasses {
  implicit val String: TypeClass[String]
  implicit val Int: TypeClass[Int]
}

trait FirstImplementor extends DefaultTypeClasses {
  implicit object String extends TypeClass[String] {
    def name = "test"
  }

  implicit object Int extends TypeClass[Int] {
    def name = "int"
  }
}

object FirstImplementor extends FirstImplementor


object Test {

  import FirstImplementor._

  def doSomething[T : TypeClass](value: T): Unit = {
    println(implicitly[TypeClass[T]].name)
  }

  doSomething("test")

}

以上工作符合预期，但如果可以：

trait DefaultDefinitions extends DefaultTypeClasses {
}
package object something extends DefaultDefinitions with FirstImplementor {}

然后我将相同的package object导入到Test对象的范围内，如下所示：

import com.blabla.something._ // should bring all type class definitions from FirstImplementor into scope.

object Test {

  def doSomething[T : TypeClass](value: T): Unit = {
    println(implicitly[TypeClass[T]].name)
  }

  doSomething("test")// Cannot find implicit value for TypeClass[String]
  doSomething[String]("test")(String) // if passed explicitly it compiles as expected, no more imports necessary.
}

无论出于何种原因，物化类型类在名称显式范围内可用，但在隐式范围内不可用。听起来我对SLS的了解正在经历一个差距，有人可以澄清一下吗？

Answer 1

但是如果你在包中创建Implicits对象，它可以正常工作。但是我不知道原始错误是否是scalac中的错误或正确的行为

package object something  {
  object Implicits extends DefaultDefinitions with FirstImplementor
}

import something.Implicits._

类型类和包对象的奇怪隐式解析行为

1 个答案: