检查器框架initialization.fields.uninitialize误报

Question

这是我的错误

  found   : @Initialized @Nullable String
  required: @Initialized @NonNull String
/Users/calebcushing/IdeaProjects/ppm/scaf/src/main/java/com/xenoterracide/scaf/Application.java:21: error: [initialization.fields.uninitialized] the constructor does not initialize fields: arg, args, dir
public final class Application implements Runnable {
             ^
3 errors

这些都是由picocli初始化的，所以我添加了SuppressWarnings，不确定为什么它仍然会发生。

  @SuppressWarnings({ "NullAway.Init", "initialization.fields.uninitialize" })
  @CommandLine.Parameters( index = "0", description = "first configuration directory" )
  private String arg;

  @SuppressWarnings({ "NullAway.Init", "initialization.fields.uninitialize" })
  @CommandLine.Parameters(
    index = "1..*",
    description = "path to configuration directories separated by space"
  )
  private List<String> args;

  @SuppressWarnings({ "NullAway.Init", "initialization.fields.uninitialize" })
  @CommandLine.Option(
    names = {"-d", "--dir"},
    defaultValue = ".config/scaf",
    showDefaultValue = CommandLine.Help.Visibility.ALWAYS,
    description = "Directory path from the current working directory. " +
      "Templates and configs are looked up relative to here"
  )
  private Path dir;

我试着把它

  @SuppressWarnings({ "NullAway.Init", "initialization.fields.uninitialize"})

在类、构造函数以及您所看到的字段上。如何让checkerframework变得快乐？

here is the full source code检查器框架目前没有在其中启用，因为如果我这样做了，它将不会编译。

Answer 1

检查器框架正在抱怨，因为在您的main方法中，您没有初始化实例字段arg、args和dir。如果您没有显式地注释一个字段，从检查器框架的角度来看，该字段被认为是@NotNull。

请尝试使用@Nullable注释这些字段

  @CommandLine.Parameters( index = "0", description = "first configuration directory" )
  private @Nullable String arg;

  @CommandLine.Parameters(
    index = "1..*",
    description = "path to configuration directories separated by space"
  )
  private @Nullable List<String> args;

  @CommandLine.Option(
    names = {"-d", "--dir"},
    defaultValue = ".config/scaf",
    showDefaultValue = CommandLine.Help.Visibility.ALWAYS,
    description = "Directory path from the current working directory. " +
      "Templates and configs are looked up relative to here"
  )
  private @Nullable Path dir;

虽然您将picocli配置为提供默认值，但检查器框架只知道在main方法调用后这些字段没有初始化，没有这样的初始化代码，picocli将提供您指定的默认值，但检查器框架不知道这一点，这就是它抱怨的原因。

话虽如此，如果您更喜欢抑制警告，请注意，检查器框架指示必须抑制的警告类型initialization.fields.uninitialized，并且代码中似乎有一个拼写错误：

@SuppressWarnings({ "NullAway.Init", "initialization.fields.uninitialize" })

请注意所需的值initialization.fields.uninitialized和您提供的值initialization.fields.uninitialize之间的区别。