Spirit X3如此'无状态'的意图是什么？

精神V2中"状态"的坏方面

回顾Spirit V2，"语法"在概念上是有状态的 - 在很多方面。这是因为语法是一个类实例。

基本上，使你的语法 - 甚至任何单一规则 - 成为有状态有很多不好的方面：

• 它可能会使您的语法不可重入;
• 它可能会向语法实例添加线程不安全;
• 自我管理的"旗帜"是一场灾难。

从理论上讲，添加外部状态会使您的语法变得不平凡。

真的不需要状态吗？

相反，你可以说任何解析器都是有状态的(因为它解析当前上下文，上下文就是状态)。下面是程序员添加的其他"上下文"的一个很好的例子：

quoted_string_ = as_string [omit [char_("'"") [_a = _1]] >> *(char_ - lit(_a)) >> lit(_a)]

qi::locals是非外部国家的好兆头。

程序员还可以将"外部状态"添加到他的语法中，在大多数情况下，它们只是做错了什么：

func_call_ = func_name_ >> lit('(') >> eps [ref(is_inside_function_call) = true] >> ...

但是，仍然有一些极端情况，外部状态是有用的。

macro_type_1_ =
lit("{{{") [PUSH_STATE(macro_ctx, Macro::Type1)] >> (
((any_expr_ - end_of_macro_ctx_) >> lit("}}}") >> eps [POP_STATE(macro_ctx)]) |
(eps [POP_STATE(macro_ctx)] >> eps [_pass = false])
)
;
macro_type_2_ =
lit("[[[") [PUSH_STATE(macro_ctx, Macro::Type2)] >> (
((any_expr_ - end_of_macro_ctx_) >> lit("]]]") >> eps [POP_STATE(macro_ctx)]) |
(eps [POP_STATE(macro_ctx)] >> eps [_pass = false])
)
;

上面是一些任意上下文相关语言的示例。在这里，我通过模拟子规则的"析构函数"来添加"上下文堆栈"。这可能是使用Nabialec Trick的特殊变体的一个很好的例子，其中end_of_macro_ctx_qi::symbols实例。

(参见 Boost.Spirit.Qi：在解析时动态创建"差异"解析器，了解可能的实现细节)

您不能在此处使用qi::locals，因为无法保证qi::locals的生命周期。所以你应该使用一个全局变量(即语法类实例的成员变量)。

继承的属性？或。如果您愿意将相同的变量传递给每个规则。

语法本身的外部状态

说到外部状态，程序员可能还想在他的语法中添加更基本的东西。

on_error<fail>(root_, phx::bind(&my_logger, &MyLogger::error, _1, _2, _3, _4));

你不能再在 X3 上这样做了。

X3的无国籍状态

X3 期望用户使用自动配置实例在命名空间范围内定义他的每个规则。

好的，现在让我们来看看BOOST_SPIRIT_DEFINE的实现。它基本上只做一件事：

#define BOOST_SPIRIT_DEFINE(your_rule，<未指定>) 模板<未指定><未指定>

> parse_rule(decltype(your_rule)，<未指定>...) {<未指定>}

parse_rule()的第一个参数是给定规则的唯一类型的 decltype-d。

这意味着两件事：

1. X3完全依靠ADL调用来parse_rule()。
2. parse_rule()必须在命名空间范围内定义。

您不能为实例专用化模板函数。 没有办法告诉 X3 使用我的任何实例变量。

我撒谎了。如果需要，可以执行此操作：

static inline MyLogger& use_my_logger_please() {
static MyLogger instance; return instance;
}

或

#define MY_BOOST_SPIRIT_DEFINE(my_rule, <unspecified>, my_logger_f) <unspecified>
MY_BOOST_SPIRIT_DEFINE(rule_1_, ..., std::bind([] (MyLogger& l, std::string const& msg) { l << msg; }, this->logger_instance_, std::placeholders::_1))

真？

auto make_parser(char delim) {
return lexeme [ delim >> *('' >> char_ | ~char_(delim)) >> delim ];
}

auto make_parser(char delim) {
return rule<struct _, std::string> {} = lexeme [ delim >> *('' >> char_ | ~char_(delim)) >> delim ];
}

auto make_parser(char delim) {
return as<std::string> [ lexeme [ delim >> *('' >> char_ | ~char_(delim)) >> delim ] ];
}