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）

	注意
	请注意，如果您是第一次阅读本手册，您可能希望跳过本节，然后继续阅读Introducing foldl_start_with_parser。

您可能已经注意到 Metaparse 也提供了foldr。foldl 和foldr之间的区别在于结果汇总的方向。（l代表从左边，r代表从右边）这里有一个图显示了如果better_sum_parser使用foldr实现会发生什么

正如您所见，这与使用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已尽可能多次地解析输入后使用的。第一次听起来可能很奇怪，但下图应该有助于您理解其工作原理

正如您所见，它以重复应用于输入的解析器开始，因此，我们不再重复解析plus_token int_token，而是需要重复解析int_token plus_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解析剩余的" +"输入，但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 会应用该特殊的最终解析器，而不是检查重复元素解析器是如何失败的。