コードインスペクション: 'ValueRange'/'NonNegativeValue' 属性の違反の可能性

この検査では、 [ValueRange] または [NonNegativeValue] 契約に違反する可能性のある整数値が報告されます。 JetBrains Rider は、制御フロー分析によって整数値の範囲を追跡し、代入や引数が許容された範囲外の場合に警告します。

解決策は、値を変更するか、その周辺のロジックを変更して、割り当てられた値が宣言された範囲内に収まるようにすることです。

サンプル

                using JetBrains.Annotations;

                class C
                {
                    [NonNegativeValue]
                    public int Bar { get; set; }

                    public void M()
                    {
                        Bar = -1;
                    }
                }
            
   

                using JetBrains.Annotations;

                class C
                {
                    [NonNegativeValue]
                    public int Bar { get; set; }

                    public void M()
                    {
                        Bar = 0;
                    }
                }
            
   

2026 年 6 月 12 日