当 IDE 可以推断无效时,@Nullable 是否仍应用于方法返回?

如何解决当 IDE 可以推断无效时,@Nullable 是否仍应用于方法返回?

像 IntelliJ IDEA 这样的 IDE 能够推断出一个方法何时可以返回 null——而且似乎非常可靠。鉴于此,方法是否仍应使用 @Nullable 进行注释?

解决方法

是的。

签名和实现之间存在着巨大的差异。

要采用的正确心态是将代码视为不断运动的事物。每天都会带来另外 50 次涉及代码许多部分的提交;新版本是连续的,或者至少经常出现,并且版本之间存在整个维度的“兼容性”。很少有“新版本”与旧版本完全不兼容,以至于任何针对旧版本编写的内容都完全违反了新版本。通常,“新版本”旨在与针对“旧版本”编写的所有代码 100% 兼容。这通常是意图,但并不完全是 100% 真实 - 可以想象极端异国情调/学术场景。

最常见的事情是 99.9% 兼容。

重点是:事情发生了变化。

签名决定了在不同版本之间可以更改和不可以更改的内容,同时仍称其为“兼容”。 javadoc 包含在其中(如果 javadoc 承诺例如一个方法永远不会返回空字符串,并且在一些小更新中它现在确实如此,那么您就搞砸了,这应该是一个标记为“不兼容”的更新,即如果你关注semver,你好“2.0版”)。

签名是一把双刃剑。一方面,它通过阐明您可以依赖的内容使生活变得轻松。如果 @Nullable 在签名中或被“推断”,则调用此方法的代码知道返回的值可能为空,而如果没有该注释或推理,调用者将无法获得编译时通知的好处那个应该准备好接收空值。

但另一方面,一旦你在签名中拼出它,就是这样。你现在卡住了。 它永远不会改变,除非您采用很少有图书馆采用的“v2”(不兼容更新)想法。

因此,自动化工具永远不能将一堆规则堆砌到您的签名中。如果您编写的代码当前可以通过代码分析得出null永远不会从中返回的结论,那么IDE如果添加了对签名的推断 - 毕竟,也许它只是一个占位符,您打算让此方法稍后在某个时间点更新中返回 null;任何针对此方法编写的代码都应该处理空值,即使现在永远不会发生。

Nullable 是一种特殊的雪花,因为它是类型松散的一种情况,根据定义与未来兼容。 (@Nullable String 实际上是 @NonNull String 的超类型),因此推断 @Nullable 然后默默地将其作为签名的一部分实际上是无害的,但这是一种罕见的情况,因此推理引擎可能不应该只为那些不会造成伤害的场景付出大量努力来静默更新签名。

与“签名是关于这个 API 的承诺现在和永远保持,而实现可以随时更改”问题分开,@Nullable 的全部要点的一部分是让编译器成为第二对眼睛。当您从未明确标记为 @Nullable 的方法中返回潜在的空值时,您应该将 IDE 配置为主动警告您(从不出错,编译器应该警告而不是错误以使调试更简单,并且您应该永远不要将带有警告的代码发送到生产级端点)。

更具体地说:

  • @Nullable 应该是一个 TYPE_USE 而不是一个 METHOD 目标注解,尽管大多数空注解框架把它搞砸了。 Eclipse 和 checkerframework 使其正确。
  • 如果您使用这些注释,则需要使用默认机制,因为用 @NonNull@Nullable 注释每个源文件中的每个最后一个类型是荒谬的。通常,这是在包或类上粘贴 @NonNullByDefault 的问题。在这一点上,未能在方法的返回类型上粘贴 @Nullable 意味着它是非空的,因此任何在方法中返回空的尝试都将直接成为警告(正如所讨论的,这意味着它可以'在你清除警告之前不要被释放)。
,

IDE 可能非常有能力推断这些值,但机器推断的可空性并没有像明确标记的函数那样清楚地传达开发人员的意图。放置注释将明确说明函数的意图是可空的还是不为空的,并且该函数的使用者将更有信心这不会改变。

此外,IntelliJ 提供 deeper integration 这些功能以自动添加运行时断言,以确保即使在运行时也能维护使用 @Nullable 和 @NotNull 定义的合同。

检查由常量条件和异常以及@NotNull/@Nullable 问题检查完成。您可以在设置/首选项 Ctrl+Alt+S 对话框中配置这些检查的工作方式。转到编辑器 |检查 |爪哇|可能的错误。

当您编译项目时,IDE 会向所有使用 @NotNull 注释的方法和参数添加断言。如果在需要 @NotNull 的代码中传递 null,则断言将失败。您可以禁用此选项并在“设置/首选项”对话框 Ctrl+Alt+S 中配置注释列表。转到构建、执行、部署 |编译器。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


使用本地python环境可以成功执行 import pandas as pd import matplotlib.pyplot as plt # 设置字体 plt.rcParams['font.sans-serif'] = ['SimHei'] # 能正确显示负号 p
错误1:Request method ‘DELETE‘ not supported 错误还原:controller层有一个接口,访问该接口时报错:Request method ‘DELETE‘ not supported 错误原因:没有接收到前端传入的参数,修改为如下 参考 错误2:cannot r
错误1:启动docker镜像时报错:Error response from daemon: driver failed programming external connectivity on endpoint quirky_allen 解决方法:重启docker -> systemctl r
错误1:private field ‘xxx‘ is never assigned 按Altʾnter快捷键,选择第2项 参考:https://blog.csdn.net/shi_hong_fei_hei/article/details/88814070 错误2:启动时报错,不能找到主启动类 #
报错如下,通过源不能下载,最后警告pip需升级版本 Requirement already satisfied: pip in c:\users\ychen\appdata\local\programs\python\python310\lib\site-packages (22.0.4) Coll
错误1:maven打包报错 错误还原:使用maven打包项目时报错如下 [ERROR] Failed to execute goal org.apache.maven.plugins:maven-resources-plugin:3.2.0:resources (default-resources)
错误1:服务调用时报错 服务消费者模块assess通过openFeign调用服务提供者模块hires 如下为服务提供者模块hires的控制层接口 @RestController @RequestMapping("/hires") public class FeignControl
错误1:运行项目后报如下错误 解决方案 报错2:Failed to execute goal org.apache.maven.plugins:maven-compiler-plugin:3.8.1:compile (default-compile) on project sb 解决方案:在pom.
参考 错误原因 过滤器或拦截器在生效时,redisTemplate还没有注入 解决方案:在注入容器时就生效 @Component //项目运行时就注入Spring容器 public class RedisBean { @Resource private RedisTemplate<String
使用vite构建项目报错 C:\Users\ychen\work>npm init @vitejs/app @vitejs/create-app is deprecated, use npm init vite instead C:\Users\ychen\AppData\Local\npm-
参考1 参考2 解决方案 # 点击安装源 协议选择 http:// 路径填写 mirrors.aliyun.com/centos/8.3.2011/BaseOS/x86_64/os URL类型 软件库URL 其他路径 # 版本 7 mirrors.aliyun.com/centos/7/os/x86
报错1 [root@slave1 data_mocker]# kafka-console-consumer.sh --bootstrap-server slave1:9092 --topic topic_db [2023-12-19 18:31:12,770] WARN [Consumer clie
错误1 # 重写数据 hive (edu)> insert overwrite table dwd_trade_cart_add_inc > select data.id, > data.user_id, > data.course_id, > date_format(
错误1 hive (edu)> insert into huanhuan values(1,'haoge'); Query ID = root_20240110071417_fe1517ad-3607-41f4-bdcf-d00b98ac443e Total jobs = 1
报错1:执行到如下就不执行了,没有显示Successfully registered new MBean. [root@slave1 bin]# /usr/local/software/flume-1.9.0/bin/flume-ng agent -n a1 -c /usr/local/softwa
虚拟及没有启动任何服务器查看jps会显示jps,如果没有显示任何东西 [root@slave2 ~]# jps 9647 Jps 解决方案 # 进入/tmp查看 [root@slave1 dfs]# cd /tmp [root@slave1 tmp]# ll 总用量 48 drwxr-xr-x. 2
报错1 hive> show databases; OK Failed with exception java.io.IOException:java.lang.RuntimeException: Error in configuring object Time taken: 0.474 se
报错1 [root@localhost ~]# vim -bash: vim: 未找到命令 安装vim yum -y install vim* # 查看是否安装成功 [root@hadoop01 hadoop]# rpm -qa |grep vim vim-X11-7.4.629-8.el7_9.x
修改hadoop配置 vi /usr/local/software/hadoop-2.9.2/etc/hadoop/yarn-site.xml # 添加如下 <configuration> <property> <name>yarn.nodemanager.res