Как мне устранить неоднозначность в Scala между методами с vararg и без

Question

Я пытаюсь использовать библиотеку java jcommander от Scala.Класс java JCommander имеет несколько конструкторов:

 public JCommander(Object object)  
 public JCommander(Object object, ResourceBundle bundle, String... args)   
 public JCommander(Object object, String... args)   

Я хочу вызвать первый конструктор, который принимает no varargs.Я пытался:

jCommander = new JCommander(cmdLineArgs)

Я получаю ошибку:

error: ambiguous reference to overloaded definition,
both constructor JCommander in class JCommander of type (x$1: Any,x$2: <repeated...>[java.lang.String])com.beust.jcommander.JCommander
and  constructor JCommander in class JCommander of type (x$1: Any)com.beust.jcommander.JCommander
match argument types (com.lasic.CommandLineArgs) and expected result type com.beust.jcommander.JCommander
jCommander = new JCommander(cmdLineArgs)

Я также пытался использовать именованный параметр, но получил тот же результат:

jCommander = new JCommander(`object` = cmdLineArgs)

Как мне сказать Scala, что я хочу вызвать конструктор, который не принимает varargs?

Я использую Scala 2.8.0.

Answer 1

Извините, теперь я понимаю, что это известная проблема взаимодействия с Java. См. этот вопрос и билет . Единственное известное мне решение - создать небольшой класс Java только для устранения неоднозначности этих вызовов.

Answer 2

Единственное известное мне решение этой проблемы от Scala - рефлексия.

Неоднозначные методы

Предположим, у нас есть тестовый класс Java:

public class Ambig {
  public Ambig() {}
  public String say(Object o) { return o.toString(); }
  public String say(Object o, String... ss) { return o.toString()+ss.length; }
}

Мы можем получить доступ к методу через отражение напрямую:

val ambig = new Ambig
val methods = ambig.getClass.getMethods.filter(_.getName == "say")
val wanted = methods.find(_.getParameterTypes.length == 1).get
wanted.invoke(ambig, Some(5)).asInstanceOf[String]

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

def sayer(speaker: { def say(o: Object): String }, o: Object) = speaker.say(o)
sayer(new Ambig, Some(5))

Неоднозначные конструкторы

Наша стратегия должна отличаться, потому что у нас фактически нет объекта для начала. Предположим, у нас есть класс Java

public class Ambig2 {
  public final String say;
  public Ambig2(Object o) { say = o.toString(); }
  public Ambig2(Object o, String... ss) { say = o.toString()+ss.length; }
}

Подход структурных типов больше не работает, но мы все еще можем использовать отражение:

val mkAmbig2 = classOf[Ambig2].getConstructors.filter(_.getParameterTypes.length==1)
val ambig = mkAmbig2.head.newInstance(Some(5)).asInstanceOf[Ambig2]
ambig.say   // Some(5)

Answer 3

Я думаю, что ваш самый простой вариант - иметь Java-класс с фабричным методом для решения проблемы:

package com.beust.jcommander;

public class JCommanderFactory {
    public static createWithArgs(Object cmdLineArgs) {
        return new JCommander(cmdLineArgs);
    }
}

В качестве альтернативы вы можете использовать http://jewelcli.sourceforge.net/usage.html.JewelCli имеет однозначный фабричный метод для той же цели, а также использует технику PICA (прокси-интерфейсы, настроенные с аннотациями) http://www.devx.com/Java/Article/42492/1954.

На самом деле у меня есть пример использования JewelCLI со Scala здесь, на переполнении стека .

Answer 4

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

Answer 5

Вы можете вызвать конструктор с помощью varags, но передать пустой список varags.

(Конечно, если вы знаете, что создание JCommander с пустыми varags даст тот же результат, что и вызов перегруженного конструктора (или метода) без vargs)

jCommander = new JCommander(cmdLineArgs, Nil: _*)