注釈付きの配列の別個の次元をマークする

Question

Java 8では、配列 （JLS 8の10.2節を参照）を使用して配列の次元を区切ることができます。 例えば、

int @a[] a; 

int @a[] @b[] a; 

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

その後、我々はいくつかの特定のロジックを実装するには、Javaのリフレクションと、このような宣言を解析することができます。

実際のJavaフレームワークまたはJavaライブラリでこの機能を実際に使用していることはご存じですか？

Answer 1

この種のアノテーション配置が役立つ例は、Checker Frameworkです。

基本的には、配列全体に注釈を付けることができますが、単一の行だけに、可変/不変またはNULL以外の行を作成することができます。

Object @NonNull [] @Nullable [] a; 

これ以外にも、各ディメンションの目的を説明する注釈などのドキュメントに使用できます。