Contrassegnare le dimensioni separate di una matrice con annotazioni

Question

In Java 8 è possibile contrassegnare le dimensioni separate della matrice con annotazioni (vedere la sezione 10.2 in JLS 8). Ad esempio,

int @a[] a; 

int @a[] @b[] a; 

void someMethod(int @a[] @b... y) {} 

Poi possiamo analizzare tali dichiarazioni con Java Reflection per implementare una logica specifica.

Conoscete qualche applicazione pratica di questa funzionalità in framework Java o librerie Java reali?

Answer 1

Un esempio in cui questo tipo di posizionamento di annotazioni potrebbe essere utile è lo Checker Framework.

Si può abituarsi a creare file mutabili/immutabili o (non) nullable, in pratica qualsiasi cosa si desideri annotare con un intero array, ma solo per una singola riga.

Object @NonNull [] @Nullable [] a; 

Oltre a ciò, potrebbe essere utilizzato per la documentazione, ad esempio annotazioni che spiegano lo scopo di ciascuna dimensione.