自定义Roslyn Analyzer无法检测While循环中的方法调用

问题出在你使用FirstAncestorOrSelf<StatementSyntax>的方式上——虽然逻辑看似正确，但Roslyn的节点遍历在某些情况下会因为中间节点的类型过滤而遗漏目标循环节点。以下是具体的修复方案：

修复方案1：使用LoopStatementSyntax基类 #

ForStatement、ForEachStatement和WhileStatement都继承自LoopStatementSyntax，直接查找这个基类可以避免手动判断语法类型，同时更准确：

private void CheckForMethodInvocationInLoop(SyntaxNodeAnalysisContext context)
{
    var invocation = (InvocationExpressionSyntax)context.Node;

    var containsMethod = false;
    // 第一阶段代码（已省略）

    if (!containsMethod)
        return;

    // 直接查找所有循环语句的基类，无需判断SyntaxKind
    var loopFound = invocation.FirstAncestorOrSelf<LoopStatementSyntax>();

    if (loopFound != null)
    {
        context.ReportDiagnostic(Diagnostic.Create(Rule, invocation.GetLocation()));
    }
}

修复方案2：手动遍历所有父节点（更可靠） #

如果方案1仍未解决问题，可以跳过类型过滤，直接遍历所有父节点并检查语法类型，确保不会遗漏任何层级：

private void CheckForMethodInvocationInLoop(SyntaxNodeAnalysisContext context)
{
    var invocation = (InvocationExpressionSyntax)context.Node;

    var containsMethod = false;
    // 第一阶段代码（已省略）

    if (!containsMethod)
        return;

    SyntaxNode currentNode = invocation;
    bool isInLoop = false;
    while (currentNode != null)
    {
        if (currentNode.IsKind(SyntaxKind.ForStatement) || 
            currentNode.IsKind(SyntaxKind.ForEachStatement) || 
            currentNode.IsKind(SyntaxKind.WhileStatement))
        {
            isInLoop = true;
            break;
        }
        currentNode = currentNode.Parent;
    }

    if (isInLoop)
    {
        context.ReportDiagnostic(Diagnostic.Create(Rule, invocation.GetLocation()));
    }
}

额外排查点 #

1. 确认第一阶段逻辑：虽然你说第一阶段正常，但仍需验证While循环中的方法调用是否能正确触发containsMethod = true——可以通过调试输出或临时日志确认该变量的值。
2. 语法节点可视化验证：再次检查While循环中目标调用的父节点链，确认WhileStatement节点确实存在于父链中，且语法类型正确。

内容的提问来源于stack exchange，提问作者kyleJ