代码检查：声明的为 null 性已推断（类型成员被推断为非 null）

此检查会报告返回值被推断为永远不会 null 的方法、属性、索引器或运算符。该检查会查看成员主体，并建议在代码始终返回非空引用时添加 [NotNull]。对于异步和迭代器成员，可以建议添加项目级注解，如 [ItemNotNull]。

示例

在这种情况下，方法始终返回非空字符串。快速修复建议使用 [NotNull] 特性对方法进行注解。

                public class Settings
                {
                    public string GetName()
                    {
                        return "Default";
                    }
                }
            
   

                using JetBrains.Annotations;

                public class Settings
                {
                    [NotNull]
                    public string GetName()
                    {
                        return "Default";
                    }
                }
            
   

快速修复

用推断出的为 null 性特性对成员进行注解，通常为 [NotNull]。对于返回类似容器值的迭代器和异步方法，快速修复可以使用 [ItemNotNull]。

2026年 5月 8日