Без всяких лишних слов напишу код:
public class A {
static Object f() {
String str = "hello";
str = "world"; // (1) ошибка компиляции!
class X extends Object {
public String toString() {
return str;
}
}
return new X();
}
static Object g() {
String[] s = { "hello", "silence" };
s[0] = "World"; // (2) НЕТ ошибки компиляции.
class X extends Object{
public String toString() {
return s[0];
}
}
return new X();
}
public static void main(String[] args) {
}
}
Закомментирование строки (1)
даст компилятору понять, что str
в f()
есть effectively final, код скомпилируется.
Закомментирование строки (2)
не нужно. Ведь s
-- ссылка на массив, которая не изменяется. Взятие s[0]
затем законно.
Вопрос: Зачем от нас требую использование только final или effectively final локальных переменных в локальном классе? Я могу работать с первой ячейкой массива s
и всё у меня будет замечательно.
Мои мысли и непонятки: как вообще будет выглядеть код объекта класса f().X
? Это будет объект с кодом из Object
, но его метод toString()
будет таким (псевдокод):
public String toString() {
return 0x47e9c2dd;
}
Где, как понимаю, 0x47e9c2dd
адрес той самой строки str
? Но если бы оно работало так, то какая разница какой адрес мы бы положили в этот метод, когда создавали экземпляр класса f().X
...
Так же не понимаю: мы определяем метод toString()
класса f().X
ссылаясь на локальную переменную str, которая (как ссылка) исчезнет по завершению работы f()
, но при том объект возвращённый из f()
содержит в своём toString()
ссылку на str
(как объект). Значит у нас тратится RAM на то, чтобы держать метод f().X.toString()
определённым?....
В общем я очень запутался, совершенно не понимаю происходящего с этими локальными классами в том свете, что на нас возложено это странное требование на final или effectively final. Объясните происходящее, пожалуйста...