Warning: file_get_contents(/data/phpspider/zhask/data//catemap/2/scala/17.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Scala 如何重写隐式值?_Scala_Implicit_Scala 2.11 - Fatal编程技术网

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
。同意。。有点老套,但很管用。谢谢你的回答!可能是迄今为止最好的一个。