В Java это выражение, присваиваемое объявленной переменной iff. он может быть передан как параметр, объявленный с тем же типом?

Question

_{Этот вопрос был вдохновлен Java 8: Is it possible to assign a method reference to a variable?.}

В настоящее время я понимаю (который не может быть полностью прав), вызов, скажем fooMethod(FooType ft) в fooMethod(myFooInstance) вызывает неявное назначение myFooInstance к локальной переменной внутри тела fooMethod «s, чье имя ft, и тип которого объявляется как FooType. Ясно, что в этом случае я мог бы также присвоить поле или локальную переменную, тип которой FooType, например, в классе с объявленным полем private FooType fooField с использованием this.fooField = myFooInstance;.

Однако при сканировании JLS 8.4.1 нет упоминания о назначении при работе с параметрами метода. JLS 5.3 аналогичным образом не упоминает о назначении, по крайней мере, с начальным чтением этого раздела.

Итак, являются ли правила для типичной типизации и используют их как в строгом вызове, так и в контексте назначения? (или, является ли значение, присваиваемое параметру метода , если и только если присваивается переменной поля/локальной переменной с тем же объявлением?)

(в том же декларации подразумевается параметр field/local /, который равен не является окончательным, и видимость/доступность полей не учитывается для целей данного вопроса)

Edit:

FooType не обязательно конкретный класс, но инструмент Перефразируя мой вопрос. Это может быть функциональный интерфейс, простой интерфейс, прокси-класс, примитив и т. Д.

Чтобы немного перефразировать, есть ли значение (или возвращаемое значение конструктора функций/языка, возвращающее значение) , которые могут быть назначены:

FooType ft; 

или переданы

myMethod(FooType ft){ ... 

, но не как для некоторые выбор типа для FooType (который будет выступать в качестве контрпример а и ответьте «нет»).

Answer 1

Вам нужно будет сравнить 5.2 Assignment Conversion и 5.3 Method Invocation Conversion за отличия. Я не вижу никаких соответствующих.