Java/Array: differenze tra le versioni

Un array è un [[Java/Oggetti|oggetto]] dotato di un numero fisso di ''celle'' (in inglese, ''slot''), il cui tipo delle quali è chiamato ''component type'' dell'array. Esse si comportano esattamente come se fossero dei campi non <tt>final</tt>, con le seguenti differenze:

Il tipo delle celle, ovvero il ''component type'', può essere un tipo primitivo o un tipo riferimento. Invece, ilUn tipo dell'array è sempre un tipo riferimento, e si indica apponendo una coppia di parentesi quadre al ''component type''. Esempi:

Esistono''Si dueveda modianche perla creare un array.<ref>{{cita libro|url=[http://java.sun.com/docs/books/jls/third_edition/html/arrays.html#25650|titolo=The10.3 Javasezione Language10.3] Specification|accesso=8del settembrecapitolo 2011}}</ref>10 delle specifiche di linguaggio.''

Ad esempio, l'istruzionela scrittura <code>new byte[1024]</code> crea un array di 1024 ''slot''celle, inizializzatiinizializzate al valore 0; oppure <code>new Object[1024]</code> crea un array di 1024 celle, inizializzate con il valore ''null''.

È disponibile ununa costruttosintassi alternativoalternativa che permette di indicare direttamente i valori delle singole celle:

È sempre possibile convertire un tipo array verso il tipo <tt>Object</tt> tramite cast implicito, in quanto tutti gli array sono oggetti.

Il tipo di un array creato con <tt>new T[...]</tt> è <tt>T[]</tt>. L'arraySe può<tt>S</tt> essereè convertitoun versosupertipo qualunque tipodi <codett>S[]T</tt>, doveallora ogni array di tipo <tt>ST[]</tt> èpuò unessere supertipoconvertito diverso il tipo <ttcode>TS[]</tt> tramite cast implicito; la conversione inversa richiede il cast esplicito.

Più precisamente, l'accesso a una cella, in lettura o in scrittura, si identifica apponendo una coppia di parentesi quadre ad un'espressione il cui ''compile-time type'' sia un tipo array, e inserendo fra queste parentesi un'espressione il cui ''compile-time type'' sia convertibile verso il tipo <tt>int</tt> tramite [[Java/Tipi di dati#Conversioni|cast implicito]].<ref>VediPer anchemaggiori informazioni, vedi {{cita libro|titolo=The Java Language Specification (Runtime Evaluation of Array Access)|url=http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#39346|accesso=8 settembre 2011}}</ref>

È chiamato ''for each'' o ''enhanced for'' ed è un costrutto introdotto dalla versione 1.5 di Java<ref group="F">Terza edizione della Java Language Specification.</ref>, che risparmia al programmatore il calcolo a mente degli indici se questi non sono realmente necessari (calcolo che viene svolto in automatico dal compilatore). Lo svantaggio è che non si può usare sempre, ad esempio nei seguenti casi:

In Java, i tipi array sono tipi riferimento, quindi una variabile di tipo array contienereferenzia un oggetto che viene allocato sempre e solo sullo ''heap''.

L'allocazione statica e quella automatica richiedono che, a tempo di compilazione, sia nota la quantità massima di memoria che l'array occuperà a run-time. Il compilatore del C++ ha bisogno di conoscere non solo il tipo, ma anche il numero delle celle, che infatti va indicato obbligatoriamente nell'istruzione che ''dichiara'' l'array. Quest'ultimo può essere utilizzato subito dopo l'istruzione che lo dichiara., mentre in Java bisogna allocarlo dinamicamente, e quindi è necessario istanziarlo esplicitamente sullo ''heapallocarlo'' esplicitamente.

Oltre agli array, anche i puntatori del C++ supportano l'operatore "parentesi quadre", e l'allocazione dinamica di un array tramite <tt>new</tt> restituisce appunto un puntatore. Tuttavia, esso andrà memorizzato in una variabile di tipo puntatore, e non in una variabile array, perché quest'ultima è un puntatore ''costante''. In effetti, in C++, la sintassi degli array "maschera" le operazioni di accesso e manipolazione svolte sudi puntatori (aritmetica, dereferenziazione).

Poiché il C++ non è dotato di garbage-collector, èun necessarioarray deallocareallocato l'arraydinamicamente va deallocato dopo averloessere stato utilizzato (tramite unl'istruzione che permette di fare questo è <tt>delete[]</tt>, ed eventualmente iterandopuò essere necessario iterare lungo l'array per deallocarne a loro volta i singoli elementi). Il Java ha garbage-collector, quindi gli array non vanno deallocati esplicitamente.

Per massimizzare le prestazioni del codice eseguibile, in C++ è consentito accedere ad un array servendosi di un indice che sia fuori dai limiti. Di fatto, questa operazione risultaconsiste nell'accesso (in lettura o in scrittura) ad una cella di memoria non allocata. L'ambiente di esecuzione non segnalaè tenuto a segnalare questa situazione che è evidentemente non voluta dal programmatore. In Java, la VM lancia una eccezione se si tenta di accedere ad una cella che è fuori dai limiti dell'array.

Infine, le regole del Java impongono che le celle risultino ''sempre'' inizializzate prima che sia possibile accedervi. In C++ non è così, in quanto le celle hannoassumono inizialmente valori casuali o imprevedibili.