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

发布时间：2020-12-16 08:44:04 所属栏目：安全来源：网络整理

导读：我正在尝试为类型列表提供不同的实现集,其中导入不同的包对象将为最终用户提供TypeClass实现的不同版本到范围中,交换完全不可见. trait TypeClass[T] { def name: String}trait DefaultTypeClasses { implicit val String: TypeClass[String] implicit val I

我正在尝试为类型列表提供不同的实现集,其中导入不同的包对象将为最终用户提供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 {}

然后我将相同的包对象导入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._

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!