我正在使用 org.eclipse.jdt.annotation.NonNull 为静态空值分析添加额外信息。我不知道如何正确注释数组:
- 我怎么能说数组引用是非空的?
- 我怎么能说数组由非空元素组成?
我测试过:
public static void test(@NonNull String[] a) {
assert a != null;
}
public static void main(String[] args) {
test(null);
}
但是,Eclipse 不会将 test(null);
标记为错误。
最佳答案
如果您使用的是 Java 8,它看起来如下:
@NonNull Object [] o1;
o1 = null; // OK
o1 = new Object[1];
o1[0] = null; // NOT OK
Object @NonNull[] o2;
o2 = null; // NOT OK
o2 = new Object[1];
o2[0] = null; // OK
关于java - 如何注释数组 NonNull?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/29011893/