ZeroC Ice "jetés jette" dans Scala

Question

ZeroC Ice pour Java translates chaque interface de tranche Simple en (entre autres choses) une interface proxy SimplePrx et un proxy SimplePrxHelper. Si j'ai un ObjectPrx (l'interface de base pour toutes les procurations), je peux vérifier si elle possède une interface Simple fait en utilisant une méthode statique sur SimplePrxHelper:

val obj : Ice.ObjectPrx = ...;  // Get a proxy from somewhere... 

val simple : SimplePrx = SimplePrxHelper.checkedCast(obj); 
if (simple != null) 
    // Object supports the Simple interface... 
else 
    // Object is not of type Simple... 

Je voulais écrire une méthode castTo pour que je puisse remplacer la deuxième ligne avec

val simple = castTo[SimplePrx](obj) 

ou

val simple = castTo[SimplePrxHelper](obj) 

pour autant que je peux voir, le système de type Scala est n ot assez expressif pour me permettre de définir castTo. Est-ce correct?

Answer 1

devrait être en mesure de faire quelque chose avec implicits, le long de ces lignes:

object Casting { 
    trait Caster[A] { 
    def checkedCast(obj: ObjectPrx): Option[A] 
    } 

    def castTo[A](obj: ObjectPrx)(implicit caster: Caster[A]) = 
    caster.checkedCast(obj) 

    implicit object SimplePrxCaster extends Caster[SimplePrx] { 
    def checkedCast(obj: ObjectPrx) = Option(SimplePrxHelper.checkedCast(obj)) 
    } 
} 

Alors vous apporter juste des choses dans le périmètre où vous voulez les utiliser:

package my.package 

import Casting._ 

... 
    def whatever(prx: ObjectPrx) { 
    castTo[SimplePrx](prx) foreach (_.somethingSimple()) 
    } 
... 

Answer 2

Vous pouvez obtenir quelque chose comme ce que vous voulez avec les types de structure:

def castTo[A](helper: { def checkedCast(o: Object): A })(o: Object) = { 
    helper.checkedCast(o) 
} 
class FooPrx { } 
object FooPrxHelper { 
    def checkedCast(o: Object): FooPrx = o match { 
    case fp : FooPrx => fp 
    case _ => null 
    } 
} 

scala> val o: Object = new FooPrx 
o: java.lang.Object = FooPrx@da8742 

scala> val fp = castTo(FooPrxHelper)(o) 
fp: FooPrx = FooPrx@da8742