从带有参数的基函数指针调用基方法

Question

我正在使用访问者模式来遍历和打印我正在操作的树的子节点。为了获得缩进打印，我以如下样式指定缩进级别：

printCurrent();
indentLevel();        // increases static variable
Visitor::visit(elem); // which then prints the children's node data
unindentLevel();      // decreases static variable

为了使这更好，我想实现一个函数，该函数采用 Visitor::visit 和参数 elem 并自动处理预操作 (indentLevel()) 和操作后 (unindentLevel())。

在实现该函数之前，我需要定义一个函数指针，该指针将用作函数的参数。但是，我未能指定指针的参数。作为一个例子，让我们看看从Visitor派生的PrintVisitor：

void PrintVisitor::visit(BinaryExpr &elem) {
    std::cout << formatOutputStr({elem.getNodeName()});
    this->incrementLevel();
    Visitor::visit(elem);    // <-- this is where I want to create a function pointer to
    this->decrementLevel();
}

这个想法基本上是PrintVisitor 完成与打印相关的所有事情，所有其他逻辑（例如遍历逻辑）都在基类Visitor 中实现。因此，PrintVisitor::visit 需要执行其特定的操作（例如，通过 formatOutputStr 打印），然后执行 Visitor::visit 方法：

void PrintVisitor::visit(BinaryExpr &elem) {
    std::cout << formatOutputStr({elem.getNodeName()});

    void (Visitor::*myPt)(BinaryExpr&) = &Visitor::visit;  // declare function pointer
    executeIndented(myPt, elem);  // pass function pointer myPt
}
// ...

void executeIndented("Function f", "FunctionArgs elem") {
   // pre-action
    this->incrementLevel();

   // main action: call function pointer
   (Visitor().*f)(elem);  // call function pointer with arg

   //post-action
   this->decrementLevel();    
}

我的目标是以某种方式实现在每个 PrintVisitor::visit 方法中始终调用前操作和后操作。为此，我认为将这些前置和后置操作封装到另一个函数 executeIndented 中是有意义的。

(Visitor().*myPt)(elem); 的语法在我看来有点奇怪，这真的是使用我的函数指针 myPt 调用带有参数 elem 的（基本）函数 Visitor::visit 的正确方法吗？

// 编辑 使用 (Visitor(*this).*myPt)(elem); 也可以。这两种方式有什么区别，哪一种是首选？

// EDIT2 希望现在对我要实现的目标的描述更加清晰。

Answer 1

据我了解，您应该有类似的东西：

struct TraversalVisitor : IVisitor
{
    void visit(BinaryExpr &elem) final
    {
        pre_traversal_action(elem);
        visit(elem.lhs);
        action(elem);
        visit(elem.rhs);
        post_traversal_action(elem);
    }
    virtual void pre_traversal_action(BinaryExpr &elem) { /*Nothing */ }
    virtual void action(BinaryExpr &elem) { /*Nothing */ }
    virtual void post_traversal_action(BinaryExpr &elem) { /*Nothing */ }

    void visit(UnaryExpr &elem) final;
    // ...
};

struct PrintVisitor : TraversalVisitor
{
    void pre_traversal_action(BinaryExpr &elem) override { 
        std::cout << formatOutputStr({elem.getNodeName()});
        incrementLevel();
    }
    //void action(BinaryExpr &elem) override { /*Nothing */ }
    void post_traversal_action(BinaryExpr &elem) override { decrementLevel(); }
    // ...
private:
    void formatOutputStr(const std::string&);
    void incrementLevel();
    void decrementLevel();
    // ...
};

而你尝试实现类似的东西：

struct Visitor : IVisitor
{
    virtual visit(BinaryExpr &elem)
    {
        visit(elem.lhs);
        visit(elem.rhs);
    }
// ...
};

struct PrintVisitor : Visitor
{
private:
    void formatOutputStr(const std::string&);
    void incrementLevel();
    void decrementLevel();

    void executeIndented(Expr& elem) {
        incrementLevel(); // pre-action

        // Traversal
        Visitor::visit(elem);

        decrementLevel(); // post-action
    }

    void visit(BinaryExpr &elem) override {
        std::cout << formatOutputStr({elem.getNodeName()});

        executeIndented(elem);
    }

    // ...
};

IMO，您的尝试只是分解PrintVisitor，而不执行一些遍历策略。