代码检查：函数在所有执行路径上都是递归的

此检查会报告所有可达返回路径都递归指向自身的函数。这意味着该函数没有可达的非递归退出，且很难正常完成。

示例

                int CountDown(int value)
                {
                    if (value > 0)
                        return CountDown(value - 1);
                    return CountDown(value + 1);
                }
            
   

                int CountDown(int value)
                {
                    if (value == 0)
                        return 0;
                    return CountDown(value - 1);
                }
            
   

快速修复

此检查没有专用的快速修复方案。常见的修正方式是在没有递归调用的情况下返回真实的基例。

2026年 5月 8日