代码检查：没有匹配的检查运算符的运算符。

此检查会报告当相关运算符已经有匹配的 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年 5月 8日