我是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 回答
是一个结构类型,它意味着它接受任何具有unapply方法的Object,其中Event为Parameter,Option [TextField]为返回值 . 最常用的类似鸭子打字,例如:
所以
声明一个名为ValueChanged并使用Type StructuralType的val,但是没有赋值,这只在特征或抽象类中有意义,这就是为什么你的例子不起作用的原因 .
所以呢
意味着特征SwingApi只能应用于具有名称为ValueChanged的val的对象/类以及分配给它的任何值,具有unapply方法
所有代码未经测试