Qual è il tipo di dati per la proprietà length per gli array Java?
Domanda
Voglio scoprire se la proprietà length per gli array Java è un int / long o qualcos'altro.
Soluzione
È un int. Consulta la Specifiche del linguaggio Java , sezione 10.7.
Altri suggerimenti
In Specifiche del linguaggio Java, array puoi vedi in 10.4:
Le matrici devono essere indicizzate in base ai valori int; possono anche essere valori corti, byte o caratteri essere usato come valori di indice perché essi sono soggetti a unario numerico promozione e diventare valori int. Un tentativo di accedere a un array componente con un valore di indice lungo genera un errore in fase di compilazione.
Non sono riuscito a trovare il tipo dell'attributo length, ma è almeno un int; e se è lungo, non puoi accedere agli elementi oltre la lunghezza massima dell'intero.
Quindi immagino che sia un (finale) int.
Secondo la specifica , è un int
Il tipo di dati è int , non lungo. Come l'indice.
Vedi http: //java.sun. com / docs / books / jls / second_edition / html / arrays.doc.html , 10.4
In JavaCard gli indici di array sono brevi, ma JavaCard è strana in questo modo. Ovunque altro, int come dicono tutti gli altri.