Как должны Scala аргументы по умолчанию ссылаться на предыдущий аргумент позиции?

Scala -lang ссылка 5.5.1 и 6.6.1 дала мне впечатление, что параметр по умолчанию может ссылаться на ранее оцененный:

class Test(val first: String, val second: String = first)

но, экспериментируя, кажется, единственный способ сделать это - использовать форму:

class Test(val first: String)(val second: String = first)

а затем определите вспомогательный конструктор или класс сопутствующих сокетов, чтобы избежать указания второго набора скобок при создании. Я действительно не понимаю, как работает этот второй конструктор, он выглядит как карри-функция, поэтому я могу предположить, что нужно оценивать first независимо от second, это правильно? Является ли эта форма необходимой или есть какой-то синтаксический сахар, который я могу использовать, чтобы настроить первый конструктор на то, что я хочу?

Ответ 1

Как Тревис Браун указывает, что вы действительно можете ссылаться только на предыдущий аргумент в выражении по умолчанию, когда он из предыдущего списка аргументов (так что вам нужно currify).

Теперь, в отношении вашего конкретного случая использования, аргументы по умолчанию и перегрузка метода иногда являются двумя способами достижения одного и того же.

Я думаю, что самым простым решением для вашего сценария является просто определение Test следующим образом:

class Test(val first : String, val second : String) {
  def this(f : String) = this(f, f)
}

Если вы хотите сделать его более сложным, альтернативный способ, используя сопутствующий объект:

class Test(val first : String)(val second : String = first)
object Test {
  def apply(f : String) = new Test(f)
  def apply(f : String, s : String) = new Test(f)(s)
}

(Небольшое различие заключается в том, что теперь вы создаете объекты без new.)

То, что вы не можете, определяет его как:

class Test(val first : String)(val second : String = first) {
  def this(f : String, s : String) = this(f)(s)
}

... потому что версия в карри превращается в (среди прочего) метод с той же сигнатурой, что и перегруженный конструктор.

Ответ 2

Из 5.3 спецификация:

Объем параметра формального значения включает все последующие секции параметров и шаблон t.

Обычные методы одинаковы, кстати (из 4.6):

Объем имени формального значения x содержит все последующие параграфы параметров, а также тип возвращаемого метода и тело функции, если они заданы.

I.e., есть ли у вас конструктор или обычный метод, имя параметра значения не входит в сферу действия в свой собственный параметр параметра. В вашей второй версии конструктор имеет два предложения параметров, а first - только в области во втором. См. 5.3 для более подробной информации о нескольких параметрах.