Scala kurze und typsichere Cast-Operator

Question

Ich mag Scala isInstanceOf und asInstanceOf Methoden - sie sind lang und asInstanceOf kann Ausnahme auslösen, so dass wir es paar verwenden müssen. Ein besserer Weg ist der Mustervergleich: Scala: How do I cast a variable?, aber für wirklich einfache Operationen kann es auch relativ lang sein. In C# haben wir 'is' und 'as' Operatoren, also wollte ich implizite Definition damit in Scala implementieren. Mein Code sieht wie folgt aus:

scala> class TypeCast(x:Any){ 
    | def is[T](t:Class[T]) = t.isInstance(x) 
    | def as[T](t:Class[T]):Option[T] = if(t.isInstance(x)) Option(t.cast(x)) else None 
    | } 
defined class TypeCast 

scala> implicit def TypeCastID(x:Any)=new TypeCast(x) 
TypeCastID: (x: Any)TypeCast 

scala> 123 as classOf[String] 
res14: Option[String] = None 

scala> "asd" as classOf[String] 
res15: Option[String] = Some(asd) 

Es hat einen Vorteil - null-Objektmuster implementieren, aber auch Nachteile haben:

• brauchen classof [T] Operator verwenden - es ist zu lang

• Overhead mit impliziter def verbunden ist, um so einfacher Betrieb

so die Es gibt keinen praktischen Grund, es zu benutzen. Ich würde gerne wissen, gibt es eine Möglichkeit, dies zu implementieren, ohne die Verwendung von classOf [T]?

Answer 1

Nun könnten Sie es innerhalb der Def, die Sie in der TypeCast-Klasse gemacht haben, kürzen. Anstatt einen Parameter einzugeben, können Sie sich einfach auf den Typ verlassen. Dies würde es sehr verkürzen. Als Beispiel aussehen könnte so etwas wie:

scala> 123.as[String] 
res0: Option[String] = Some(123) 
scala> class A; class B extends A 
defined class A 
defined class B 
scala> new B 
res1: B 
scala> res1.is[Int] 
res2: Boolean = false 
scala> res1.as[Int] 
res3: Option[Int] = None 

Update::

class TypeCast(x : Any) { 
    def is[T : Manifest] = manifest.erasure.isInstance(x) 
    def as[T : Manifest] : Option[T] = if (manifest.erasure.isInstance(x)) Some(x.asInstanceOf[T]) else None 
} 

Zukunft Anrufe aussehen könnte ich Manifests hinzugefügt Typ-Check Fehler