8

我正在将表达式树转换为类似于中缀符号的格式；我不是在评估树或执行它的操作。树包含逻辑和关系操作，我想在翻译过程中以智能的方式发出括号。

为了说明，请考虑以下人为的表达式：

a < x & (a < y | a == c) & a != d

如果我按顺序遍历这个表达式产生的表达式树，那么我会打印出下面的表达式，这是不正确的。

a < x & a < y | a == c & a != d
// equivalent to (a < x & a < y) | (a == c & a != d)

或者，我可以再次执行中序遍历，但在处理二进制表达式之前和之后发出括号。这将产生以下正确的表达式，但有几个多余的括号。

(((a < x) & ((a < y) | (a == c))) & (a != d))

是否有一个表达式树遍历算法可以产生最佳括号表达式？

作为参考，这是ExpressionVisitor我用来检查树的片段。 

class MyVisitor : ExpressionVisitor
{
    protected override Expression VisitBinary(BinaryExpression node)
    {
        Console.Write("(");

        Visit(node.Left);
        Console.WriteLine(node.NodeType.ToString());
        Visit(node.Right);

        Console.Write(")");

        return node;
    }

    // VisitConstant, VisitMember, and VisitParameter omitted for brevity.
}
4

2 回答 2

4

我接受了Dialecticus 的答案，因为它为实现该算法提供了良好的基础。这个答案的唯一问题是它要求VisitBinary()方法知道它的父调用者作为方法参数，这是不可行的，因为这些方法是基方法的重载。

我提供了以下解决方案，它使用类似的算法，但应用检查以在表达式树的子节点的父调用中发出括号。

class MyVisitor : ExpressionVisitor
{
    private readonly IComparer<ExpressionType> m_comparer = new OperatorPrecedenceComparer();

    protected override Expression VisitBinary(BinaryExpression node)
    {
        Visit(node, node.Left);
        Console.Write(node.NodeType.ToString());
        Visit(node, node.Right);

        return node;
    }

    private void Visit(Expression parent, Expression child)
    {
        if (m_comparer.Compare(child.NodeType, parent.NodeType) < 0)
        {
            Console.Write("(");
            base.Visit(child);
            Console.Write(")");
        }
        else
        {
            base.Visit(child);
        }
    }

    // VisitConstant, VisitMember, and VisitParameter omitted for brevity.
}

优先级比较函数实现为IComparer<ExpressionType>，它应用 C#运算符优先级规则。

class OperatorPrecedenceComparer : Comparer<ExpressionType>
{
    public override int Compare(ExpressionType x, ExpressionType y)
    {
        return Precedence(x).CompareTo(Precedence(y));
    }

    private int Precedence(ExpressionType expressionType)
    {
        switch(expressionType) { /* group expressions and return precedence ordinal * }
    }
}
于 2012-08-24T15:17:27.940 回答
3

尝试这样的事情，假设它node.NodeType是 type ，并且如果第一个参数在第二个参数之前NodeType，该函数存在并返回 true。Precedes

protected override Expression Visit(BinaryExpression node, NodeType parentType)
{
    bool useParenthesis = Precedes(parentType, node.NodeType);

    if (useParenthesis)
        Console.Write("(");

    Visit(node.Left, node.NodeType);
    Console.WriteLine(node.NodeType.ToString());
    Visit(node.Right, node.NodeType);

    if (useParenthesis)
        Console.Write(")");

    return node;
}
于 2012-08-21T15:33:12.090 回答