代码检查：层次结构中的注解冲突

此检查会报告与从基类成员继承的契约冲突的可空性注解。这通常意味着重写、实现或继承的成员声明的可空性与原始 API 不同。

示例

                using JetBrains.Annotations;
                class BaseService
                {
                    [NotNull]
                    public virtual string GetName() => "";
                }
                class DerivedService : BaseService
                {
                    [CanBeNull]
                    public override string GetName() => null;
                }
            
   

                using JetBrains.Annotations;
                class BaseService
                {
                    [NotNull]
                    public virtual string GetName() => "";
                }
                class DerivedService : BaseService
                {
                    public override string GetName() => null;
                }
            
   

快速修复

如果冲突来自 JetBrains 可空性属性，快速修复会移除冲突的属性。如果成员确实需要允许 null ，则应一致地更新基类契约及整个层次结构，而不是只在某一处进行覆盖。

2026年 5月 8日