运维开发网

scala中的类型安全的respond_to可能吗?

运维开发网 https://www.qedev.com 2020-07-12 20:48 出处:网络 作者:运维开发网整理
使用用于类型安全铸造的案例构造很容易在 scala中完成.以下代码确保仅在具有相应类型的对象上调用square. class O class A extends O { def square(i: Int):Int = { i*i } } class B extends O { def square(d: Double):Double = { d*d } } class C ext
使用用于类型安全铸造的案例构造很容易在 scala中完成.以下代码确保仅在具有相应类型的对象上调用square.

class O
class A extends O {
    def square(i: Int):Int = { i*i }
}
class B extends O {
    def square(d: Double):Double = { d*d }
}
class C extends O {}

def square(o: O) = o match {
    case a:A => print(a.square(3))
    case b:B => print(b.square(3.0))
    case c:C => print(9)
    case _ => print("9")
}

另一方面,有些情况下,使用类型信息进行转换并不容易,只需检查{def square(Int):Int}的可用性就足够了. scala中是否有一个允许执行类似操作的构造

def square(o: O) = o match {
    case a:{def square(Int):Int} => print(a.square(3))
    case b:{def square(Double):Double} => print(b.square(3.0))
    case _ => print("9")
}

使用隐式证据参数,可以根据其他方法的可用性定义方法.是否也可以在定义它们时调用它们?

结构类型表示成员的非继承约束可用性,因此如果您希望方法只接受带有特定方法的值,例如def square(i:Int):Int,则使用此表示法:

class Squaring {
  type Squarable = { def square(i: Int): Int }
  def squareMe(s: Squarable): Int = s.square(17)
}

class CanSquare { def square(i: Int) = i * i }

val cs1 = new CanSquare
val s1 = new Squaring

printf("s1.squareMe(cs1)=%d%n", s1.squareMe(cs1))


s1.squareMe(cs1)=289

您应该知道结构类型是通过反射实现的,但是从Scala 2.8开始,反射信息在逐个类的基础上缓存在调用站点上(实际提供的值类).

0

精彩评论

暂无评论...
验证码 换一张
取 消