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

此检查会报告当相关运算符有匹配版本，但该运算符没有匹配 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日