Захват универсального типа из реализации

Question

1

В некоторых Java-коде у меня есть такой интерфейс:

interface A<T> {
    T produce();
    compare(T x, T y);
}

У меня разные реализации, такие как:

class B extends A<int[]> {
    int[] produce() {...}
    compare(int[] x, int[] y) {...}
}

Проблема заключается в том, как захватить специфический для реализации тип общего типа. Не работает следующее:

A<T> a = new B();
T x = a.produce();
T y = a.produce();
a.compare(x, y);

Разумеется, тип T не относится к тому, что внутри B (На самом деле это ни на что не ссылается).

Есть ли способ заставить T захватить общий тип B?

Thomas Ahle 27 март 2015, в 16:53

3

Вы уже знаете, что это int[] , почему вы хотите универсальную переменную?
Sotirios Delimanolis 27 март 2015, в 15:31
0

К сожалению, в Java отсутствует идентификатор, позволяющий компилятору выводить тип, например, auto в C ++ или var в C #, и нет хорошего способа сохранить это правило, кроме вызова compare в одной строке (кроме Reflection)
Binkan Salaryman 27 март 2015, в 15:36
1

Sotirios: другие реализации могут использовать разные типы.
Thomas Ahle 27 март 2015, в 15:39
0

И они все еще будут знать. Если вы пишете new B() в своем исходном коде, вы знаете, что аргумент общего типа для A - это int[] . Может быть, ваш пример не указывает на то, что вы пытаетесь сделать.
Sotirios Delimanolis 27 март 2015, в 15:41
1

@SotiriosDelimanolis: Если предположение в моем ответе верно, я думаю, что в реальном мире создание экземпляра a и последующих операций будет разделено.
Mark Peters 27 март 2015, в 15:42

Показать ещё 3 комментария

Теги:

generics

wildcard

1 ответ

Вы уже знаете, что это int[] , почему вы хотите универсальную переменную?
К сожалению, в Java отсутствует идентификатор, позволяющий компилятору выводить тип, например, auto в C ++ или var в C #, и нет хорошего способа сохранить это правило, кроме вызова compare в одной строке (кроме Reflection)
Sotirios: другие реализации могут использовать разные типы.
И они все еще будут знать. Если вы пишете new B() в своем исходном коде, вы знаете, что аргумент общего типа для A - это int[] . Может быть, ваш пример не указывает на то, что вы пытаетесь сделать.
@SotiriosDelimanolis: Если предположение в моем ответе верно, я думаю, что в реальном мире создание экземпляра a и последующих операций будет разделено.

Mark Peters · Accepted Answer · 2015-03-27T14-34-00.000Z

Если я могу немного читать строки, я думаю, что вы спрашиваете, как вы делаете эту часть в частности родительский:

T x = a.produce();
T y = a.produce();
a.compare(x, y);

Ответ обычно заключается в том, чтобы "привязать" параметр типа с помощью общего метода:

private static <T> void produceAndCompare(A<T> a) {
    T x = a.produce();
    T y = a.produce();
    a.compare(x, y);
}

Затем вы можете вызвать его так:

produceAndCompare(new B());

И если он должен быть в переменной сначала:

A<?> a = getSomeA(); //could just return new B();
produceAndCompare(a);

Ах, значит, вы «пользуетесь» способностью связывать дженерики. Интересно.
@ThomasAhle: Точно. Я дал более подробное объяснение в этом ответе: stackoverflow.com/questions/16449799/… . Кроме того, этот учебник по Java достаточно хорошо вписывается в эту тему: docs.oracle.com/javase/tutorial/java/generics/capture.html
Все еще кажется странным, что единственный способ объявить и захватить универсальный тип - это определения методов. Если функциональность уже есть в Java, не может ли быть способ захвата типа внутри фактического кода?
@ThomasAhle: Я согласен, было бы довольно просто добавить это к языку. Тем не менее, я широко использую дженерики в реальном мире, и я мог рассчитывать с одной стороны, сколько раз я хотел этого, но думал, что вспомогательный метод был бы неуместным. Так что, возможно, это оправдано, чтобы не раздуть язык с помощью функции.