3

我一直在学习 Scala，到目前为止它一直很好，遗憾的是我发现了某些我不完全理解的行为。我希望你们能给我一些线索，我在编写这个类时出现了问题：

class Point(iDim:Int,data:Array[Double],f: Array[Double] => Double) {
...
def this(idim: Int, obj :ObjectThatGenerate_ArrayofDouble, f: Array[Double] => Double){
  this(idim,obj.generateArray(idim),f)
}
}

所以当我在我的主代码中使用这些构造函数时，我需要这样做

var p:Point = new Point (idim,obj,f _)

或者

var p:Point = new Point (idim,dataArray,f _)

但是如果我删除辅助构造函数，我只需要像这样构建对象：

var p:Point = new Point (idim, dataArray, f)

为什么在scala中当我有一个辅助构造函数时我需要传递一个部分实现的函数“f _”而当我没有辅助构造函数时我可以直接传递函数“f”？或者字符“_”有另一个在这种情况下是什么意思？

4

1 回答 1

1

正如@ghik 所说，当您使用方法（或在这种情况下为构造函数）重载时存在类型推断限制。一般来说，你应该尽量避免重载，这几乎不是好的做法。

这里的解决方法是使用第二个参数列表，例如

trait Generator {
  def generateArray(idim: Int): Array[Double]
}

class Point(iDim: Int, data: Array[Double], f: Array[Double] => Double) {
  def this(idim: Int, gen: Generator)(f: Array[Double] => Double) {
    this(idim, gen.generateArray(idim), f)
  }
}

val obj = new Generator {
  def generateArray(idim: Int) = new Array[Double](idim)
}

def f(arr: Array[Double]) = arr.sum

new Point(33, obj)(f)

将函数参数放入第二个参数列表在 Scala 中很常见，因为它为函数文字提供了方便的语法。因为new Point(...) { ... }会被解释为使用匿名主体扩展类，所以更好的解决方案——并摆脱重载——是使用伴生对象：

object Point {
  def apply(idim: Int, gen: Generator)(f: Array[Double] => Double) =
    new Point(idim, gen.generateArray(idim), f)
}
class Point(iDim: Int, data: Array[Double], f: Array[Double] => Double)

Point(33, obj)(f)
Point(33, obj) { arr => arr.sum / arr.size }

（注：你也可以写一个apply参数列表的方法。因为它没有重载，所以你没有必须声明下划线的问题）

于 2013-08-26T21:43:05.760 回答