我是
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< ;:事件类型无关
>这种语法意味着什么:
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 = {} } }
所有代码未经测试