Operatore per il cast di tipo short e type safe

Question

Non mi piacciono i metodi Scala isInstanceOf e asInstanceOf: sono lunghi e asInstanceOf può generare eccezioni, quindi è necessario utilizzarlo in coppia. Il modo migliore è utilizzare la corrispondenza dei modelli: Scala: How do I cast a variable? ma per operazioni davvero semplici può essere anche relativamente lungo. In C# abbiamo operatori 'is' e 'as' quindi volevo implementare la definizione implicita con questo in Scala. Il mio codice simile a questa:

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) 

ha un vantaggio - implementare modello null-oggetto, ma anche svantaggi:

• bisogno di utilizzare classOf operatore [T] - è troppo lungo

• testa collegata con def implicita per tale operazione semplice

così la non è una ragione pratica per usarlo. Mi piacerebbe sapere c'è un modo per implementarlo senza dover usare classOf [T]?

Answer 1

Bene, è possibile ridurlo all'interno della def che è stata creata nella classe TypeCast. Quindi, invece di alimentarlo, puoi semplicemente fare affidamento sul tipo. Questo lo ridurrebbe molto. A titolo di esempio, questo potrebbe somigliare:

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 
} 

chiamate futuro potrebbe essere simile:

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 

Aggiornamento: Ho aggiunto manifesti per evitare errori di tipo-check