如何使用antlrcpp :: Any解决此std :: bad_cast问题？

Question

我正在尝试使用ANTLR4解析表达式。 因此，我正在使用访问者模式并创建抽象语法树。

结果可以是表达式或其他内容（我从此示例代码中删除了该内容）。 访问者期望返回类型为antlrcpp::Any因此抽象语法树的元素将转换为antlrcpp::Any 。

但我发现了一个std::bad_cast ，如果我想要的结果，从转换回antlrcpp::Any到std::shared_ptr<Expression> 。

#include <iostream>
#include <string>
#include <memory>

#include "antlr4-runtime.h"
#include "Parser/SimpleLangLexer.h"
#include "Parser/SimpleLangParser.h"
#include "Parser/SimpleLangBaseVisitor.h"

struct Expression;

struct Node {
    virtual ~Node() { }
};

struct Expression: public Node {
    int constValue;
    Expression(int constValue) : constValue(constValue) { }
    virtual ~Expression() override { }
};

struct AstVisitor: public SimpleLangBaseVisitor {

    virtual antlrcpp::Any visitTopLevelElement(SimpleLangParser::TopLevelElementContext *ctx) override {
        std::shared_ptr<Expression> expression = ctx->expression()->accept(this);
        return std::dynamic_pointer_cast<Node>(expression);
    }

    virtual antlrcpp::Any visitIntExpr(SimpleLangParser::IntExprContext *ctx) override {

        std::string strInteger = ctx->INTEGER()->getSymbol()->getText();
        int constValue = std::stoi(strInteger);

        auto intExpr = std::make_shared<Expression>(constValue);
        return intExpr;
    }
};

int main() {

    std::string line = "123;";
    antlr4::ANTLRInputStream input(line);
    SimpleLangLexer lexer(&input);
    antlr4::CommonTokenStream tokens(&lexer);
    SimpleLangParser parser(&tokens);

    antlr4::tree::ParseTree *tree = parser.start();
    // Prints:
    // > (start (topLevelElement (expression 123) ;) <EOF>)
    std::cout << std::endl << tree->toStringTree(&parser) << std::endl;

    AstVisitor astVisitor;
    antlrcpp::Any result = tree->accept(&astVisitor);

    // Prints:
    // > Dn
    // std::cout << result.get_typeinfo().name() << std::endl;

    // Error:
    // > terminate called after throwing an instance of 'std::bad_cast'
    //     what():  std::bad_cast
    std::shared_ptr<Node> node = result;
    std::shared_ptr<Expression> iexpr = std::dynamic_pointer_cast<Expression>(node);

    // Expected:
    // > 123
    std::cout << iexpr->constValue << std::endl;
    return 0;
}

antlrcpp :: Any的实现

我的语法：

grammar SimpleLang;

start
    : topLevelElement* EOF
    ;

topLevelElement
    : expression ';'
    ;

expression
    : IDENTIFIER #identifierExpr
    | INTEGER #intExpr
    ;

IDENTIFIER
    : [_a-zA-Z][_a-zA-Z0-9]*
    ;

INTEGER
    : [0-9]+
    ;

WS: [ \r\n\t] -> skip;

注意：针对该问题，我大大减少了代码，希望它仍然有意义。

Answer 1

antlrcpp::Any result = tree->accept(&astVisitor);
// Error:
// > terminate called after throwing an instance of 'std::bad_cast'
//     what():  std::bad_cast

std::shared_ptr<Node> node = tree->accept(result);

在这里，您首先使用指向astVisitor的指针调用tree->accept 。

然后，您将得到的结果传递给tree->accept ，它可能期望指向SimpleLangBaseVisitor的指针。 但是第一个tree->accept调用返回的Any可能不包含指向SimpleLangBaseVisitor的指针。

因此会引发错误。

---

std::typeinfo const& get_typeinfo() const ，您正在使用的Any缺少std::typeinfo const& get_typeinfo() const 。 如果有的话，可以进行一些get_typeinfo().name() printf调试，以弄清出了什么问题。

如果您有权访问源代码，请添加：

struct Base {
  virtual ~Base();
  virtual Base* clone() const = 0;
  std::typeinfo const& get_typeinfo() const = 0;
};

template<typename T>
struct Derived : Base {
  // ...
  std::typeinfo const& get_typeinfo() const override {
    return typeid(T);
  }
};

和Any本身：

std::typeinfo const& get_typeinfo() const {
  if (!_ptr) return typeid(std::nullptr_t);
  return ptr->get_typeinfo();
}

一旦有了， std::cerr << some_any.get_typeinfo().name() << std::endl; 将解决许多“为什么我会收到坏消息？！” 煞费苦心。 但这确实要求您的代码以及生成Any的代码都必须使用经过修改的Any来构建。