{"id":20019,"date":"2023-08-04T10:05:18","date_gmt":"2023-08-04T08:05:18","guid":{"rendered":"https:\/\/www.sigmatre.com\/?p=20019"},"modified":"2023-08-04T12:57:06","modified_gmt":"2023-08-04T10:57:06","slug":"da-java-11-a-java-17-le-novita-piu-importanti","status":"publish","type":"post","link":"https:\/\/www.sigmatre.com\/index.php\/2023\/08\/04\/da-java-11-a-java-17-le-novita-piu-importanti\/","title":{"rendered":"Da Java 11 a Java 17: le novit\u00e0 pi\u00f9 importanti"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

Da Java 11 a Java 17: le novit\u00e0 pi\u00f9 importanti<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

\u00a0<\/span><\/p>

Di seguito presenteremo le pi\u00f9 importanti novit\u00e0 introdotte nel linguaggio a partire dalla versione 12 alla versione 17. Ovviamente questo articolo \u00e8 impostato solo su semplici esempi accompagnati da altrettanto semplici descrizioni. Per ogni argomento presentato per\u00f2, viene linkato un altro articolo di approfondimento. Inoltre verranno trattate solo le novit\u00e0 pi\u00f9 rilevanti che riguardano il linguaggio e che quindi impattano sul lavoro quotidiano dello sviluppatore. Non tratteremo le novit\u00e0 relative ad i tool, garbage collectors, librerie, migrazioni, implementazioni e deprecazioni della piattaforma Java.<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

Switch Expressions<\/span><\/b>\u00a0<\/span><\/p>

Dalla versione 14 il costrutto <\/span>switch<\/span> \u00e8 stato rivisto per essere usato come espressione (ovvero come istruzione che ritorna un valore) e introducendo una nuova sintassi basata sull\u2019operatore freccia <\/span>-><\/span>.\u00a0<\/span>\u00a0<\/span><\/p>

Per esempio oggi possiamo scrivere codice come il seguente:<\/span>\u00a0<\/span><\/p>

import java.time.Month;<\/span>\u00a0<\/span><\/p>

…<\/span>\u00a0<\/span><\/p>

Month month = getMonth();<\/span>\u00a0<\/span><\/p>

String season = switch(month) {<\/span>\u00a0<\/span><\/p>

\u00a0 case DECEMBER, JANUARY, FEBRUARY -> “winter”;<\/span>\u00a0<\/span><\/p>

\u00a0 case MARCH, APRIL, MAY -> “spring”;<\/span>\u00a0<\/span><\/p>

\u00a0 case JUNE, JULY, AUGUST -> “summer”;<\/span>\u00a0<\/span><\/p>

\u00a0 case SEPTEMBER, OCTOBER, NOVEMBER -> “autumn”;<\/span>\u00a0<\/span><\/p>

};<\/span>\u00a0<\/span><\/p>

Possiamo osservare che il costrutto ora ritorna un valore (<\/span>switch<\/span><\/i> expression<\/span><\/i>) che viene immagazzinato nella variabile <\/span>season<\/span>. Inoltre la sintassi per ritornare tale valore si basa sull\u2019operatore freccia il quale ci permette di poter evitare l\u2019uso della parola chiave <\/span>break<\/span>, e di utilizzare la controversa tecnica del fall-through.<\/span>\u00a0<\/span><\/p>

In realt\u00e0 ci sono tante altre cose da dire riguardo il nuovo <\/span>switch<\/span>. Per esempio, che la sintassi basata sull\u2019operatore freccia \u00e8 utilizzabile anche con lo switch nella versione tradizionale (il costrutto non \u00e8 un\u2019espressione e non ritorna un valore). Poi \u00e8 stata introdotta una nuova parola chiave contestuale: <\/span>yield<\/span>. Inoltre, grazie alla propriet\u00e0 nota come <\/span>exhaustiveness<\/span><\/i>, il compilatore \u00e8 capace di comprendere se abbiamo coperto tutti i casi. Infatti nel nostro esempio la clausola <\/span>default<\/span> non<\/span> si deve usare.\u00a0<\/span>\u00a0<\/span><\/p>

Per tutti i dettagli potete consultare questo <\/span>articolo d\u2019approfondimento<\/span><\/a>.<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

Text Block<\/span><\/b>\u00a0<\/span><\/p>

Nella versione 15 \u00e8 stata ufficializzata una importante novit\u00e0 per gli sviluppatori: i <\/span>text block<\/span><\/i>. Quando abbiamo bisogno di formattare il contenuto di una stringa per favorirne la leggibilit\u00e0, siamo costretti ad utilizzare concatenazioni e caratteri di escape. Questo \u00e8 particolarmente vero quando usiamo stringhe che contengono istruzioni di altri linguaggi come JSON, XML o SQL. Per esempio, consideriamo la seguente stringa JSON:<\/span>\u00a0<\/span><\/p>

private final static String JSON_STRING =<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>“{\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0 \\”id\\”:12345,\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0 \\”nome\\”:\\”Jean\\”,\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>”\u00a0\u00a0\u00a0 \\”cognome\\”:\\”Valjean\\”,\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0 \\”indirizzo\\”:{\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \\”via\\”:\\”Rue Plumet\\”,\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \\”civico\\”:7,\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \\”cap\\”:75015\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 ”\u00a0\u00a0\u00a0 }\\n” +<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 “}”;<\/span>\u00a0<\/span><\/p>

Oggi possiamo usare i <\/span>Text Block<\/span><\/i><\/b> che ci permettono di dichiarare stringhe che si estendono su pi\u00f9 righe. Quindi possiamo riscrivere la stringa precedente con la seguente sintassi:<\/span>\u00a0<\/span><\/p>

private final static String JSON_TEXTBLOCK = “””<\/span>\u00a0<\/span><\/p>

{<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 “id”:12345,<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 “nome”:”Jean”,<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 “cognome”:”Valjean”,<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 “indirizzo”:{<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 “via”:”Rue Plumet”,<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 “civico”:7,<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 “cap”:75015<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

}”””;<\/span>\u00a0<\/span><\/p>

Possiamo notare che i text block sono delimitati da una sequenza di tre virgolette, il che ci permette di utilizzare al suo interno virgolette singole senza utilizzare caratteri di escape. Ma i text block sono anche delle stringhe a tutti gli effetti e quindi possiamo utilizzare tutti i metodi della classe <\/span>String<\/span> (altri ne sono stati aggiunti appositamente per supportare i text block).<\/span>\u00a0<\/span><\/p>

Anche per quanto riguarda i text block c\u2019\u00e8 tanto da approfondire. Si possono usare nuovi caratteri di escape, parametrizzare i text block, usare best practices e cos\u00ec via.\u00a0<\/span>\u00a0<\/span><\/p>

Per tutti i dettagli potete consultare <\/span>questo articolo d\u2019approfondimento<\/span><\/a>.<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

Tipi Record\u00a0<\/span><\/b>\u00a0<\/span><\/p>

La versione 16 ha introdotto ufficialmente un nuovo tipo di Java che si va ad aggiungere alle classi, le interfacce, le enumerazioni e alle annotazioni: i <\/span>record<\/span><\/i>.\u00a0<\/span>\u00a0<\/span><\/p>

Con un tipo record possiamo rappresentare <\/span>contenitori di dati immutabili<\/span><\/i>, senza creare una classe appositamente. La sintassi dei record aiuta gli sviluppatori a concentrarsi sulla progettazione di tali dati, senza perdersi nei dettagli implementativi.<\/span>\u00a0<\/span><\/p>

La caratteristica pi\u00f9 evidente di un record \u00e8 indubbiamente la sinteticit\u00e0. Supponiamo per esempio di voler rappresentare una classe <\/span>Quadro<\/span> i cui oggetti sono immutabili. Prima della comparsa dei tipi record in Java, dovevamo scrivere una classe come la seguente:<\/span>\u00a0<\/span><\/p>

public final class Quadro {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 private final String titolo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 private final String autore;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 private final int prezzo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>public Quadro(String titolo, String autore, int prezzo) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 this.titolo = titolo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 this.autore = autore;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 this.prezzo = prezzo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 public String getTitolo() {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return titolo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>}<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 public String getAutore() {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return autore;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 public int getPrezzo() {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return prezzo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 @Override<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 public int hashCode() {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 final int prime = 31;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>int result = 1;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>result = prime * result + ((autore == null) ? <\/span>0 : autore.hashCode());<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 result = prime * result + prezzo;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 result = prime * result + ((titolo == null) ? 0 : titolo.hashCode());<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return result;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 @Override<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>public boolean equals(Object obj) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (this == obj)<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return true;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (obj == null)<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (getClass() != obj.getClass())<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>Quadro other = (Quadro) obj;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (autore == null) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>if (other.autore != null)<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 } else if (!autore.equals(other.autore))<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (prezzo != other.prezzo)<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>if (titolo == null) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 if (other.titolo != null)<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>} else if (!titolo.equals(other.titolo))<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 <\/span>return false;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return true;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 @Override<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 public String toString() {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 return “Quadro [titolo=” + titolo + “, autore=” +\u00a0<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 autore + “, prezzo=” + prezzo + “]” ;<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

Oggi invece possiamo semplicemente dichiarare il seguente record:<\/span>\u00a0<\/span><\/p>

public record Quadro(String titolo, String autore, int prezzo) { }<\/span>\u00a0<\/span><\/p>

Infatti tale record verr\u00e0 trasformato dal compilatore in una classe come la precedente, con poche differenze: la classe generata dal compilatore estender\u00e0 la classe <\/span>java.lang.Record<\/span> e i metodi getter si chiameranno esattamente come i nomi delle variabili d\u2019istanza (in questo caso <\/span>titolo()<\/span>, <\/span>autore()<\/span> e <\/span>prezzo()<\/span>). Quindi con una riga di codice possiamo definire l\u2019equivalente classe immutabile generando automaticamente oltre ai metodi getter, i metodi <\/span>toString()<\/span>, <\/span>equals()<\/span>, <\/span>hashcode()<\/span>, il costruttore (detto <\/span>costruttore canonico<\/span><\/i>).<\/span>\u00a0<\/span><\/p>

Per approfondire potete riferirvi all\u2019<\/span>articolo di approfondimento<\/span><\/a>.<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

Sealed Classes<\/span><\/b>\u00a0<\/span><\/p>

La versione 17 ha introdotto una nuova caratteristica nota con il nome <\/span>Sealed Classes<\/span><\/b> (che in italiano possiamo tradurre come <\/span>classi sigillate<\/span><\/i>), ma che in realt\u00e0 riguarda anche le interfacce, e che quindi preferiamo chiamare <\/span>Sealed Types<\/span><\/b> (ovvero <\/span>tipi sigillati<\/span><\/i>). Ora possiamo dichiarare classi ed interfacce imponendo alcuni limiti sulla loro estensione\/implementazione. Prima dell\u2019avvento di questa caratteristica, l\u2019unico controllo che avevamo sull\u2019estensibilit\u00e0, consisteva nell\u2019impedire ad una classe di essere estesa dichiarandola <\/span>final<\/span> (oppure dichiarando tutti i suoi costruttori privati). Una classe dichiarata con il modificatore <\/span>sealed<\/span> invece deve dichiarare anche quali sono le sue uniche sottoclassi. Questo permette maggiore controllo sull\u2019ereditariet\u00e0, aprendo la via ad altre importanti caratteristiche come il <\/span>pattern matching per il costrutto <\/span><\/i>switch<\/span><\/i> come vedremo nell\u2019ultimo paragrafo di questo articolo.\u00a0<\/span>\u00a0<\/span><\/p>

\u00c8 stato introdotto il modificatore <\/span>sealed<\/span> che pu\u00f2 essere utilizzato solo per classi ed interfacce, e la parola chiave <\/span>permits<\/span> che rappresenta una clausola per specificare le sottoclassi\/sottointerfacce. Quindi un tipo dichiarato <\/span>sealed<\/span> deve specificare anche da quali classi viene esteso\/implementato, di solito specificando la clausola <\/span>permits<\/span>. Consideriamo per esempio la seguente gerarchia:<\/span>\u00a0<\/span><\/p>

public sealed abstract class DiscoOttico permits CD, DVD {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>\/\/ codice omesso<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

public final class CD extends DiscoOttico {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 \/\/ codice omesso<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

public final class DVD extends DiscoOttico {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 <\/span>\/\/ codice omesso<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

In pratica la classe <\/span>DiscoOttico<\/span> pu\u00f2 essere estesa solo dalle classi <\/span>CD<\/span> e <\/span>DVD<\/span>. Per definire un\u2019altra sottoclasse, bisogner\u00e0 aggiungerla alla lista definita dalla clausola <\/span>permits<\/span>, altrimenti il codice non sar\u00e0 compilabile. Questa caratteristica incoraggia a creare gerarchie semplici e coerenti, e permette a colpo d\u2019occhio la visualizzazione delle sottoclassi leggendo la dichiarazione della superclasse. Notare che le sottoclassi di una classe <\/span>sealed<\/span> devono a loro volta essere dichiarate <\/span>final<\/span>, <\/span>sealed<\/span> oppure <\/span>non-sealed<\/span> (la terza parola chiave contestuale introdotta per il supporto a questa caratteristica).\u00a0<\/span>\u00a0<\/span><\/p>

Per approfondire potete riferirvi al relativo <\/span>articolo di approfondimento<\/span><\/a>.<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

Pattern matching per instanceof<\/span><\/b>\u00a0<\/span><\/p>

Il pattern matching \u00e8 una articolata caratteristica che Java sta introducendo gradualmente nel linguaggio, che ci permette tramite un <\/span>predicato<\/span><\/i> (test basato sul <\/span>matching<\/span><\/i> di un operando) di ottenere una o pi\u00f9 <\/span>variabili di binding<\/span><\/i>, ovvero delle variabili il cui scope dipende dal predicato. Il pattern matching per <\/span>instanceof<\/span> semplifica il tipico utilizzo di questo operatore. Per esempio, supponiamo di avere una classe <\/span>Punto<\/span> che dichiara le variabili d\u2019istanza <\/span>x<\/span> e <\/span>y<\/span>, potremmo definire il metodo <\/span>equals<\/span> nel seguente modo:<\/span>\u00a0<\/span><\/p>

public boolean equals(Object obj) {<\/span>\u00a0<\/span><\/p>

\u00a0 if (obj instanceof Punto) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 Punto other = (Punto)obj<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 return (this.x == other.x &&<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0 this.y == other.y);<\/span>\u00a0<\/span><\/p>

\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0 return false;<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

Questo \u00e8 un pattern ben conosciuto e molto utilizzato, ma \u00e8 verboso, ripetitivo (la parola <\/span>Punto<\/span> ripetuto 3 volte in 2 righe), soggetto ad errori ed il cast \u00e8 scontato.<\/span>\u00a0<\/span><\/p>

Con il pattern matching per <\/span>instanceof<\/span> possiamo riscrivere il metodo <\/span>equals<\/span> in maniera meno verbosa e pi\u00f9 robusta:\u00a0<\/span>\u00a0<\/span><\/p>

public boolean equals(Object obj) {<\/span>\u00a0<\/span><\/p>

\u00a0 if (obj instanceof Punto other) {\u00a0<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 return (this.x == other.x &&\u00a0<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0 this.y == other.y);<\/span>\u00a0<\/span><\/p>

\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0 return false;<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

Possiamo notare la variabile di binding <\/span>other<\/span> \u00e8 stata dichiarata subito dopo il tipo (secondo operando dell\u2019operatore <\/span>instanceof<\/span>). In questo modo abbiamo potuto evitare di definirla esplicitamente e di assegnare ad essa il cast del parametro <\/span>obj<\/span>. Notare anche che la variabile di binding <\/span>other<\/span> ha uno scope limitato al blocco di codice del costrutto <\/span>if<\/span>.\u00a0<\/span>\u00a0<\/span><\/p>

Potete approfondire l\u2019argomento con l\u2019<\/span>articolo dedicato<\/span><\/a>.<\/span>\u00a0<\/span><\/p>

Pattern matching per switch (Preview 17)<\/span><\/b>\u00a0<\/span><\/p>

Java 17 ritocca nuovamente il costrutto <\/span>switch<\/span> che era gi\u00e0 stato modificato dalla versione 14.\u00a0<\/span>\u00a0<\/span><\/p>

Con il <\/span>pattern matching per <\/span><\/b>switch<\/span><\/b>, ora \u00e8 possibile passare in input ad un costrutto <\/span>switch<\/span> un qualsiasi oggetto. In questo caso, le clausole <\/span>case<\/span> non coincideranno con delle costanti, bens\u00ec con dei tipi che sono <\/span>compatibili<\/span><\/i> gerarchicamente<\/span><\/i> con il tipo specificato. Il controllo per eseguire il codice relativo ad una certa clausola <\/span>case<\/span>, quindi non sar\u00e0 fatto verificando l\u2019uguaglianza del parametro in input allo <\/span>switch<\/span> con una costante come \u00e8 di solito avviene nel costrutto <\/span>switch<\/span>. Invece viene sfruttato l\u2019operatore <\/span>instanceof<\/span>, che grazie al pattern matching definir\u00e0 anche le variabili di binding per ogni <\/span>case<\/span>.\u00a0<\/span>\u00a0<\/span><\/p>

Per esempio, considerando le classi <\/span>DiscoOttico<\/span>, <\/span>CD<\/span> e <\/span>DVD<\/span> che abbiamo definito nel paragrafo delle <\/span>sealed<\/span> classes. Possiamo usare il pattern matching con il costrutto <\/span>switch<\/span> con la seguente sintassi:<\/span>\u00a0<\/span><\/p>

public class LettoreOttico {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 public void inserisci(DiscoOttico discoOttico) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 switch(discoOttico) {<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 case CD cd -> suonaDisco(cd);<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 case DVD dvd -> caricaMenu(dvd);<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 }<\/span>\u00a0<\/span><\/p>

\u00a0\u00a0\u00a0 \/\/ resto del codice omesso<\/span>\u00a0<\/span><\/p>

}<\/span>\u00a0<\/span><\/p>

In base al tipo a cui punter\u00e0 al runtime il parametro <\/span>discoOttico<\/span>, il flusso di esecuzione eseguir\u00e0 il codice specificato da uno dei due <\/span>case<\/span>. Notare come vengano dichiarate le variabili di binding subito dopo il tipo, e come possano essere utilizzate solo all\u2019interno del relativo codice.<\/span>\u00a0<\/span><\/p>

Notare infine che non \u00e8 necessario utilizzare la clausola <\/span>default<\/span> in casi come questi. Infatti l\u2019utilizzo della classe astratta <\/span>sealed<\/span> DiscoOttico<\/span> ci garantisce che come input questo <\/span>switch<\/span> pu\u00f2 accettare solamente oggetti di tipo <\/span>CD<\/span> e <\/span>DVD<\/span>, e che quindi non \u00e8 necessario aggiungere una clausola <\/span>default<\/span> perch\u00e9 tutti casi sono gi\u00e0 stati coperti. Anche in questo caso la verbosit\u00e0 della sintassi del costrutto \u00e8 stata notevolmente ridotta, mentre \u00e8 aumentata la robustezza.<\/span>\u00a0<\/span><\/p>

In realt\u00e0 questa caratteristica \u00e8 ancora in anteprima in Java 17 e in Java 18, e probabilmente verr\u00e0 ufficializzata solo nella versione 19. Questo significa che per compilare un\u2019applicazione che fa uso del pattern matching per <\/span><\/b>switch<\/span><\/b>, bisogna specificare determinati flag come descritto nell\u2019<\/span><\/b>articolo dedicato alle caratteristiche in anteprima<\/span><\/b><\/a>.\u00a0<\/span><\/b>\u00a0<\/span><\/p>

Anche in questo caso potete approfondire l\u2019argomento con l\u2019<\/span>articolo dedicato<\/span><\/a>.<\/span>\u00a0<\/span><\/p>

\u00a0<\/span><\/p>

Conclusioni<\/span><\/b>\u00a0<\/span><\/p>

In questo articolo abbiamo visto come Java 17 abbia introdotto diverse novit\u00e0 rispetto a Java 11, che stanno rivoluzionando il linguaggio. La direzione dello sviluppo che ha impostato Oracle, ha come obiettivi principali quelli di rendere Java meno sempre pi\u00f9 robusto, complesso, potente e meno verboso. E non \u00e8 finita qui perch\u00e9 la pianificazione \u00e8 molto lunga e guidata dalle richieste della community. Nelle prossimi mesi potremo gi\u00e0 iniziare a provare in anteprima altre interessantissime novit\u00e0 come i <\/span>virtual thread<\/span><\/i> e la <\/span>decostruzione degli oggetti<\/span><\/i>.\u00a0<\/span>\u00a0<\/span><\/p>

Insomma, il meglio deve ancora venire!<\/span>\u00a0<\/span><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t
\"\"<\/figure>

Claudio De Sio Cesari<\/span><\/h3><\/div><\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

Da Java 11 a Java 17: le novit\u00e0 pi\u00f9 importanti \u00a0 Di seguito presenteremo le pi\u00f9 importanti novit\u00e0 introdotte nel linguaggio a partire dalla versione 12 alla versione 17. Ovviamente questo articolo \u00e8 impostato solo su semplici esempi accompagnati da … <\/p>\n","protected":false},"author":1,"featured_media":20026,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"pmpro_default_level":"","footnotes":""},"categories":[16],"tags":[],"class_list":["post-20019","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog","pmpro-has-access"],"_links":{"self":[{"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/posts\/20019","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/comments?post=20019"}],"version-history":[{"count":9,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/posts\/20019\/revisions"}],"predecessor-version":[{"id":20049,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/posts\/20019\/revisions\/20049"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/media\/20026"}],"wp:attachment":[{"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/media?parent=20019"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/categories?post=20019"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.sigmatre.com\/index.php\/wp-json\/wp\/v2\/tags?post=20019"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}