Почему scalac использует метод Java vararg вместо единственного аргумента

Question

Почему scalac использует метод Java vararg вместо единственного аргумента

1

Мы используем Elasticsearch в качестве базы данных и на основе определения я создаю сопоставление типов. Это сопоставление - это в основном объект JSON, который XContentBuilder с помощью XContentBuilder Java-API elasticsearch.

В моем файле scala я определил объект Enumeration, который содержит возможные типы данных elasticsearch, например:

object TypeMapping extends Enumeration {

    val StringType = DataType("string")
    val FloatType = DataType("float")
    ...
    val GeoShapeType = DataType("geo_shape")
    val AttachmentType = DataType("attachment")

    final case class DataType(esType: String) extends Val {
        override def toString: String = esType
    }
}

Теперь, когда я использую это при создании отображения JSON следующим образом:

val builder = jsonBuilder.startObject("name").field("type", StringType).endObject

компилятор scala прекрасно справляется со всеми способами вызова; нет ошибок или предупреждений.

Метод field перегружено, каждый прием String параметр name и параметр value. Эти значения могут быть конкретными (String, int, int[] и т.д.) Или vararg (String..., int... и т.д.), Но также вариант Object для конкретных вызовов и vararg.

Теперь я бы ожидал, что компилятор scala выберет field(String name, Object value) в случае, который я описываю здесь, но, к моему удивлению, я нахожу, что field(String name, Object... value) вызывается,

Я не понимаю, почему это происходит. Может ли кто-нибудь объяснить это мне?

rmcuenen 12 май 2014, в 12:18

Источник

0

Откуда ты знаешь, что выбирает метод varargs. Что происходит, чтобы показать это?
monkjack 12 май 2014, в 12:47
0

Результирующий объект JSON отличается. Вызов vararg создает значение поля Array, в то время как non-vararg создает значение поля String. Я только что опубликовал свой частичный код, объясняющий, какие API-вызовы я делаю. Вы также можете воспроизвести это, создав файл класса Java с двумя методами печати, который вызывается, и вызывая его в классе Scala.
rmcuenen 12 май 2014, в 12:59
0

Да, последний вопрос был бы лучше, я думаю, поскольку это на самом деле не имеет ничего общего с Elasticsearch. Как примечание, я создал github.com/sksamuel/elastic4s, чтобы обойти несоответствие между клиентом Java и Scala.
monkjack 12 май 2014, в 13:02

Показать ещё 1 комментарий

Теги:

java

scala

elasticsearch

variadic-functions

1 ответ

Ещё вопросы

Откуда ты знаешь, что выбирает метод varargs. Что происходит, чтобы показать это?
Результирующий объект JSON отличается. Вызов vararg создает значение поля Array, в то время как non-vararg создает значение поля String. Я только что опубликовал свой частичный код, объясняющий, какие API-вызовы я делаю. Вы также можете воспроизвести это, создав файл класса Java с двумя методами печати, который вызывается, и вызывая его в классе Scala.
Да, последний вопрос был бы лучше, я думаю, поскольку это на самом деле не имеет ничего общего с Elasticsearch. Как примечание, я создал github.com/sksamuel/elastic4s, чтобы обойти несоответствие между клиентом Java и Scala.

som-snytt · Answer 1 · 2014-05-12T08-13-00.000Z

Scala выбирает версию varargs как более конкретную, потому что (String, Array[Any]) можно применить к другому сигнатурному field(name: String, value: Any). (И не наоборот).

Учитывая, что оба метода находятся в одном классе, я не уверен, есть ли каноническое обходное решение помимо рефлексивного доступа:

  type Picker = {
    def f(name: String, value: Any): Int
  }
  Console println x.f("hi", "high")                // varargs
  Console println (x: Picker).f("hi", "high")      // not

неоднозначности:

public class JOver {
    public int f(String name, Object value) { return 1; }
    public int f(String name, Object... values) { return 2; }
}

Я звоню Java API из Scala здесь. StringType будет выглядеть как тип Any , который я угадал, и который я ожидал отобразить в типе java.lang.Object , но если я правильно вас понял, он будет отображаться как Array[Any] и, следовательно, отображается в java.lang.Object... ?
Я не пользователь, но проверил этот сигнал в XContentBuilder. Разрешение перегрузки в Scala просто смотрит на признаки методов, которые применяются к вашим аргументам. Массив - это Объект, но не наоборот.
Да, конечно, Массив - это Объект, а не наоборот. Если Scala смотрит на сигнатуру методов, которые применяются к аргументам, то почему он выбирает Object ... (или Array [Any]) вместо Object? Вы говорите, что поскольку применяются обе подписи, vararg более конкретен и поэтому выбран?
Это то, что я говорю. Тангенциально, Issues.scala-lang.org/browse/SI-4728 Issues.scala-lang.org/browse/SI-8344
Хорошо. Но так ли это в случае с Объектом? Когда я изменяю StringType на StringType.toString метод с sig (String, String) а не (String, String...) . Также здесь применяются обе подписи, но теперь vararg не является более конкретным?