首页 文章

Scala val语法:val myVal:{def ...}是什么意思?

提问于
浏览
4

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

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

最后,问题是:

  • valC ValueChanged部分代码中的ValueChanged是什么?

  • 它与TypeChanged <:Event类型无关

  • 这个语法是什么意思:

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

?这里的 Value 名称,类型和实际 Value 是多少?

谢谢!

1 回答

  • 7
    {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 = {}
      }
    }
    

    所有代码未经测试

相关问题