jlsIf a method declaration d1 with return type R1 overrides or hides the declaration of another method d2 with return type R2, then d1 must be return-type-substitutable (§8.4.5) for d2, or a compile-time error occurs


Чтобы при override/hide не было ошибок компиляции метод в потомке должен быть return-type-substitutable относительно метода в предке
------------------------------------
читаем что значит return-type-substitutable:


jlsA method declaration d1 with return type R1 is return-type-substitutable for another method d2 with return type R2 iff any of the following is true:

If R1 is void then R2 is void.

If R1 is a primitive type then R2 is identical to R1.

If R1 is a reference type then one of the following is true:

--R1, adapted to the type parameters of d2 (§8.4.4), is a subtype of R2.

--R1 can be converted to a subtype of R2 by unchecked conversion (§5.1.9).

--d1 does not have the same signature as d2 (§8.4.2), and R1 = |R2|.

все пункты понятны, кроме этого:

jlsd1 does not have the same signature as d2 (§8.4.2), and R1 = |R2|

как так то?

я может чего-то не учитываю но для меня это выглядит как будто возвращаемые типы должны быть одинаковые , а сигнатуры любые лишь бы не одинаковые.




ведь этот код вроде соответствует правилу, но это ж очевидный compilation fail.

Проясните пожалуйста.

P.S. 2 сигнатуры равны если равны имена методов и список параметров одинаковый.

Basil A. Sidorov,

извиняюсь за пропущеннную скобку.

Смотрите по jls чтобы НЕ было ошибок компиляции надо, чтобы опреление метода в потомке был return-type-substitutable

смотрим определение в родителе



в потомке:




читаем, чтобы сигнатуры были return-type-substitutable нужно выполнить определенные условия в зависимости от возвращаемого значения предка. если возвращаемое значение...
void... - не наш случай
примитив .... - не наш случай.
ссылочный тип. Во! наш вариант. если верно хотя бы что-то одно из следующего:
-....
-....
-сигнатуры должны быть разные, а возвращаемые типы - одинаковые. -Так это ж прям как у меня. И почему же ошибка компиляции ?


Я думаю я объяснил свою логику. Видимо где-то я не учёл что-то. Расскажите что) Только пожалуйста с привязкой к jls.

Basil A. Sidorov,

да я понимаю вас. Представьте, что вы java не знаете и делаете всё по данной мною инструкции. Какой пункт я нарушил ?

Basil A. Sidorov,

на самом деле я хочу научиться читать jls. По-моему достаточно интересно?

авторIf a method declaration d1 with return type R1 overrides or hides...
кажется эта фраза подразумевает, что правила hide or override выполнены.

maxkar,

да да да

Basil A. Sidorov,

jlsIf a method declaration d1 with return type R1 overrides or hides...

это когда равны имена методов и спискок параметров с погрешностью до type-erasure.

---------
Basil A. Sidorov - забавная история.

Но иногда требуется что-то уточнить...узнать не про конкретное выполнение конкретного кода, а ширину подобных случаев - приходится глядеть в jls. Смотришь и волосы дыбом становятся

Basil A. Sidorov,

хм у меня глупый наверное, но всё таки вопрос.

а спецификация и документация это разные вещи ?

no56892,

требуется ответ по jls ?

http://docs.oracle.com/javase/specs/jls/se7/html/jls-5.html#jls-5.2
A narrowing primitive conversion may be used if the type of the variable is byte, short, or char, and the value of the constant expression is representable in the type of the variable.

A narrowing primitive conversion followed by a boxing conversion may be used if the type of the variable is :

Byte and the value of the constant expression is representable in the type byte .

Short and the value of the constant expression is representable in the type short.

Character and the value of the constant expression is representable in the type char.