SyntaxRewriter.Visit *不访问类型*的所有节点

Question

解决： mike z是对的，我没有正确地调用基础来继续递归。谢谢，迈克

我正在使用Roslyn进行一些代码重写，通过实现SyntaxRewriter。

我遇到的奇怪的事情是，当覆盖SyntaxNode.VisitInvocationExpression(InvocationExpressionSyntax)时，它不会访问树中的所有InvocationExpressionSyntax个节点。 （我认为它对所有SyntaxNode类型来说都是一样的）

例如，给定此调用表达式：

  controller.Add(5, 6).ToString();

它只访问整个表达式的节点，即使那里有2个调用。

虽然我当然可以写一个递归函数或者类似于解析子/嵌套的InvocationExpression节点，但这似乎不一致且不方便。
为什么它不访问整个树中*类型的所有节点？

这是我的覆盖：

    public override SyntaxNode VisitInvocationExpression(InvocationExpressionSyntax node)
    {
        IdentifierNameSyntax ident = node.ChildNodes().OfType<IdentifierNameSyntax>().FirstOrDefault();
        if (ident == null)
            return node;//In my test case, the example above returns here when it's node is encountered.  Shouldn't this then allow the walker to continue deeper into the node,
                        // finding the deeper nested Invocations?

        string name = ident.PlainName;
        if (!TempStore.ConstructedInvocations.ContainsKey(name))//not replacing this then
            return node;

        InvocationExpressionSyntax newInvocation = ((InvocationExpressionSyntax)TempStore.ConstructedInvocations[name]).WithArgumentList(node.ArgumentList);
        return newInvocation;
    }

在调试中逐步执行该代码，确认InvocationExpressionNode的{​​{1}}确实嵌套了内部controller.Add(5, 6).ToString();。

Answer 1

我正在使用Roslyn API并遇到类似的问题。在Visit *方法的基类实现中递归调用Visit方法。一旦覆盖其中一个，您就负责访问所有子节点。您可以通过在要重写的节点上调用base.Visit *方法或在每个子节点上调用Visit来执行此操作。

以下是我重写逻辑运算符的示例代码，＆amp;＆amp;和||，通过交换它们。我使用不同的运算符构造一个新节点，然后调用base.VisitBinaryExpression以确保访问所有子节点。否则，我们只会重写像var1 && (var2 || var3)这样的表达式的一部分。另一种可能的实现是在node.Left和node.Right上调用Visit，然后从这些结果中构造新节点。

public class LogicalOperatorRewriter : SyntaxRewriter
{
    public override SyntaxNode VisitBinaryExpression(BinaryExpressionSyntax node)
    {
        SyntaxKind newExpressionKind = GetNewKind(node.Kind);
        BinaryExpressionSyntax newNode = (BinaryExpressionSyntax)Syntax.BinaryExpression(newExpressionKind, left: node.Left, right: node.Right).Format().GetFormattedRoot();
        return base.VisitBinaryExpression(newNode);
    }

    private SyntaxKind GetNewKind(SyntaxKind kind)
    {
        switch (kind)
        {
            case SyntaxKind.LogicalAndExpression:
                return SyntaxKind.LogicalOrExpression;
            case SyntaxKind.LogicalOrExpression:
                return SyntaxKind.LogicalAndExpression;
            default: return kind;
        }
    }
}

Answer 2

我不知道Roslyn API但使用表达式树（ExpressionVisitor），您需要调用基本方法继续访问树。

这是因为您的方法可能希望停止访问树。如果你想停止，你可能不会调用基本方法。

这sample code似乎支持这一理论。