为什么 DummyImplicit 没有消除 [String](a: A) 和 (a: String) 的歧义

Question

给出以下代码：

final case class Attr[A](name: String)(implicit conv: String To A) {
  def apply(value: A)(implicit dummy: DummyImplicit) = Attribute(name, value)
  def apply(value: String) = Attribute[A](name, value)
}

当 Scala 编译器看到以下值时，它会抱怨“对重载定义的引用不明确”： 第

1| val FooAttr = Attr[String]("foo")
2| val catch22 = FooAttr("bar")

1 行：我的意图是将值类型“String”传递给工厂“Attr”，生成“Attributes” ” 以及它生成的所有属性的名称“foo”。

第 2 行：使用之前配置的属性工厂，我实际上生成了一个名为“foo”的属性，其值为“String”类型的“bar”。

我的结论：因为该工厂对象的参数化类型“A”是“String”，所以 Scala 编译器推导出方法“apply”的相同参数签名是“(value: String)”，这是不明确的。因此，我尝试通过添加隐式参数列表来改变签名。

阅读有关 的文章后类型擦除和 DummyImplicit 并查阅 Scala 参考部分“7.2 隐式参数”我认为“(implicit dummy: DummyImplicit)”会做技巧。

目前我的解决方案是使用最小的包装器：

final case class Txt(str: String) {
  override def toString = str
}

鉴于可以找到“Str To Txt”类型的隐式值（即合适的转换函数），上面的第二行将进行编译，即：

2| val catch22 = FooAttr("bar")

看来我也在想复杂的。我只是摆脱了它，而不是使用 (value: String) 参数列表重载 apply 方法。符合我全部期望的版本现在看起来像：

final case class Attr[A](name: String)(implicit conv: String To A) {
  def apply(value: A) = Attribute(name, value)
}

Answer 1

这个怎么样？

case class Attribute[A](name: String, value: A)

case class AttrBuilder[A](name: String)(implicit conv: String => A) {
  def apply[B](value: B)(implicit conv: B => A) = Attribute(name, conv(value))
}

val bldr = new AttrBuilder[String]("MyAttrs")

bldr("hello") // Attribute(MyAttrs, hello)

implicit def int2string(x: Int) = x.toString
bldr(2)       // Attribute(MyAttrs, 2), using int2string implicit

bldr(false)   // fails; cannot find implicit Boolean => String

属性构建器 bldr 将采用任何可转换为 A == String 的 B 类型值，包括字符串本身（隐式转换 在这种情况下使用 Predef.conforms）。