代码检查:声明的可空性已推断(类型成员被推断为非空)
该检查会报告返回值 被推断为永不 null 的方法、属性、索引器或运算符。 该检查会查看成员体,并在代码始终返回非空引用时建议添加 [NotNull]。 对于异步成员和迭代器,可以建议添加如 [ItemNotNull]等项级注解。
示例
在此情况下,该方法始终返回非空字符串。 快速修复建议使用 [NotNull] 属性为方法添加注解。
public class Settings
{
public string GetName()
{
return "Default";
}
}
using JetBrains.Annotations;
public class Settings
{
[NotNull]
public string GetName()
{
return "Default";
}
}
快速修复
用推断的可空性属性(通常为 [NotNull] )为成员添加注解。 对于返回容器类值的迭代器和异步方法,快速修复可以使用 [ItemNotNull]。
2026年 5月 8日