验证参数在编译时间内传递到构造函数

Question

在一个具有数万个Java文件的庞大项目中，有几个Java类，

public byte[] getProductReport(List<String> products, Date from, Date to) {
    // ... do some stuff before...

    List<ReportParameterDto> reportParameters = new ArrayList<>();
    reportParameters.add(new ReportParameterDto("From (YYYY.MM.DD)", ParameterType.DATE, from));
    reportParameters.add(new ReportParameterDto("To_(YYYY.MM.DD)", ParameterType.DATE, to));
    reportParameters.add(new ReportParameterDto("Products", ParameterType.SELECT, someList));

    return ReportFromCRServerHelper.downloadReport("ProductReporot", reportParameters, ReportFormat.PDF);
}

如果开发人员使用错误的字符串值下载请求的报告（从远程报告服务器，则 开发人员可以将字符串作为参数传递给我实现的构造函数类别。 ）在运行时会失败。

在此示例中，我想进行一些验证检查 - 在编译过程中 - 以避免在客户发现这些错误之前。

我有API方法可以从我希望使用的报告中获取参数值 在上述方法的汇编过程中。

在我的示例中，汇编应该失败并引发错误，突出显示参数应如何看：

 "From (JJJJ-MM)" is invalid --> should be "From_(JJJJ-MM)"
 "Products" is invalid --> should be "PRODUCT_LIST"

我可以通过Javax注释处理处理这些参数（在上面的ReportParameterDto构造函数中使用）吗？

我发现的一些教程 /博客涉及方法签名中的验证参数，而不是传递到方法中的值。

还是有更优雅的工具可用？

Answer 1

像 Checker框架可以将参数验证为方法或构造函数。您可以注释参数类型以指示允许的值，然后当javac运行时，如果参数可能与参数不兼容，则会发出警告。

如果可能的值数量有限，则可以使用 nofollow noreferrer“>假枚举检查器将字符串或整数视为枚举值。 （使用Java enum也是一个好主意，但由于期望字符串或整数的其他代码可能是不可能或方便的。）

如果可能的值数量是无限的，那么您可以使用常数值检查器字符串参数必须满足。

您还可以定义自己的编译时验证与Checker Framework分发的Checkers中可用。