2

ZeroC Ice for Java将每个 Slice 接口Simple转换为（除其他外）代理接口SimplePrx和代理SimplePrxHelper。如果我有一个（所有代理的基本接口），我可以通过使用静态方法ObjectPrx检查它是否真的有接口：SimpleSimplePrxHelper

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...

我想写一个方法castTo，这样我就可以用

val simple = castTo[SimplePrx](obj)

或者

val simple = castTo[SimplePrxHelper](obj)

就我所见，Scala 的类型系统的表达力不足以让我定义castTo. 它是否正确？

4

2 回答 2

4

应该能够用隐式做一些事情，沿着这些思路：

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))
  }
}

然后，您只需将事物带入您想要使用它们的范围：

package my.package

import Casting._

...
  def whatever(prx: ObjectPrx) {
    castTo[SimplePrx](prx) foreach (_.somethingSimple())
  }
...
于 2010-04-22T19:42:36.500 回答
1

您可以通过结构类型获得您想要的东西：

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
于 2010-04-22T19:02:41.127 回答