{"id":16597,"date":"2022-10-31T05:00:00","date_gmt":"2022-10-31T04:00:00","guid":{"rendered":"https:\/\/sii.pl\/blog\/?p=16597"},"modified":"2023-02-16T14:13:17","modified_gmt":"2023-02-16T13:13:17","slug":"local-variable-type-inference-var-w-java-10","status":"publish","type":"post","link":"https:\/\/sii.pl\/blog\/local-variable-type-inference-var-w-java-10\/","title":{"rendered":"Local Variable Type Inference (var) w Java 10"},"content":{"rendered":"\n

Jedn\u0105 z nowo\u015bci wprowadzonych w j\u0119zyku Java w wersji 10 jest mechanizm okre\u015blany jako Local Variable Type Inference,<\/strong> w skr\u00f3cie var.<\/strong> Pozwala on na wnioskowanie typu zmiennej lokalnej na podstawie kontekstu w jakim zosta\u0142a u\u017cyta.<\/p>\n\n\n\n

Wcze\u015bniejsze wersje j\u0119zyka Java wymaga\u0142y deklaracji typu dla zmiennych lokalnych. Nowsze wersje okre\u015blaj\u0105 typ zmiennej lokalnej w trakcie kompilacji na podstawie typu, kt\u00f3rym s\u0105 one inicjowane.<\/p>\n\n\n\n

Wykorzystanie var w deklaracji zmiennej lokalnej<\/strong><\/h2>\n\n\n\n

U\u017cycie var w deklaracji zmiennej lokalnej oznacza, \u017ce programista zostawia ustalenie typu kompilatorowi, kt\u00f3ry sprawdzaj\u0105c kontekst u\u017cycia zmiennej, wnioskuje dla niej typ.<\/p>\n\n\n\n

Poni\u017cej przyk\u0142ad pokazuje proste u\u017cycie var.<\/p>\n\n\n\n

\"proste<\/a><\/figure><\/div>\n\n\n\n

W przyk\u0142adzie tym nale\u017cy zwr\u00f3ci\u0107 uwag\u0119 na kilka istotnych kwestii:<\/p>\n\n\n\n

  1. Typ zadeklarowany przez kompilator to ArrayList<String>, a nie List<String>.<\/string><\/string><\/li>
  2. Charakterystyczne dla tego typu inicjalizacji zmiennej jest podanie typu dla element\u00f3w przechowywanych w ArrayList<String> w celu precyzyjnego ustalenia typu przechowywanego w li\u015bcie. Brak tego typu powoduje przyj\u0119cie Object jako typu element\u00f3w listy.<\/string><\/li><\/ol>\n\n\n\n

    Przyk\u0142ad poni\u017cej przedstawia opisywan\u0105 w punkcie drugim sytuacj\u0119 z punktu widzenia kodu \u017ar\u00f3d\u0142owego oraz wygenerowanego przez kompilator kodu bajtowego w przypadku, kiedy zdefiniujemy konkretny typ w li\u015bcie lub gdy go nie podamy.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n
    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Wcze\u015bniejsze wersje var<\/strong><\/h2>\n\n\n\n

    Mechanizm wnioskowania typ\u00f3w u\u017cywany przez var nie jest nowo\u015bci\u0105 w j\u0119zyku Java. Jego pierwsze u\u017cycie mia\u0142o miejsce ju\u017c w wersji 5 tego j\u0119zyka. Poni\u017cej przyk\u0142ad dzia\u0142ania mechanizmu wnioskowania w Java 5 oraz wygenerowany kod bajtowy.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n
    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    W kolejnych wersjach j\u0119zyka rozszerzono zakres u\u017cycia mechanizmu wnioskowania o notacj\u0119 \u201ediamentow\u0105\u201d <> oraz obs\u0142ug\u0119 parametr\u00f3w w wyra\u017ceniu lambda<\/a>. Programista nie musi definiowa\u0107 typ\u00f3w parametr\u00f3w dla takiego wyra\u017cenia. W wersji 10 wprowadzono var, umo\u017cliwiaj\u0105c programi\u015bcie tworzenie zmiennych lokalnych bez deklaracji typu.<\/p>\n\n\n\n

    Jaki jest cel var?<\/strong><\/h2>\n\n\n\n

    Podstawowym celem var jest zwi\u0119kszenie czytelno\u015bci kodu i zwi\u0119kszenie efektywno\u015bci programist\u00f3w. Poni\u017cej kilka przyk\u0142ad\u00f3w u\u017cycia var.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Zastosowanie var zosta\u0142o ograniczone przez tw\u00f3rc\u00f3w j\u0119zyka Java do zmiennych lokalnych zdefiniowanych w metodach.<\/p>\n\n\n\n

    Poprawne i b\u0142\u0119dne zastosowanie var<\/strong><\/h2>\n\n\n\n

    Poni\u017cej przyk\u0142ad niew\u0142a\u015bciwego u\u017cycia var na poziomie instancji klasy.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    W Java var to wci\u0105\u017c konkretny typ, tylko jest on wnioskowany przez kompilator na etapie kompilacji i pozostaje niezmienny w trakcie wykonywania programu.<\/p>\n\n\n\n

    Poni\u017cej kolejny przyk\u0142ad niew\u0142a\u015bciwego u\u017cycia var.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Jak mo\u017cemy zauwa\u017cy\u0107, powy\u017cszy kod nie skompiluje si\u0119, poniewa\u017c programista pr\u00f3buje przypisa\u0107 do zmiennej typu int warto\u015b\u0107, kt\u00f3ra jest \u0142a\u0144cuchem znak\u00f3w. W tym przypadku mamy wi\u0119c do czynienia z niekompatybilnymi typami.<\/strong><\/strong><\/p>\n\n\n\n

    Dotychczas u\u017cywali\u015bmy deklaracji zmiennej var w jednej linii, jednak poprawna jest r\u00f3wnie\u017c deklaracja w wielu liniach.<\/strong><\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Nale\u017cy zwr\u00f3ci\u0107 uwag\u0119 na to, i\u017c deklaracja i inicjalizacja musz\u0105 si\u0119 odby\u0107 w jednej instrukcji<\/strong>. Kod poni\u017cej jest niepoprawny.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Poni\u017cszy przyk\u0142ad r\u00f3wnie\u017c si\u0119 nie skompiluje.<\/strong><\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Wnioskowanie typu z var<\/strong><\/h2>\n\n\n\n

    Przyk\u0142ad var i null<\/strong><\/h3>\n\n\n\n

    Wnioskowanie typu var polega na zdefiniowaniu ogranicze\u0144 dla danego typu i ich odpowiedniej interpretacji w oparciu o zasady opisane w specyfikacji j\u0119zyka Java. Istniej\u0105 jednak przyk\u0142ady, gdzie wnioskowanie typ\u00f3w jest bardziej z\u0142o\u017cone lub niemo\u017cliwe. Rozwa\u017cmy przyk\u0142ad z null.<\/strong><\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    W tym przypadku wnioskowanie typu jest niemo\u017cliwe, poniewa\u017c kompilator na podstawie wyra\u017cenia nie jest w stanie okre\u015bli\u0107 ogranicze\u0144, kt\u00f3re pozwoli\u0142yby mu wykry\u0107 typ. W tym przypadku jedyne mo\u017cliwe rozwi\u0105zanie to jawne zdefiniowanie typu w postaci rzutowania<\/strong>.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Oczywi\u015bcie taki zapis jest nieczytelny i nie powinien by\u0107 u\u017cywany.<\/p>\n\n\n\n

    Przyk\u0142ad var i wyra\u017cenie lambda<\/strong><\/h3>\n\n\n\n

    U\u017cycie mechanizmu var z wyra\u017ceniami lambda r\u00f3wnie\u017c mo\u017ce powodowa\u0107 problemy z wnioskowaniem typu. Poni\u017cej niekompiluj\u0105cy si\u0119 przyk\u0142ad z wyra\u017ceniem lambda.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Przyk\u0142ad var i nowej klasy anonimowej<\/strong><\/h3>\n\n\n\n

    Jeszcze innym ciekawym przypadkiem dzia\u0142ania mechanizmu var jest poni\u017cszy przyk\u0142ad.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Kod przedstawiony powy\u017cej dzia\u0142a i zwraca wyniki: class App3:$1, Hello, 7. W tym przypadku kompilator na podstawie kontekstu i mechanizmu wnioskowania typu utworzy\u0142 now\u0105 klas\u0119 anonimow\u0105 (class App3:$1). W kodzie bajtowym wygenerowanym przez kompilator wygl\u0105da to nast\u0119puj\u0105co.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Var i inicjalizacja tablic<\/strong><\/h3>\n\n\n\n

    Nale\u017cy r\u00f3wnie\u017c zwr\u00f3ci\u0107 uwag\u0119 na u\u017cycie var z inicjalizacj\u0105 tablic. Poni\u017cej przyk\u0142ad poprawnego zastosowania.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Przyk\u0142ady niepoprawnego u\u017cycia var z tablicami.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Kiedy nie mo\u017cemy u\u017cy\u0107 var?<\/strong><\/h2>\n\n\n\n

    Nie mo\u017cemy u\u017cywa\u0107 var jako parametru dla metody oraz jako warto\u015bci zwracanej z metody.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Podobnie, nie mo\u017cemy stosowa\u0107 var w try-catch.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    R\u00f3wnie\u017c nie inicjujemy var za pomoc\u0105 method reference.<\/p>\n\n\n\n

    \"kod\"<\/a><\/figure><\/div>\n\n\n\n

    Zalety i wady zastosowania var<\/strong><\/h2>\n\n\n\n

    Jak wynika z powy\u017cszych przyk\u0142ad\u00f3w tw\u00f3rcy j\u0119zyka Java musieli na\u0142o\u017cy\u0107 wiele ogranicze\u0144 na obs\u0142ug\u0119 var. Implementacja tego mechanizmu nie jest prosta i mo\u017ce zaskoczy\u0107 programist\u0119, kt\u00f3ry nie jest \u015bwiadomy czyhaj\u0105cych na niego pu\u0142apek.<\/p>\n\n\n\n

    Nieumiej\u0119tne wykorzystanie var <\/strong>mo\u017ce r\u00f3wnie\u017c doprowadzi\u0107 do sytuacji, gdy nasz kod b\u0119dzie bardzo trudny do zrozumienia, szczeg\u00f3lnie gdy nie b\u0119dziemy u\u017cywa\u0107 zaawansowanego \u015brodowiska IDE. Z drugiej strony var pozwala upro\u015bci\u0107 kodowanie i powoduje, i\u017c staje si\u0119 ono bardziej zwi\u0119z\u0142e.<\/p>\n\n\n\n

    Dobre praktyki u\u017cywania var<\/strong><\/h2>\n\n\n\n

    Poni\u017cej znajduje si\u0119 lista zasad i dobrych praktyk, jakie powinny by\u0107 zastosowane w trakcie u\u017cywania var. Lista ta pochodzi z dokumentu Local Variable Type Inference Style Guidelines<\/strong>, kt\u00f3rego autorem jest Stuart W. Marks. Dokument powsta\u0142 w ramach projektu Amber<\/strong>. Jego celem by\u0142o dostarczenie mi\u0119dzy innymi obs\u0142ugi var w j\u0119zyku Java.<\/p>\n\n\n\n