コードインスペクション：対応するチェック済み演算子がない演算子

このインスペクションは、関連する演算子には対応する checked バージョンがあるのに、対応するバージョンがない演算子を報告します。これは、特にオーバーフロー処理が重要な数値型において、算術演算の動作に一貫性を欠く可能性があります。

サンプル

                public struct Counter
                {
                    public static Counter operator +(Counter left, Counter right)
                    {
                        return left;
                    }
                    public static checked Counter operator -(Counter left, Counter right)
                    {
                        return left;
                    }
                }
            
   

                public struct Counter
                {
                    public static Counter operator +(Counter left, Counter right)
                    {
                        return left;
                    }
                    public static checked Counter operator +(Counter left, Counter right)
                    {
                    }
                    public static checked Counter operator -(Counter left, Counter right)
                    {
                        return left;
                    }
                }
            
   

クイックフィックス

この簡易修正により、不足していた対応する checked 演算子が作成されます。

2026 年 6 月 12 日