Lunghezza matrice Java inferiore a 0?

Question

Stavo attraversando un progetto open source, dove stavano creando un flusso di output, e mi sono imbattuto il seguente metodo:

@Override public void write(byte[] buffer, int offset, int length) { 
    if (buffer == null) { 
     throw new NullPointerException("buffer is null"); 
    } 
    if (buffer.length < 0) { // NOTE HERE 
     throw new IllegalArgumentException("buffer length < 0"); 
    } 
    if (offset < 0) { 
     throw new IndexOutOfBoundsException(String.format("offset %d < 0", offset)); 
    } 
    if (length < 0) { 
     throw new IndexOutOfBoundsException(String.format("length %d < 0", length)); 
    } 
    if (offset > buffer.length || length > buffer.length - offset) { 
     throw new IndexOutOfBoundsException(String.format("offset %d + length %d > buffer"              " length %d", offset, length, buffer.length)); 
    } 
} 

Così il byte[] buffer è solo un normale vecchio byte[]. Sappiamo che non è nullo. È anche possibile farlo avere una lunghezza inferiore a 0? Come, potrebbe essere fatto con riflessione e questo è quello che stanno di guardia contro?

Answer 1

No, questo non può mai accadere. La lunghezza è garantita per essere non negativa secondo le specifiche Java.

I membri di un tipo di matrice sono tutte le caratteristiche seguenti:

• La lunghezza campo finale pubblico, che contiene il numero di componenti della matrice. La lunghezza può essere positiva o pari a zero.

Fonte: JLS §10.7

Come mprivat detto, se mai tenta di creare un array di dimensione negativa, saranno gettati un NegativeArraySizeException.

Answer 2

Non credo sia possibile. Anche attraverso la riflessione, è protetto con NegativeArraySizeException

Answer 3

Questo è solo un problema di gestione delle eccezioni. Hai la possibilità di creare un array con una dimensione negativa in Java: non genera nemmeno un'eccezione quando lo compili. Ma al momento dell'esecuzione, il tuo programma non funzionerà finché non verrà corretto. (Lancia un NegativeArraySizeException.)

Il problema è che questa eccezione viene lanciata in fase di esecuzione anziché in fase di compilazione. Ecco perché l'eccezione è stata gestita con IllegalArgumentException.