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

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

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

サンプル

                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 日