Vermeidung implizite def Mehrdeutigkeit in Scala

Question

Ich versuche, eine implizite Konvertierung von jeder Art (zum Beispiel Int) in einen String zu erstellen ...

Eine implizite Umwandlung in String bedeutet RichString Methoden (wie umgekehrt) sind nicht verfügbar .

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 

eine implizite Konvertierung zu RichString bedeutet String Methoden (wie 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 

Verwendung sowohl implizite Konvertierungen bedeutet duplizierten Methoden (wie die Länge) nicht verfügbar sind, ist nicht eindeutig.

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: ?} 

So ist es möglich, zu String implizit zu konvertieren und noch alle Streich- und RichString Methoden unterstützen?

Answer 1

Entweder eine riesige Proxy-Klasse machen, oder saugen sie auf und erfordern die Client es eindeutig zu machen:

100.asInstanceOf [Zeichenfolge] .length

Answer 2

Die einzige Option, die ich sehe, besteht darin, eine neue String Wrapper-Klasse MyString zu erstellen und diese Methode aufzurufen, die im mehrdeutigen Fall aufgerufen werden soll. Dann könnten Sie implizite Konvertierungen zu MyString und zwei implizite Konvertierungen von MyString zu String und RichString definieren, für den Fall, dass Sie sie an eine Bibliotheksfunktion übergeben müssen.

Answer 3

Ich bin verwirrt: Können Sie nicht .toString auf jeden beliebigen Typ verwenden und so die Notwendigkeit für implizite Konvertierungen vermeiden?

Answer 4

Ich habe keine Lösung haben, sondern Kommentar dass der Grund RichString Methoden sind nicht verfügbar nach Ihrer intToString implizit ist, dass Scala implizite Aufrufe nicht ketten (siehe 21.2 "Regeln für implicits" in Programmierung in Scala).

Wenn Sie ein Intermediate String einführen, wird Scala die implict-Konvertierung zu einem RichString machen (das implizit in Predef.scala definiert ist).

Z. B.

$ 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 5

Ab Scala 2.8, dies wurde verbessert. Gemäß this paper (§ Vermeidung von Mehrdeutigkeiten):

Zuvor die spezi fi schen überladener Methode oder impliziter Konvertierung ausschließlich auf Basis gewählt wird, würde auf der Argumenttyp Methode. Es gab eine zusätzliche Klausel , die besagte, dass das spezifischste Verfahren nicht in einer geeigneten Oberklasse irgendeiner der anderen Alternativen definiert werden könne. Dieses Schema wurde in Scala 2.8 durch das folgende, liberalere ersetzt: Wenn zwei verschiedene anwendbare Alternativen einer überladenen Methode oder eines impliziten verglichen werden, erhält jede Methode einen Punkt für mehr spezifische Argumente und einen anderen Punkt für in einer geeigneten Unterklasse definiert werden. Eine Alternative "gewinnt" gegenüber einer anderen, wenn sie in diesen beiden Vergleichen eine größere Anzahl Punkte erhält.Dies bedeutet insbesondere, dass, wenn Alternativen identische Argumenttypen haben, derjenige, der in einer Unterklasse de fi niert ist, gewinnt.

Siehe that other paper (§ 6.5) für ein Beispiel.

Answer 6

Die akzeptierte Lösung (geschrieben von Mitch Blevins) wird nie funktionieren: Downcasting Int zu String mit asInstanceOf wird immer fehlschlagen.

Eine Lösung für Ihr Problem ist es, eine Umwandlung von jedem String-convertible Typ RichString (oder besser gesagt, zu StringOps wie es jetzt genannt wird) hinzuzufügen:

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

Dann Ihre Conversion definieren (n) Zeichenfolge wie zuvor:

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