我的目标是创建一个解决方法，以便我可以在 Boost Spirit Qi 语义操作中使用 C++11 lambda，同时仍然可以访问更多扩展的 qi 占位符集，例如 qi::_pass 或 qi::_r1，而无需从上下文对象中手动提取它们。我希望避免为一些重要的解析逻辑编写 Phoenix lambda，而更喜欢 C++11 lambda 中可用的更直接的 C++ 语法和语义。

下面的代码代表了我对解决方法的想法。我的想法是使用 phoenix::bind 绑定(bind)到 lambda 并将我需要的特定占位符传递给它。但是，我遇到了一个非常长的模板化编译器错误(gcc 4.7.0，Boost 1.54)，我没有解释的专业知识。我选择了我认为最相关的部分并将其发布在代码下方。

我想知道我在这段代码中尝试做的事情是否可以通过 Boost Spirit 实现，是否有人可以为我解释错误消息并告诉我出了什么问题。

#include <string>
#include <iostream>

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix.hpp>

namespace qi = boost::spirit::qi;
namespace spirit = boost::spirit;
namespace phoenix = boost::phoenix;

int main() {

    std::string input{"test1 test2 test3 FOO!"};
    typedef decltype(input.begin()) StringIter;

    qi::rule<StringIter, std::string()> parser =
        *(
            qi::char_
            [
                phoenix::bind(
                    [] (char value) {
                        std::cerr << value << std::endl;
                    },
                    qi::_1
                )
            ]
        );

    qi::parse(input.begin(), input.end(), parser);
}

(注意:我知道这段代码执行的特定任务使用直接的 Phoenix 构造会更简单，或者甚至可以通过 Boost Spirit 更新完成，该更新允许直接使用单参数 C++11 lambda，因为它只使用解析值 (qi::_1)。不过，这是我想做的事情的一个很好的最小示例，如果我能让它工作，它应该很容易概括。)

还有一些编译器错误(通过 STLfilt):

test\testSpiritLearning.cpp:28:9:   required from here
D:\programming\lib\boost\boost_1_54_0/boost/spirit/home/support/action_dispatch.hpp:178:13:
error: no match for call to '(
    const boost::phoenix::actor<
        boost::phoenix::composite<
            boost::phoenix::detail::function_eval<1>
          , boost::fusion::vector<
                boost::phoenix::value<main()::<lambda(char &)> >
              , boost::spirit::argument<0>, boost::fusion::void_
              , boost::fusion::void_, boost::fusion::void_
              , boost::fusion::void_, boost::fusion::void_
              , boost::fusion::void_, boost::fusion::void_
              , boost::fusion::void_
            >
        >
    >
) (
    boost::spirit::traits::pass_attribute<
        boost::spirit::qi::char_class<
            boost::spirit::tag::char_code<
                boost::spirit::tag::char_
              , boost::spirit::char_encoding::standard
            >
        >, char, void
    >::type &
  , boost::spirit::context<
        boost::fusion::cons<basic_string<char> &, boost::fusion::nil>
      , boost::fusion::vector0<>
    > &, bool &
)'

最佳答案

只需告诉 Boost 你想要最前沿的编译器支持:^[1]

#define BOOST_RESULT_OF_USE_DECLTYPE

并且您希望使用 Phoenix 的 V3 版本:

#define BOOST_SPIRIT_USE_PHOENIX_V3

它有效

查看 Live on Coliru

原因:

• 在 Phoenix actors 中使用函数对象假设您的函数对象将有一个特殊的嵌套 struct result 模板 或者实际上是一个简单的 typedef 结果类型。这被称为 RESULT_OF 协议(protocol)，请参见此处:

  http://www.boost.org/doc/libs/1_55_0/libs/utility/utility.htm#result_of

  此协议(protocol)是 c++03 兼容性所必需的。然而，lambdas 没有它。事实上，lambda 有未指定的类型。这正是支持 lambda 的编译器也将始终具有 decltype 的原因之一，因此不再需要 RESULT_OF 协议(protocol)

• 在第二个#define 中，您需要选择Phoenix V3，因为Phoenix V2 根本不支持lambda。默认情况下，Spirit V2 出于历史/兼容性原因选择 Phoenix V2。在实践中，Phoenix V3 更加成熟并修复了许多(很多)问题，因此我建议始终使用 BOOST_SPIRIT_USE_PHOENIX_V3

运行

^[1] 某些编译器的最新版本可能不需要

关于c++ - Phoenix::bind for C++11 lambdas in boost::spirit::qi 语义 Action ，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/19923119/