final static w klasie wewnętrznej

final static w klasie wewnętrznej
K8
  • Rejestracja:ponad 5 lat
  • Ostatnio:prawie 4 lata
  • Postów:13
3

Witam, mógłby ktoś uzasadnić, dlaczego w klasie wewnętrznej niestatycznej może być pole final static, podczas gdy nie można tworzyć w niej pól statycznych?

AK
Dobre pytanie. Przymus szkolny, czy poszukiwania własne? Ode mnie plus. (ps. czuję to na dnie intuicji, ale na tę chwilę nie ubiorę w słowa)
K8
Własne, staram się jak najwięcej zrozumieć podczas nauki ;)
AK
Np jak implementujesz z interfejsu klasę anonimową, też wymagane są final argumenty, choć ze staticiem to nie ma nic wspólnego
K8
Wiem, że statyczny kod jest wykonywany podczas inicjalizacji klasy, ale nie można zainicjalizować niestatycznej klasy wewn. bez stworzenia obiektu klasy zewnętrznej, więc klasa wewn. nie może mieć pól statycznych. Czytałem też, że klasa wewnętrzna może mieć tylko compile-time constants, nadal jednak nie wiem, dlaczego może mieć static final.
Charles_Ray
  • Rejestracja:około 17 lat
  • Ostatnio:około 16 godzin
  • Postów:1875
0

A dlaczego ma nie mieć takiej możliwości? Aby zainicjalizować pola statyczne (static final) nie potrzebujesz instancji klasy, więc wydaje się to być jednak logiczne :)

EDIT: to jednak nie takie proste (static final pozwalają, a samo static już nie), bije się w pierś i odpowiadam: nie wiem. Domniemuje, że to rodzi jakieś corner-casy.


”Engineering is easy. People are hard.” Bill Coughran
edytowany 3x, ostatnio: Charles_Ray
Zobacz pozostały 1 komentarz
Charles_Ray
Statici „działają” w kontekście klasy, a nie obiektu
K8
to wiem, ale tu chodzi o klasę zewnętrzną
Charles_Ray
Przesadziłeś z trudnością pytania, przez 10 lat używania Javy nie było mi to potrzebne :/
K8
Spodziewam się, że z tego się nie korzysta, ale jak już się z tym spotkałem, to warto wiedzieć o co chodzi.
Charles_Ray
Zakładam, że to może prowadzić do pewnych niedeterminizmów podczas inicjalizacji takiej klasy, możliwy jest jakiś wyścig itp który uniemożliwia final. Ale dokładnie nie wiem.
Charles_Ray
  • Rejestracja:około 17 lat
  • Ostatnio:około 16 godzin
  • Postów:1875
2

Ok chyba znalazłem: https://coderanch.com/t/650397/java/static-final-fields-class

„Dowód nie wprost”: Gdyby dało się ustawiać statici bez final w inner clasie, wówczas jedno pole statyczne mogłoby mieć tyle różnych wartości ile zostało utworzonych klas nadrzędnych. A to przeczy idei statycznego pola, które w danym czasie może mieć jedna wartość (chyba ze zajdzie jakaś czarna magia na poziomie classloaderów i wersji klas, ale na tym się nie znam jeszcze bardziej i to już jakiś hardcore). Może nie do końca precyzyjnie, ale własnymi słowami :)


”Engineering is easy. People are hard.” Bill Coughran
edytowany 2x, ostatnio: Charles_Ray
Zobacz pozostałe 6 komentarzy
szopn
Wartość ;)?
BraVolt
Jeżeli uprościmy, że albo primitive value albo "pointer" to tak. Oczywiście w Java nie ma wskaźników jako typu danych.
BraVolt
A POINTER IS JUST THE ADDRESS OF SOME location in memory. In Java, pointers play an important role behind the scenes in the form of references to objects. A Java variable of object type stores a reference to an object, which is just a pointer giving the address of that object in memory. http://math.hws.edu/eck/cs124/javanotes3/java2cpp/s2.html
Charles_Ray
Wow jakie łapanie za słówka. Tak, wartość.
Wibowit
  • Rejestracja:około 20 lat
  • Ostatnio:około 7 godzin
1

Podnoszę poprzeczkę :) To poniżej też się nie kompiluje:

Kopiuj
public class Main {
    class Xxx {
        final static int a = "9".length();
    }
}

Jedyne czego można użyć w ciele takiego final static to literały https://en.wikibooks.org/wiki/Java_Programming/Literals oraz inne final static zawierające literały. Nie można wykonywać na nich metod, dozwolone jest tylko łączenie Stringów i operacje arytmetyczne.

Nie można też rzutować w jakikolwiek sposób, np to się nie skompiluje:

Kopiuj
public class Main {
    class Xxx {
        final static Object a = "0";
    }
}

"Programs must be written for people to read, and only incidentally for machines to execute." - Abelson & Sussman, SICP, preface to the first edition
"Ci, co najbardziej pragną planować życie społeczne, gdyby im na to pozwolić, staliby się w najwyższym stopniu niebezpieczni i nietolerancyjni wobec planów życiowych innych ludzi. Często, tchnącego dobrocią i oddanego jakiejś sprawie idealistę, dzieli od fanatyka tylko mały krok."
Demokracja jest fajna, dopóki wygrywa twoja ulubiona partia.
edytowany 6x, ostatnio: Wibowit
BraVolt
Dla mnie już wcześniej była za wysoko. :)
BraVolt
BTW, Venkat Subramaniam w Krakowie miał fajną prezentację na temat Javy 8. Było o tym, że lambda i anonymous class wymieniają się, ale dla lambda javac nie tworzy wielu plików. Przyznaję się publicznie, dlaczego tak javac działa z wyrażeniami lambda nie zrozumiałem. Tak blisko metalu dobrze czuje się koronawirus, nie ja.
Wibowit
Lambda w Javie 8 to jest klasa anonimowa tyle że tworzona w locie ze specjalnej metody statycznej i wywołania invokedynamic. Nie wymaga to dodatkowego pliku .class z całym narzutem, którego wymaga format tego pliku.
Korges
  • Rejestracja:około 5 lat
  • Ostatnio:około 6 godzin
  • Postów:570
0

Ogólnie z tego co pamiętam developer powinien się dwa razy zastanowić czy na pewno chce stosować słowo kluczowe static z tego względu że pola czy metody oznaczone w ten sposób są przechowywane w oddzielnym sektorze pamięci niż zwykły stack, mało tego, są przetrzymywane przez cały czas działania programu. Można więc rzec że świadomie obcinamy sobie często zupełnie zbędnie cenne miejsce w pamięci. Statyki są nietykalne dla GarbageCollectora.

edytowany 1x, ostatnio: Korges
Charles_Ray
Developer powinien się zastanowić nad czytelnością i poprawnością kodu, takie suboptymalizacje do niczego dobrego nie prowadzą
Wibowit
  • Rejestracja:około 20 lat
  • Ostatnio:około 7 godzin
0

W Javie jest Class Unloading w trakcie działania programu, ale w ogóle nie sprawdzałem jeszcze jak duża część statików może być w ten sposób odśmiecona.


"Programs must be written for people to read, and only incidentally for machines to execute." - Abelson & Sussman, SICP, preface to the first edition
"Ci, co najbardziej pragną planować życie społeczne, gdyby im na to pozwolić, staliby się w najwyższym stopniu niebezpieczni i nietolerancyjni wobec planów życiowych innych ludzi. Często, tchnącego dobrocią i oddanego jakiejś sprawie idealistę, dzieli od fanatyka tylko mały krok."
Demokracja jest fajna, dopóki wygrywa twoja ulubiona partia.
edytowany 1x, ostatnio: Wibowit
YA
  • Rejestracja:prawie 10 lat
  • Ostatnio:8 dni
  • Postów:2370
1
Wibowit napisał(a):

Podnoszę poprzeczkę :) To poniżej też się nie kompiluje:

Kopiuj
public class Main {
    class Xxx {
        final static int a = "9".length();
    }
}

Tę poprzeczkę spec wyjaśnia -> "9".length() nie jest const w czasie kompilacji. https://docs.oracle.com/javase/specs/jls/se14/html/jls-8.html#jls-8.1.3
Dlaczego tak design, a nie inny? Nie wiem :-)

szopn
Pewnie... Kompatybilność wsteczna ;]

Zarejestruj się i dołącz do największej społeczności programistów w Polsce.

Otrzymaj wsparcie, dziel się wiedzą i rozwijaj swoje umiejętności z najlepszymi.