开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

为什么Resharper / Jetbrains [NotNull]注释的接口警告我空引用异常？

Resharper / Jetbrains是一种常用的集成开发环境（IDE）工具，它提供了许多功能来提高开发效率和代码质量。[NotNull]注释是Resharper / Jetbrains中的一种注释标记，用于指示某个参数、返回值或字段不应为空。然而，有时候当使用[NotNull]注释时，可能会出现空引用异常的警告。

这种情况通常是由于以下几个原因导致的：

代码逻辑错误：[NotNull]注释只是一种静态分析的提示，它并不能保证运行时不会出现空引用异常。如果在代码中存在逻辑错误，例如在使用[NotNull]注释的对象之前没有进行空值检查，那么仍然有可能触发空引用异常。
静态分析工具限制：Resharper / Jetbrains的静态分析工具可能存在一些限制，无法完全识别代码中的所有情况。因此，即使使用了[NotNull]注释，仍然可能会出现警告。
版本兼容性问题：有时候，[NotNull]注释可能与特定版本的Resharper / Jetbrains不兼容，导致警告的出现。在这种情况下，可以尝试更新Resharper / Jetbrains的版本或者查看相关文档以了解是否存在已知的问题。

总的来说，[NotNull]注释是一种在开发过程中提高代码质量的有用工具，但它并不能完全消除空引用异常的可能性。在使用[NotNull]注释时，仍然需要开发人员自己进行逻辑检查和错误处理，以确保代码的正确性和稳定性。

腾讯云相关产品和产品介绍链接地址：

腾讯云开发者工具箱：https://cloud.tencent.com/product/toolbox
腾讯云云开发：https://cloud.tencent.com/product/tcb
腾讯云云服务器（CVM）：https://cloud.tencent.com/product/cvm
腾讯云云原生应用引擎（TKE）：https://cloud.tencent.com/product/tke
腾讯云数据库（TencentDB）：https://cloud.tencent.com/product/cdb
腾讯云安全产品：https://cloud.tencent.com/product/security
腾讯云音视频处理：https://cloud.tencent.com/product/mps
腾讯云人工智能：https://cloud.tencent.com/product/ai
腾讯云物联网平台（IoT Hub）：https://cloud.tencent.com/product/iothub
腾讯云移动开发：https://cloud.tencent.com/product/mad
腾讯云对象存储（COS）：https://cloud.tencent.com/product/cos
腾讯云区块链服务（BCS）：https://cloud.tencent.com/product/bcs
腾讯云元宇宙：https://cloud.tencent.com/product/mu

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

2019-3-8-resharper喊你回家判空啦

NullReferenceException一定是大多数程序员最讨厌的异常之一 ---- 我们在书写代码时看到NullReferenceException一定很崩溃，但是更崩溃的事情是在团队协作时，小伙伴写的方法给你返回了一个...Null 本着己所不欲勿施于人的观点，我们应该选择一种方式或者契约让可能会出现Null的地方，告知到其他的小伙伴这里推荐的是Resharper的CanBeNull标记。...CanBeNull可以标记在方法的参数或者返回值，使用后可以看到在可能出现空引用的地方vs给出了波浪线提示 ?...ItemCanBeNull可以表示IEnumerable ，Task或者Lazy所包含的对象类型可能为空，例如List,Task和Lazy中的T 那么既然可以表示可空，是否有标记表示非空呢...只要使用NotNull和ItemNotNull即可表示对应的非空情况参考链接： [Code Annotation Attributes - Help ReSharper](https://www.jetbrains.com

4642 0

使用 Resharper 特性

CanBeNullAttribute 表示属性或参数可能为空，返回值可能为空。使用了这个特性，就可以告诉 Resharper 在使用这个属性、参数之前需要先判断是不是空。...NotNullAttribute 和上面的不同，这个表示这个参数属性不为空。但是如果是公开的接口，还是需要判断。...标记了参数 NotNull 是告诉调用的时候不要传入为空，函数还是需要判断传入是否空。这个可以标记在函数返回值和属性，如果标记为函数返回，那么这个函数一定不要返回空。...如果不判断是否空的就使用，会告诉可能这个参数异常，这个很多人都在函数返回使用 StringFormatMethodAttribute 表示一个字符串传入的格式和 string.Format 一样...，如果进行两个类的判断就会警告，但是可以进行和 null 的判断。

7102 0

C# 8.0 如何在项目中开启可空引用类型的支持

C# 8.0 引入了可为空引用类型和不可为空引用类型。由于这是语法级别的支持，所以比传统的契约式编程具有更强的约束力。更容易帮助我们消灭 null 异常。...这五个值其实是两个不同维度的设置排列组合之后的结果：可为空注释上下文用于告知编译器是否要识别一个类型的引用可为空或者不可为空。...当仅仅启用警告上下文而不开启可为空注释上下文，那么编译器将仅仅识别局部变量中明显可以判定出对 null 解引用的代码，而不会对包括变量或者参数定义部分进行分析。...可为空注释（Annotation）上下文当启动可为空注释上下文后，C# 编译器会将所有的类型引用变量识别为以下种类：不可为空可为空未知于是，当你写出 string walterlv 的变量定义...安全性警告仅会将编译期间可识别到可能运行时异常的代码进行警告（即下面的 walterlv.ToString()），而不会对没有异常的代码进行警告。

2852 0

C#.NET 中的契约

C#8.0 的可空引用类型是 Roslyn 对 null 的验证，本以为会带来编译级别的警告，没想到也只是契约。...我的朋友林德熙在使用 Resharper 特性一文中有这些契约对编写代码的更详细的效果描述和截图。...或者，这样用普通的抛异常的方式。如果使用普通方式抛出异常，需要遵循 if-then-throw 的模式，即有问题立刻就抛出异常。例如下面对 null 的判断就符合这样的模式。...Roslyn Roslyn 相比于任何第三方契约的优势在于它甚至能在语法层面形成契约（比如 C#8.0 中的可空引用类型）。...实际应用事实上在 GitHub 中，使用各种契约的都有，不过以 ReSharper Annotations 和 System.Diagnostics.Contracts 的居多；C#8.0 的可空引用类型等到

9071 0

【译】尝试使用Nullable Reference Types

这是我们添加一些新属性以允许您在编译器中进行可空分析影响的地方。 T?的问题你想知道：为什么在指定可以用可空引用或值类型替换的泛型类型时“只”允许T？。不幸的是，答案很复杂。通常T?...可空值类型和可空引用类型之间的区别出现在以下模式中： 1: void M(T? t) where T: notnull 这意味着该参数是可以为空的，并且T被约束为notnull。...注解的演进一旦注解了公共API，您将需要考虑更新API可能会产生下游影响的情况：在没有任何注解的地方添加可为空的注释可能会给用户代码带来警告。...删除可为空的注释也会引入警告（例如，接口实现）可以为空的注解是公共API不可分割的一部分。添加或删除注解会引入新的警告。...尽管仍有约80%的corefx需要注释，但大多数使用的API都是完全注释的。空引用类型的路线图当前，我们将完全可以为空的引用类型体验视为处于预览状态。

3.8K1 0

如何避免 Java 中的“NullPointerException”

Null 属于 String 类型，Java 甚至不会打印警告。实际上，您甚至可以编译下一个代码：可编译的代码。...，当 Java 尝试调用真实对象上的任何方法但在运行时该对象引用 Null 引用时会引发该异常。...您可以在本文中找到有关异常及其性质的更多详细信息。 6 为什么 NullPointerException 是最常见的异常？开发人员是人类，总是习惯于忘记一些事情。...12 Lombok @NotNull 注解 Lombok @NotNull Annotation 用于生成可以阻止执行但仅在 Runtime 中的非空检查。所以它不符合我们的目的。...，Intellij Idea 提供了自己的注释 @NotNull 和 @Nullable 以及嵌入在 IDE 插件中。

2.8K2 0

Resharper上手指南

Resharper进阶四：万能的Alt+Enter 万能的Alt+Enter能够帮你完成很多编写代码过程中的dirty work，总结起来大概是这么些： •帮你实现某个接口或抽象基类的方法； •提供你处理当前警告的一些建议...５、重命名： 为什么重命名值得挑出来讲，因为Resharper提供了命名建议这一金子般的功能。...这是很高效的方法，我们倾向于在开发的早期尽量不捕获异常，而在中后期才加入异常处理机制。于是你某一个时期有大量的工作是把他们扩到try-catch块中。...曾经有一个组合键可以注释掉当前行，还有另一个是取消注释，但是我已经淡忘了，因为Ctrl+/才应该是真正属于它的快捷键，再次按下就可以取消注释。...在没有 Resharper的环境下，Visual Studio已经做到了。那么为什么Resharper还要增强这个功能并大获好评的。

1.7K6 0

IL编织器 --- Fody

IL 代码，在按照 IL 代码取编写要注入的 C# 代码，也可以参照我之前的文章工具 --- IL指令集解释，理解 IL 执行过程。...在隐式模式下，假定一切都不为空，除非标记为 [AllowNull]。这是 NullGuard 一直以来的工作方式。在显式模式下，假定一切都可为空，除非标记为 [NotNull]。...这种模式旨在支持 ReSharper（R#）的可为空性分析，使用悲观模式。在可为空引用类型模式下，使用 C# 8 可为空引用类型（NRT）注释来确定类型是否可为空。...如果没有显式配置，NullGuard 将按以下方式自动检测模式：如果检测到 C# 8 可为空属性，则使用可为空引用类型模式。...引用 JetBrains.Annotations 并在任何地方使用 [NotNull] 将切换到显式模式。如果不满足上述条件，则默认为隐式模式。

5081 0

ReSharper 配置及用法

dirty work，总结起来大概是这么些：帮你实现某个接口或抽象基类的方法；提供你处理当前警告的一些建议；为你提供处理当前错误的一些建议（不一定是真的错误）；为你简化当前的臃肿代码； 8: ...５、重命名： 为什么重命名值得挑出来讲，因为Resharper提供了命名建议这一金子般的功能。...这是很高效的方法，我们倾向于在开发的早期尽量不捕获异常，而在中后期才加入异常处理机制。于是你某一个时期有大量的工作是把他们扩到try-catch块中。...曾经有一个组合键可以注释掉当前行，还有另一个是取消注释，但是我已经淡忘了，因为Ctrl+/才应该是真正属于它的快捷键，再次按下就可以取消注释。 ...那么为什么Resharper还要增强这个功能并大获好评的。试问，Visual Studio那窄窄的一行参数提示有没有让你觉得憋屈。

1.8K1 0

开发中造成空指针的常见写法，如何预防！

哪些用法可能造 NPE 相关的 BUG？在业务开发中作为接口提供者和使用者如何更有效地避免空指针呢？ 2....很不幸，又一个空指针异常向你飞来 … 此时要根据具体业务场景来判断如何处理这里可能产生的空指针异常。...org.jetbrains.annotations.NotNull#exception 里查看更多细节，大家也可以使用 IDEA 插件或者前面介绍的 JD-GUI 来查看编译后的 class 文件，去了解...@NotNull 注解的作用。...总结本节主要讲述空指针的含义，空指针常见的中枪姿势，以及如何避免空指针异常。下一节将为你揭秘当 switch 遇到空指针，又会发生什么奇妙的事情。

5002 0

在 Android 11 及更高版本系统中处理可空性

= 1 y = null // okay Kotlin 的这个特性能够让您的代码更安全。即使您随后调用一个方法或试图访问 x 等非空变量属性，也不会面临空指针异常的风险。...如果我使用的 (Android) API 不是用 Kotlin 编写的，该怎么办？...@NonNull 注释则恰好与之相反，如果一个方法标有 @NonNull 注释，Kotlin 编译器会将该方法返回的结果视为非空类型，并禁止您在之后的代码中把该结果设置为 null。...鉴于 Kotlin 注释处理的相关规则，目前在少数情况下，编译器仅对 @Nullable 引用报错，而对 @RecentlyNullable 引用不报错。...您可以通过在代码中添加空值检查来解决这些警告或报错。

1.5K1 0

NullReferenceException，就不应该存在！

总结起来，可恨之处有亮点：不能知道为 null 的是哪个变量、字段或属性；不能知道为什么为 null。而这两点直接与异常机制相悖。...为什么为 null 时不应该输出？如果这个问题回答不上来，那么你的这个 null 判断为你的程序埋藏了一个更深的 BUG——当用户反馈软件行为不正常时，你甚至连异常信息都没收集到！...对于第 3 点，JetBrains 为我们提供了 JetBrains.Annotations，这是一组 100+ 个的 Attribute，以 NuGet 包的形式提供。...强烈建议在 null 代表了某种特殊意义的地方标记 [CanBeNull]；这样，ReSharper 插件将提醒我们这些地方必须要进行判空。...C# 8.0 极有可能为我们带来“可空引用类型”或者“非空引用类型”；如果真的带来了，这将比 JetBrains.Annotations 拥有更大的强制性，帮助我们避免出现意外的 null 引用，帮助我们在可能为

1.1K1 0

Infer#:将 Facebook 的静态分析器带工具带到 C# 和 .NET

它支持 Java 和 C/C++/Objective-C 代码，并能够检测许多潜在问题，包括空指针异常、资源泄漏、注释可访问性、缺少锁保护以及 Android 和 Java 代码中的并发竞争条件;和空指针取消引用...Infer# 与众不同的是它专注于跨函数分析，这在其他分析器中找不到，而增量分析则找不到。 PreFast 会检测某些无效异常和内存泄漏的实例，但其分析纯粹是过程内分析。...同时，JetBrains Resharper 严重依赖开发人员注释进行内存安全验证。...例如，辛石描述了 Infer# 如何检测以下代码段中涉及三个不同函数的空引用： static void Main(string[]) args) { var returnNull = ReturnNull...目前，Infer# 支持空取消引用和内存泄漏检测，但 Microsoft 已经宣布将继续扩展其功能，增加对冲突条件和线程安全违规检测的支持。

1.3K1 0

#1在构造函数内调用虚方法 | TW洞见

Studio没有安装ReSharper，那么上面的代码不会有任何异常。...我们在构造函数中调用虚方法，碍着ReSharper什么事儿了？其实这个警告就是提醒我们不要在非封闭类型的构造函数内调用虚方法或虚属性。但为什么这样做不合适呢？在解惑之前，我们先来了解两个概念。...V()时，ReSharper会给出virtual member call in constructor的警告。...而由于之前提到的类型初始化顺序，在执行Base b = new Derived();这样的代码时，Base的构造函数要早于Derived的构造函数执行，因此在执行到foo.Bar()时foo还是个空引用...，实际调用的是子类中重写的虚方法因此，ReSharper会警告我们，这么做存在隐患。

1.2K11 0

.NET周报【7月第1期 2023-07-02】

平台上自主生成dump文件，以便于诊断.NET程序的异常情况。...引用类型 https://www.cnblogs.com/artech/p/17509624.html 我在面试的时候经常会问一个问题：“谈谈值类型和引用的区别”。...Crash, CPU爆高，内存暴涨等各种Dump，为什么你没有写在 Docker 中如何抓的相关文章呢？...哈哈，在DUMP的分析旅程中，跑在 Docker 中的 .NET 占比真的不多，大概10个dump有 1-2 个是 docker 中的，市场决定了我的研究方向，为了弥补这一块的空洞，决定写一篇文章来分享下这三大异常下的捕获吧...主题【英文】AI Assistant 来到 ReSharper | .NET 工具博客 https://blog.jetbrains.com/dotnet/2023/06/26/resharper-ai-assistant

1702 0

Kotlin —— 这次入门就不用放弃了

你可以编写少得多的代码。它更加安全：Kotlin是空安全的，也就是说在我们编译时期就处理了各种null的情况，避免了执行时异常。你可以节约很多调试空指针异常的时间，解决掉null引发的bug。...操作符两种可能，要么正确返回name，要么抛出空指针异常当user为null，你不想返回null，而是抛出一个空指针异常，你就可以使用它。 */ var name = user!!....甚至于可以 list.map(::println) ::表示方法或类的引用。为什么可以直接传方法引用呢？...我列举了一些我不喜欢的部分。 1. 没有命名空间 Kotlin 允许你在文件中定义顶级的函数和属性，但是这会带来困扰——所有从 Kotlin 引用的顶级声明无法区分。...它是说，每次我追加一个字符串到一些东西（一个 StringBuilder、某种日志、一个控制台等）上时我就必须捕获那些 IOException。 为什么？

1.6K3 0

请不要再使用判断进行参数校验了

Hibernate Validator 提供的常用约束注解约束注解详细信息 @Null 被注释的元素必须为 null @NotNull 被注释的元素必须不为 null @AssertTrue 被注释的元素必须为...@NotEmpty 被注释的字符串的必须非空 @Range 被注释的元素必须在合适的范围内 4....name=felord.cn&age=12 HTTP/1.1 Host: localhost:8888 自定义注解可能有些同学注意到上面的年龄我进行了这样的标记： @NotNull(message...，它只处理非空的时候是否符合范围约束。...检验基础类型不生效的问题上面为了校验颜色我们声明了一个Param对象来包装唯一的字符串参数color，为什么直接使用下面的方式定义呢？

9963 0

求求你别在用IF ELSE校验参数了

2.为什么使用Hibernate Validator 提高代码整洁度; 验证逻辑与业务逻辑之间进行了分离，降低了程序耦合度；统一且规范的验证方式，无需你再次编写重复的验证代码；你将更专注于你的业务，...3.注解介绍 JSR 380内置常用注解注解详细信息 @Null 被注释的元素必须为 null @NotNull 被注释的元素必须不为 null @AssertTrue 被注释的元素必须为 true...标准校验注释的字符串必须是一个的有效的url @Range 被注释的元素必须在合适的范围内，应用于数值或字符串 @UniqueElements 检查带注释的集合是否只包含唯一的元素。...JSR 303标准定义接口ExecutableValidator，用来校验方法参数，Hibernate Validator实现了该接口（ValidatorImpl.class），不仅对Object的属性进行校验...我认为顺序化的校验，场景更多的是在业务处理类，例如联动的属性验证，值的有效性很大程度上不能从代码的枚举或常量类中来校验。

1.9K1 0

Validator，就来这一篇吧

2.为什么使用Hibernate Validator 提高代码整洁度; 验证逻辑与业务逻辑之间进行了分离，降低了程序耦合度；统一且规范的验证方式，无需你再次编写重复的验证代码；你将更专注于你的业务，...3.注解介绍 JSR 380内置常用注解注解详细信息 @Null 被注释的元素必须为 null @NotNull 被注释的元素必须不为 null @AssertTrue 被注释的元素必须为 true...标准校验注释的字符串必须是一个的有效的url @Range 被注释的元素必须在合适的范围内，应用于数值或字符串 @UniqueElements 检查带注释的集合是否只包含唯一的元素。...JSR 303标准定义接口ExecutableValidator，用来校验方法参数，Hibernate Validator实现了该接口（ValidatorImpl.class），不仅对Object的属性进行校验...我认为顺序化的校验，场景更多的是在业务处理类，例如联动的属性验证，值的有效性很大程度上不能从代码的枚举或常量类中来校验。

2.6K1 0

求求你别在用IF ELSE校验参数了

2.为什么使用Hibernate Validator 提高代码整洁度; 验证逻辑与业务逻辑之间进行了分离，降低了程序耦合度；统一且规范的验证方式，无需你再次编写重复的验证代码；你将更专注于你的业务，...3.注解介绍 JSR 380内置常用注解注解详细信息 @Null 被注释的元素必须为 null @NotNull 被注释的元素必须不为 null @AssertTrue 被注释的元素必须为 true...标准校验注释的字符串必须是一个的有效的url @Range 被注释的元素必须在合适的范围内，应用于数值或字符串 @UniqueElements 检查带注释的集合是否只包含唯一的元素。...JSR 303标准定义接口ExecutableValidator，用来校验方法参数，Hibernate Validator实现了该接口（ValidatorImpl.class），不仅对Object的属性进行校验...我认为顺序化的校验，场景更多的是在业务处理类，例如联动的属性验证，值的有效性很大程度上不能从代码的枚举或常量类中来校验。

1.7K2 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭