scala - 了解以函数作为参数的辅助构造函数中的 Scala 行为

Question

我一直在学习 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”？或字符“_” “在这种情况下还有其他含义吗？

Answer 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方法。因为它没有重载，所以您不会遇到必须声明下划线)