Boost C++ 库

这样做虽然有效，但效率不高：它有一个循环，逐个解析整数，构建一个类型列表，然后遍历这个类型列表来汇总结果。在应用程序中使用模板元程序可能会严重影响编译器的内存使用和编译速度，因此我建议谨慎处理这些事情。

Metaparse 提供了更有效的方法来实现相同的结果。您不需要两个循环：您可以将它们合并，并在解析每个数字后立即将其添加到摘要中。Metaparse 提供了 foldl 来实现此目的。

使用 foldl，您可以指定：

我们的解析器可以这样实现：

using better_sum_parser = foldl<int_token, mpl::int_<0>, sum_op>;

如您所见，解析器的实现更紧凑。下面是使用此解析器解析输入时发生情况的图示：

如您所见，不仅解析器的实现更紧凑，而且它通过减少工作量也达到了相同的结果。它像以前的解决方案一样，通过重复应用 int_token 来解析输入。但它在内部没有构建类型列表的情况下生成最终结果。这是它的内部工作原理：

它使用 sum_op 来汇总重复的 int_token 应用结果。此实现更有效。它接受空字符串作为有效输入：其总和为 0。这可能对您有益，在这种情况下，您就完成了。如果您不想接受它，可以使用 foldl1 代替 foldl。这相同，但它会拒绝空输入。（如果您选择第一种方法并想拒绝空字符串，Metaparse 也提供 repeated1）

	注意
	注意，如果您是第一次阅读本手册，您可能想跳过本节，然后继续阅读 介绍 foldl_start_with_parser。

您可能已经注意到 Metaparse 也提供了 foldr。 foldl 和 foldr 之间的区别在于汇总结果的方向。（l 代表 从左，r 代表 从右）下面是使用 foldr 实现 better_sum_parser 的图示：

如您所见，这与使用 foldl 非常相似，但来自 int_token 单独应用的汇总结果是按从右到左的顺序进行的。由于 sum_op 是加法，它不会影响最终结果，但在其他情况下可能会。

	注意
	注意，foldl 的实现比 foldr 更高效。尽可能优先使用 foldl。

正如您可能预料的那样，Metaparse 也提供 foldr1，它从右侧折叠并拒绝空输入。

让我们改变一下我们的小语言的语法。与其说是数字列表，不如说我们期望数字用 + 符号分隔。我们的示例输入变成如下：

BOOST_METAPARSE_STRING("11 + 13 + 3 + 21")

使用 foldl 或 repeated 解析它很困难：在每个元素除了第一个元素之前必须有一个 + 符号。到目前为止介绍的重复构造中没有一种提供了一种以不同方式处理第一个元素的方法。

如果我们暂时忽略第一个数字，则其余输入是 "+ 13 + 3 + 21"。这可以很容易地由 foldl（或 repeated）解析。

using plus_token = token<lit_c<'+'>>;
using plus_int = last_of<plus_token, int_token>;

using sum_parser2 = foldl<plus_int, int_<0>, sum_op>;

它使用 plus_int，即 last_of<plus_token, int_token>，作为重复使用的解析器来获取数字。它的作用如下：

这样，last_of<plus_token, int_token> 返回数字的值作为解析结果，就像我们之前的解析器 int_token 一样。正因为如此，它可以用作上一个示例中 int_token 的直接替换，我们得到了用于更新语言的解析器。或者至少是除了第一个数字之外的所有数字。

这个 foldl 无法解析第一个元素，因为它期望在每个数字之前都有一个 + 符号。您可能会想到让上面的方法中的 + 符号可选—不要这样做。这使得解析器也接受 "11 + 13 3 21"，因为 + 符号现在到处都是可选的。

您可以做的是使用 int_token 解析第一个元素，使用上面基于 foldl 的解决方案解析其余元素，并将两者的结果相加。这留给读者作为练习。

Metaparse 提供 foldl_start_with_parser 来实现此目的。foldl_start_with_parser 与 foldl 相同。区别在于，它不使用初始值来组合列表元素，而是接受一个初始解析器。

using plus_token = token<lit_c<'+'>>;
using plus_int = last_of<plus_token, int_token>;

using sum_parser3 = foldl_start_with_parser<plus_int, int_token, sum_op>;

foldl_start_with_parser 首先应用该初始解析器，并使用它返回的结果作为折叠的初始值。之后，它执行与 foldl 相同的操作。下图展示了如何使用它来解析以 + 符号分隔的数字列表：

如图所示，它使用 int_token 开始解析数字列表，使用其值作为折叠的起始值（早期方法使用 int_<0> 作为此起始值）。然后，它通过多次使用 plus_int 来解析列表的所有元素。

	注意
	注意，如果您是第一次阅读本手册，您可能想跳过本节，而尝试使用 foldl_start_with_parser 创建一些解析器。

foldl_start_with_parser 有其从右的配对，foldr_start_with_parser。它使用与 foldl_start_with_parser 相同的元素，但顺序不同。下面是用 foldr_start_with_parser 实现我们示例语言的解析器：

using plus_token = token<lit_c<'+'>>;
using int_plus = first_of<int_token, plus_token>;

using sum_parser4 = foldr_start_with_parser<int_plus, int_token, sum_op>;

注意，它使用的是 int_plus 而不是 plus_int。这是因为用于初始折叠值的解析器在 int_plus 尽可能多地解析输入后才应用。第一次听起来可能很奇怪，但下图应该有助于您理解它的工作原理：

您可以看到，它首先应用重复应用于输入的解析器，因此我们需要重复解析 int_token plus_token 而不是 plus_token int_token。最后一个数字后面没有 +，因此 int_plus 无法解析它，迭代就会停止。foldr_start_with_parser 然后使用另一个解析器 int_token 来解析输入。它会成功，它返回的结果将用作从右侧开始折叠的起始值。

	注意
	请注意，如上所述，foldl_start_with_parser 的实现比 foldr_start_with_parser 更高效。尽可能优先使用 foldl_start_with_parser。

使用 foldl_start_with_parser 构建的解析器可以解析正确的输入。然而，情况并非总是如此。例如，考虑以下输入：

BOOST_METAPARSE_STRING("11 + 13 + 3 + 21 +")

这是一个无效的表达式。然而，如果我们使用前面介绍的基于 foldl_start_with_parser 的解析器（sum_parser3）来解析它，它会接受输入，结果是 48。这是因为 foldl_start_with_parser 会尽可能地解析输入。它解析第一个 int_token（11），然后开始解析 plus_int 元素（+ 13、+ 3、+ 21）。在解析完所有这些之后，它会尝试使用 plus_int 来解析剩余的 " +" 输入，这会导致失败，因此 foldl_start_with_parser 在 + 21 之后停止。

问题在于，解析器会解析从开始位置开始的最长子表达式，该子表达式代表一个有效表达式。其余部分被忽略。可以使用 entire_input 来包装解析器，以确保拒绝末尾带有无效额外字符的表达式，但这样并不能使错误消息有用。（entire_input 只能告诉无效表达式的作者，在 + 21 之后有问题。）

Metaparse 提供 foldl_reject_incomplete_start_with_parser，它的功能与 foldl_start_with_parser 相同，不同之处在于，一旦找不到进一步的重复，它就会检查重复解析器（在本例中为 plus_int）在哪里失败。当它能够取得任何进展时（例如，它找到一个 + 符号），foldl_reject_incomplete_start_with_parser 会假设表达式的作者打算让重复更长，但犯了一个错误，并传播来自最后一个损坏表达式的错误消息。

上图展示了 foldl_reject_incomplete_start_with_parser 如何解析示例无效输入及其失败情况。这可用于从解析器获得更好的错误报告。

其他折叠解析器也有其 f 版本。（例如 foldr_reject_incomplete、foldl_reject_incomplete1 等）。

您可能已经注意到，有许多不同的折叠解析器组合子。为了帮助您找到合适的，使用了以下命名约定：

	注意
	请注意，没有 foldr_reject_incomplete_start_with_parser。右折叠解析器的 p 版本在特殊解析器之后应用该特殊解析器，其结果是初始值。因此，当解析单个重复元素的解析器失败时，foldr_start_with_parser 将应用该特殊的最终解析器，而不是检查重复元素的解析器是如何失败的。