3

使用XScalaWT,在 Scala 2.7 下编译:

class NodeView(parent: Composite) extends Composite(parent) {
  var nodeName: Label = null

  this.contains(
    label(
      nodeName = _
    )
  )
}

使用 2.8.0 RC1,我收到此错误:

类型不匹配; 发现:main.scala.NodeView 需要:org.eclipse.swt.widgets.Label

类型有:

label(setups: (Label => Unit)*)(parent: Composite) : Label
contains(setups: (W => Unit)*) : W

所以看起来 _ 现在绑定到外部函数而不是内部函数。

这种改变是故意的吗?

更新:这是一个最小化的例子:

斯卡拉 2.7.7:

scala> var i = 0
i: Int = 0

scala> def conv(f: Int => Unit) = if (_:Boolean) f(1) else f(0)    
conv: ((Int) => Unit)(Boolean) => Unit

scala> def foo(g: Boolean => Unit) { g(true) }    
foo: ((Boolean) => Unit)Unit

scala> foo(conv(i = _))    

scala> i    
res4: Int = 1

斯卡拉 2.8.0RC3:

scala> var i = 0
i: Int = 0

scala> def conv(f: Int => Unit) = if (_:Boolean) f(1) else f(0)
conv: (f: (Int) => Unit)(Boolean) => Unit

scala> def foo(g: Boolean => Unit) { g(true) }
foo: (g: (Boolean) => Unit)Unit

scala> foo(conv(i = _))
<console>:9: error: type mismatch;
 found   : Boolean
 required: Int
       foo(conv(i = _))
                  ^

scala> foo(conv(j => i = j))

scala> i
res3: Int = 1

有趣的是,这有效:

scala> foo(conv(println _))
1
4

2 回答 2

2

这是我在 scala-user 列表中从 Lukas Rytz 那里得到的答案:

嗨阿列克谢,

当我们引入命名参数时,语义发生了变化。一种表达

foo(a = _)

曾经被解析如下:

foo(x => a = x)

在 2.8 中,“a”被视为命名参数,即表达式被解析为:

x => foo(a = x)

我将为此更改添加迁移警告。

于 2010-06-08T18:07:47.107 回答
0

我注意到了同样的事情,并在 Dave 的博客上问道:

http://www.coconut-palm-software.com/the_new_visual_editor/doku.php?id=blog:simplifying_swt_with_scala#comment__930ba2f0a020203873d33decce01ebc2

虽然还没有答案。正如您所说,似乎 _ 绑定到外部闭包而不是内部闭包。

改变

nodeName = _

x => nodeName = x

解决问题。

于 2010-06-04T15:18:43.443 回答