我在C++文件中遇到过这个顶级函数.所以我的问题是:
smt2::parser那里的类型声明究竟是什么? p(ctx, is, interactive);什么不同? 这是代码:
bool parse_smt2_commands(cmd_context & ctx, std::istream & is, bool interactive) {
smt2::parser p(ctx, is, interactive);
return p();
}
Run Code Online (Sandbox Code Playgroud)
不幸的是,到目前为止我还没有找到p()grep 的定义.当我找到定义时,我会更新帖子(跟踪标题包括手动可能需要一段时间).
直接说出来有点困难.但我想象的是smt2::parser类或结构类型的名称.这条线
stm2::parser p(ctx,is,interactive);
Run Code Online (Sandbox Code Playgroud)
调用该类/结构的构造函数.由stm2::parser可能重载()运算符定义的类.我找到了一个教程,其中包含有关函数调用的运算符重载的更多信息