避免 Scala 中隐式 def 歧义

Question

我正在尝试创建从任何类型（例如 Int）到 String 的隐式转换...

到 String 的隐式转换意味着 RichString 方法（如反向）不可用。

implicit def intToString(i: Int) = String.valueOf(i)
100.toCharArray  // => Array[Char] = Array(1, 0, 0)
100.reverse // => error: value reverse is not a member of Int
100.length // => 3

到 RichString 的隐式转换意味着 String 方法（如 toCharArray）不可用。同时

implicit def intToRichString(i: Int) = new RichString(String.valueOf(i))
100.reverse // => "001"
100.toCharArray  // => error: value toCharArray is not a member of Int
100.length // => 3

使用这两种隐式转换意味着重复的方法（如 length）不明确。

implicit def intToString(i: Int) = String.valueOf(i)
implicit def intToRichString(i: Int) = new RichString(String.valueOf(i))
100.toCharArray  // => Array[Char] = Array(1, 0, 0)
100.reverse // => "001"
100.length // => both method intToString in object $iw of type 
   // (Int)java.lang.String and method intToRichString in object
   // $iw of type (Int)scala.runtime.RichString are possible 
   // conversion functions from Int to ?{val length: ?}

那么，是否可以隐式转换为 String 并且仍然支持所有 String 和 RichString 方法？

Answer 1

我没有解决方案，但会评论说，在 intToString 隐式之后 RichString 方法不可用的原因是 Scala 不会链接隐式调用（请参阅 21.2“规则”）对于隐式”Scala 编程）。

如果引入中间 String，Scala 将隐式转换为 RichString（该隐式转换在 Predef.scala 中定义）。

例如，

$ scala
Welcome to Scala version 2.7.5.final [...].
Type in expressions to have them evaluated.
Type :help for more information.

scala> implicit def intToString(i: Int) = String.valueOf(i)
intToString: (Int)java.lang.String

scala> val i = 100
i: Int = 100

scala> val s: String = i
s: String = 100

scala> s.reverse
res1: scala.runtime.RichString = 001

Answer 2

从 Scala 2.8 开始，这一点得到了改进。根据 本文（§避免歧义）：

以前，最具体的重载方法或隐式转换
将仅根据方法的参数类型进行选择。有一个
附加子句表示最具体的方法不能是
在任何其他替代方案的适当超类中定义。这
Scala 2.8 中的方案已被以下更自由的方案取代：
当比较重载的两种不同的适用替代方案时
方法或隐式方法，每个方法因拥有更多方法而得一分
具体论点，以及在适当的情况下定义的另一点
子类。如果一个替代方案获得更多数量，则它会“胜过”另一个方案
这两次比较的要点。 这特别意味着如果
替代方案具有相同的参数类型，即在 a 中定义的参数类型
子类获胜。

请参阅另一篇论文（§6.5） ）为例。

Answer 3

要么创建一个巨大的代理类，要么将其吸收并要求客户端消除歧义：

100.asInstanceOf[String].length

Answer 4

我看到的唯一选择是创建一个新的字符串包装类 MyString 并让它调用您想要在不明确的情况下调用的任何方法。然后，您可以定义到 MyString 的隐式转换以及从 MyString 到 String 和 RichString 的两个隐式转换，以防万一您需要将其传递给库函数。

Answer 5

接受的解决方案（由 Mitch Blevins 发布）永远不会起作用：使用 asInstanceOf 将 Int 向下转换为 String 将始终失败。

解决您的问题的一种方法是添加从任何字符串可转换类型到 RichString 的转换（或者更确切地说，添加到 StringOps 的转换，因为它现在被命名为）：

implicit def stringLikeToRichString[T](x: T)(implicit conv: T => String) = new collection.immutable.StringOps(conv(x))

然后定义您的转换（ s) 像以前一样串起来：

scala> implicit def intToString(i: Int) = String.valueOf(i)
warning: there was one feature warning; re-run with -feature for details
intToString: (i: Int)String

scala> 100.toCharArray
res0: Array[Char] = Array(1, 0, 0)

scala> 100.reverse
res1: String = 001

scala> 100.length
res2: Int = 3

Answer 6

我很困惑：你不能在任何类型上使用 .toString 从而避免隐式转换的需要吗？