Scala 如何重写隐式值?
假设我有代码:Scala 如何重写隐式值?,scala,implicit,scala-2.11,Scala,Implicit,Scala 2.11,假设我有代码: class A(implicit s:String = "foo"){println(s)} object X { implicit val s1 = "hello" } object Y { import X._ // do something with X implicit val s2 = "hi" val a = new A } 我得到一个错误: <console>:14: error: ambiguous implicit
class A(implicit s:String = "foo"){println(s)}
object X {
implicit val s1 = "hello"
}
object Y {
import X._
// do something with X
implicit val s2 = "hi"
val a = new A
}
我得到一个错误:
<console>:14: error: ambiguous implicit values:
both value s2 in object Y of type => String
and value s1 in object X of type => String
match expected type String
val a = new A
:14:错误:不明确的隐式值:
类型=>String的对象Y中的两个值s2
类型=>String的对象X中的值s1
匹配所需的类型字符串
val a=新a
有没有办法让Scala使用Y
中的值s2
?
(如果我将s2
重命名为s1
,它会按预期工作,但这不是我想要的)
另一个解决方案是不导入X。,这也是我试图避免的 试试看:
new A()(s2)
这应该通过er显式提供来覆盖隐式参数。我同意另一个答案,即在这些类型的情况下显式提供隐式参数是首选的,但是如果您坚持要“降级”另一个隐式参数,使其不再被视为隐式参数,那么实际上是可能的:
class A(implicit s:String = "foo"){println(s)}
object X {
implicit val s1 = "hello"
}
object Y {
import X._
val s1 = X.s1 //downgrade to non-implicit
// do something with X
implicit val s2 = "hi"
val a = new A
}
同样,这是一个有点粗糙的方法,但它是有效的。您可以做的另一件事是导入除
s1
之外的所有内容:import X.{s1=>,{u}
,这违背了使用隐式参数的目的。我在几个地方有一个新的A
,我宁愿删除隐式。@Jus12我只是不知道如何保持通配符导入,而不至少覆盖显式一次…对于像字符串这样的小而客观的东西使用implicit
,一开始是没有意义的地点。@SarveshKumarSingh我同意。这个字符串只是为了举例。在我的实际代码中,它是一个相当复杂的对象,并且在范围内有多个该复杂对象的实例<代码>隐式
通常对辅助函数
、类型类抽象证据
如单子
或大型对象有意义,并意味着要重用大型对象,如ActorSystem
。同意。。有点老套,但很管用。谢谢你的回答!可能是迄今为止最好的一个。