gpt4 book ai didi

java - 可插入类型检查器和检查器框架,真的需要所有这些设置吗?

转载 作者:行者123 更新时间:2023-12-02 09:11:26 24 4
gpt4 key购买 nike

我试图了解 Checker Framework 如何实现可插入类型检查器。通过阅读文档,

Checker Framework (Maven)

我看到涉及很多设置,在我看来要么已经过时,要么不太维护。

据我所知,Java 8 在 JSR-308 和 JSR-269 上支持类型注释和可插入类型检查器,允许接口(interface)在几乎每个元素上创建自定义注释,并使用接口(interface)代码片段处理它javac(-处理器)上的一个简单标志,maven 通过 META-INF/services/javax.annotation.processing.Processor 支持

那么为什么文档指出 Checker 需要如此多的自定义..?:

  - com.google.errorprone.javac "error-prone" jdk if javac should support custom annotation processors (JSR-269)?
- maven dependency plugin
- mvn compiler plugin with annotationProcessorPaths (which I understand it overrides anything from the META-INF file) instead of `META-INF/services/javax.annotation.processing.Processor`

我认为自 Java 8 功能以来,Checker 框架实际上仍然是自定义注释处理器的集合。是这样吗?似乎不再需要启用编译器、创建自定义检查 (JSR-269) 以及启用 /* @Nullable */等等...我很乐意接受纠正

最佳答案

I see a lot of setup involved, and looks to me either outdated or not quite mantained.

具体来说,什么看起来过时或“没有得到很好的维护”?你的证据是什么?如果你只是做出未经证实的断言,社区无法帮助你。

As far as I read, Java 8 supported both Type Annotations and Pluggable Type Checkers on JSR-308 and JSR-269

您的阅读不正确。 JSR 308 支持类型注释,但 JSR 269 不支持可插入类型检查器。您需要第三方工具(例如 Checker Framework)来执行可插入类型检查。

您能指出导致您得出此结论的具体文字吗?具体细节会有所帮助,而不仅仅是没有支持的断言。

to enable /* @Nullable */

对评论中注释的支持是 ended 20 months ago 。您能指出导致您提出有关评论中注释的问题的文本吗?

关于java - 可插入类型检查器和检查器框架,真的需要所有这些设置吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/59395424/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com