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

发布时间：2020-12-16 18:10:24 所属栏目：安全来源：网络整理

导读：使用用于类型安全铸造的案例构造很容易在 scala中完成.以下代码确保仅在具有相应类型的对象上调用square. class Oclass 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 {}d

使用用于类型安全铸造的案例构造很容易在 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开始,反射信息在逐个类的基础上缓存在调用站点上(实际提供的值类).

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!