Question

我是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
  }

它显示了一个错误＆＃34;只有类可以声明和未定义的成员＆＃34; ...它是不是类似的结构？

最后，问题是：

val ValueChanged 部分代码中的ValueChanged是什么？
是否与类型无关？ValueChanged＆lt ;: Event
这种语法是什么意思：

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

？这里的价值名称，类型和实际价值是什么？

谢谢！

Answer 1

{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且类型为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 = {}
  }
}

_{所有未经测试的代码}

Scala val语法：val myVal：{def ...}是什么意思？

1 个答案: