Подтвердить что ты не робот

Scala параметр типа выводится на кортеж

Я неожиданно столкнулся с этой (неожиданной для меня) ситуацией:

def method[T](x: T): T = x

scala> method(1)
res4: Int = 1

scala> method(1, 2)
res5: (Int, Int) = (1,2)

Почему в случае двух и более параметров метод возвращает и выводит кортеж, но бросает ошибку о списке параметров? Это намерение? Может быть, это явление имеет имя?

4b9b3361

Ответ 1

% scala2.10 -Xlint

scala> def method[T](x: T): T = x
method: [T](x: T)T

scala> method(1)
res1: Int = 1

scala> method(1, 2)
<console>:9: warning: Adapting argument list by creating a 2-tuple: this may not be what you want.
        signature: method[T](x: T): T
  given arguments: 1, 2
 after adaptation: method((1, 2): (Int, Int))
              method(1, 2)
                    ^
res2: (Int, Int) = (1,2)

Ответ 2

Вот выдержка из scala компилятора:

/** Try packing all arguments into a Tuple and apply `fun'
 *  to that. This is the last thing which is tried (after
 *  default arguments)
 */
def tryTupleApply: Option[Tree] = ...

И вот связанная проблема: Spec не упоминает автоматическое переименование

Все это означает, что в приведенном выше примере (тип-параметризованный метод одного аргумента) scala пытается упаковать параметры в кортеж и применить функцию к этому кортежу. Далее из этих двух коротких фрагментов информации мы можем заключить, что это поведение не указано в спецификации языка, и люди обсуждают возможность добавления предупреждений компилятора для случаев автоматической настройки. И это можно назвать автоматическим tupling.