我试图为类型类列表提供不同的实现集，其中导入不同的包对象将使最终用户将不同版本的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的了解有差距，请问任何人可以澄清一下吗？
但是，如果您在包中创建Implicits对象，则可以正常工作。但是我不知道原始错误是scalac中的错误还是正确的行为
package object something {
object Implicits extends DefaultDefinitions with FirstImplementor
}
import something.Implicits._
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句