类构造函数声明...声明同一事物的两种方法？

Question

我想解释一下这个声明：

class Clazz(param1: String, param2: Integer)

和这个：

class Clazz(param1: String)(param2: Integer)

第二个声明是否只影响实例化对象的方式，或者是否有任何我不知道的更深层次的原因。

我想到的一个原因是参数的多个可变长度，例如：

class Clazz(param1: String*)(param2: Integer*)

还有其他的吗？

Answer 1

#1 类型推断。它从左到右并按参数列表完成。

scala> class Foo[A](x: A, y: A => Unit)
defined class Foo

scala> new Foo(2, x => println(x))
<console>:24: error: missing parameter type
              new Foo(2, x => println(x))
                         ^

scala> class Foo[A](x: A)(y: A => Unit)
defined class Foo

scala> new Foo(2)(x => println(x))
res22: Foo[Int] = Foo@4dc1e4

#2 隐式参数列表。

scala> class Foo[A](x: A)(implicit ord: scala.Ordering[A]) {
     |   def compare(y: A) = ord.compare(x, y)
     | }
defined class Foo

scala> new Foo(3)
res23: Foo[Int] = Foo@965701

scala> res23 compare 7
res24: Int = -1

scala> new Foo(new {})
<console>:24: error: No implicit Ordering defined for java.lang.Object.
              new Foo(new {})
              ^

Answer 2

在第二个版本中，您为 Clazz 声明一个柯里化主构造函数。因此，这两个版本之间的差异与 Scala 中“普通”函数和柯里化函数之间的差异相同，即

def foo(param1: String, param2: Int)

def foo(param1: String)(param2: Int)

大多数情况下，两个声明可以互换使用，但如果您经常需要柯里化函数，那么在中声明它更有意义咖喱形式。请注意，您还可以将普通函数甚至构造函数转换为柯里化形式，例如，您可以使用以下方法将普通 Clazz 构造函数转换为柯里化形式：

(new Clazz(_, _)).curried

如果您传递隐式值，则还需要多个参数列表（因为关键字隐式适用）到完整的参数列表）