Странное поведение generics в Java?

Question

[burdakovd]

Писал какую-то обобщённую жесть, и вот внезапно Java отказалась компилить код, хотя казалось бы всё нормально.


Вкратце, что тут происходит:


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


Метод test накладывает ограничение на тип передаваемого объекта, которые на человеческий язык можно перевести как «объект input содержит метод transform, с возвращаемым значением типа «какой-то подтип I»»


Таким образом transform () вернёт объект, совместимый с типом I. И у возвращённого объекта можно снова вызвать метод transform ().


Если я делаю это через промежуточные переменные, то всё работает, а в одну строку — не компилируется, хотя суть то не меняется.


Что не так?

<font color="black"><ol>
<li>&nbsp;</li>
<li><font color="#000000"><b>class</b></font> Main <font color="#009900">{</font></li>
<li>&nbsp;</li>
<li>&nbsp; &nbsp; <font color="#008000"><i><b>/**</b></i></font></li>
<li><font color="#008000"><i><b>&nbsp; &nbsp; &nbsp;* @param &lt;T&gt;</b></i></font></li>
<li><font color="#008000"><i><b>&nbsp; &nbsp; &nbsp;* &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;transformation result type</b></i></font></li>
<li><font color="#008000"><i><b>&nbsp; &nbsp; &nbsp;* </b></i></font></li>
<li><font color="#008000"><i><b>&nbsp; &nbsp; &nbsp;*/</b></i></font></li>
<li>&nbsp; &nbsp; <font color="#000000"><b>public</b></font> <font color="#000000"><b>interface</b></font> Transformable<font color="#339933">&lt;</font>T <font color="#000000"><b>extends</b></font> Transformable<font color="#339933">&lt;?&gt;&gt;</font> <font color="#009900">{</font></li>
<li>&nbsp; &nbsp; &nbsp; &nbsp; T transform<font color="#009900">(</font><font color="#009900">)</font><font color="#339933">;</font></li>
<li>&nbsp; &nbsp; <font color="#009900">}</font></li>
<li>&nbsp;</li>
<li>&nbsp; &nbsp; <font color="#339933">&lt;</font>I <font color="#000000"><b>extends</b></font> Transformable<font color="#339933">&lt;?</font> <font color="#000000"><b>extends</b></font> I<font color="#339933">&gt;&gt;</font> I test<font color="#009900">(</font><font color="#000000"><b>final</b></font> I input<font color="#009900">)</font> <font color="#009900">{</font></li>
<li>&nbsp;</li>
<li>&nbsp; &nbsp; &nbsp; &nbsp; <font color="#000000"><b>final</b></font> I ans <font color="#339933">=</font> input.<font color="#006633">transform</font><font color="#009900">(</font><font color="#009900">)</font>.<font color="#006633">transform</font><font color="#009900">(</font><font color="#009900">)</font><font color="#339933">;</font> <font color="#666666"><i>// can't compile!</i></font></li>
<li>&nbsp;</li>
<li>&nbsp; &nbsp; &nbsp; &nbsp; <font color="#666666"><i>// final I ans1 = input.transform();</i></font></li>
<li>&nbsp; &nbsp; &nbsp; &nbsp; <font color="#666666"><i>// final I ans = ans1.transform(); // works!</i></font></li>
<li>&nbsp;</li>
<li>&nbsp; &nbsp; &nbsp; &nbsp; <font color="#000000"><b>return</b></font> ans<font color="#339933">;</font></li>
<li>&nbsp; &nbsp; <font color="#009900">}</font></li>
<li>&nbsp;</li>
<li><font color="#009900">}</font></li>
<li>&nbsp;</li>
<li>&nbsp;</li>
</ol></font>

______________________

Comments

[burdakovd]

Похоже проблема в ECJ:

...\test\src>java -jar c:\Soft\eclipse\plugins\org.eclipse.jdt.core_3.6.0.v_A58.jar -version
Eclipse Compiler for Java(TM) 0.A58, 3.6.0, Copyright IBM Corp 2000, 2010. All rights reserved.

...\test\src>java -jar c:\Soft\eclipse\plugins\org.eclipse.jdt.core_3.6.0.v_A58.jar -6 Main.java
— 1. ERROR in Main.java (at line 14)
final I ans = input.transform().transform(); // can't compile!
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Type mismatch: cannot convert from capture#2-of? to I
— 1 problem (1 error)

Answer 1

[apangin]

Какая версия JDK?
У меня javac'ом 6u20 компилируются оба варианта.

Comments

[burdakovd]

Странно, JDK 1.6, компилировал с помощью eclipse. Сейчас попробую через javac.

[burdakovd]

Компилится, видимо дело в настройках эклипса.

[burdakovd]

В Eclipse не компилируется, пишет «Type mismatch: cannot convert from capture#2-of? to I»
Настройки дефолтные, JDK 1.6.0_22

[apangin]

У Эклипса свой компилятор, он не пользуется JavaCompiler интерфейсом JDK.
Похоже, в нем-то и ошибка.
Поищите тут, возможно, уже поправили багу.

Answer 2

[barker]

Вот так должно заработать ;)

final I ans = (I)input.transform().transform();

Comments

[barker]

Ну, мне показалось, что это так. Извините, если не так, пока не могу проверить…
Ваше разбитие на две части, кстати, как раз эту проблему неприведения и решает. Вроде логично, что должно быть именно так.

[burdakovd]

Понятно, что так заработает :D, но я специально делал generic интерфейсы, чтоб можно было обойтись без преобразований типов=)

[barker]

Хм, причём тут преобразование типов? O_o
Никакого преобразования типов нету в данном случае, вы что? К чему преобразование? К типу I? Какое там преобразование, у вас объект и есть этого типа. Здесь вы просто явно указываете, что метод пытаетесь вызвать именно у имплементанта интерфейса. Иначе компилятор тупо вас не поймёт. О чём он и сказал вам напрямую (см. выше): Type mismatch: cannot convert from capture#2-of? to I

[barker]

Вернее, разобрать, конечно, можно со стороны компилятора. Но видимо, компилятор эклипса глупее, чем родной из JDK. Там и не такие косяки мы наблюдали порой. Но тем не менее это не отрицает предложенного способа, он вполне нормален, просто перестраховка излишняя. Я даже примерно понимаю компиляторскую логику при разборе этого выражения :)

[burdakovd]

Разбитие на две части как раз по моему мнению и не должно ничего менять. И именно поэтому когда оказалось что в две строки компилируется, а в одну нет — я удивился и пошёл сюда=)

А явное приведение типов можно сделать, скорее всего оно заработает, но исходя из наложенных ограничений на I я ожидал, что transform вернёт объект, базовым типом которого является I. В этом случае явное приведение типов не должно было понадобиться.

[burdakovd]

Предыдущее сообщение я отправил до того как прочитал ваш ответ, так что сейчас в нём нет смысла.

Но если input.transform() имеет тип "? extends I", то так как I содержит подходящий метод transform, то и "? extends I" тоже будет его содержать.