function – Scala val语法：val myVal：{def …}是什么意思？

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

导读：我是 Scala和funcprog的新手. 我有一段代码(你们中的一些人可能会认出来)： trait SwingApi { type ValueChanged : Event val ValueChanged: { def unapply(x: Event): Option[TextField] } ... } 在哪里我没有动摇和val ValueChanged：{…}是什么. 从这post

我是 Scala和funcprog的新手.

我有一段代码(你们中的一些人可能会认出来)：

trait SwingApi {

      type ValueChanged <: Event

      val ValueChanged: {
        def unapply(x: Event): Option[TextField]
      }
      ...
     }

在哪里我没有动摇和val ValueChanged：{…}是什么.

从这post我有点了解到

type ValueChanged <: Event

和

val ValueChanged: {
            def unapply(x: Event): Option[TextField]
          }

是两个不相关的东西,因为它们在不同的命名空间等,而类型ValueChanged是Event的抽象子类型.

好的,然后我在Scala工作表中尝试：

type myString <: String

 val myString: {
    def myfunc(x: String): String
  }

它显示了一个错误“只有类可以声明和未定义的成员”……这不是一个类似的结构吗？

最后,问题是：

> Val ValueChanged部分代码中的ValueChanged是什么？
>它与TypeChanged&lt ;:事件类型无关
>这种语法意味着什么：

val myVal：{def func {x：T}：T}

？这里的价值名称,类型和实际价值是多少？

谢谢！

解决方法

{def unapply(x: Event): Option[TextField]}

是一个结构类型,它意味着它接受任何具有unapply方法的Object,其中Event为Parameter,Option [TextField]为返回值.
最常用的类似鸭子打字,例如：

def foo(canQuack: {def quack(): Unit}) = {
  canQuack.quack()
}
object Bar{
   def quack(): Unit = print("quack")
}
object Baz{
   def bark(): Unit = print("bark")
}
foo(Bar) //works
foo(Baz) //compile error

所以

type StructuralType = {def unapply(x: Event): Option[TextField]}
val ValueChanged: StructuralType

声明一个名为ValueChanged并使用Type StructuralType的val,但是没有赋值,这只在特征或抽象类中有意义,这就是为什么你的例子不起作用的原因.

所以呢

trait SwingApi {
...
  val ValueChanged: {
    def unapply(x: Event): Option[TextField]
  }
...
}

意味着特征SwingApi只能应用于具有名称为ValueChanged的val的对象/类以及分配给它的任何值,具有unapply方法

trait SwingApi {
  val ValueChanged: {
    def unapply(x: Event): Option[TextField]
  }
}
//works:
object Bar extends SwingApi{
  val ValueChanged = {
    def unapply(x: Event): Option[TextField] = None
  }
}
//compile error:
object Baz extends SwingApi{
  val ValueChanged = {
    //wrong name
    def foo(x: Event): Option[TextField] = None
  }
}
//compile error:
object Baz2 extends SwingApi{
  val ValueChanged = {
    //wrong input/output type
    def unapply(): Unit = {}
  }
}

所有代码未经测试

（编辑：李大同）

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