Boost::spirit 在继承的属性中传递语义动作

Question

我试图在语法的继承参数中传递语义动作。

在下面的非常基本的示例中，语法解析两个数字，我将语义操作（以 c++ lambda 的形式）传递给它，我希望在解析第一个数字时调用此操作。但是它没有调用，而是默默地忽略了，我想知道为什么会这样以及做这些事情的正确方法是什么。

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

using namespace std;
using namespace boost;

namespace qi = spirit::qi;
namespace phx = phoenix;

template <typename Iterator, typename Action>
struct two_numbers : qi::grammar<Iterator, void (Action const&)>
{
  two_numbers() : two_numbers::base_type(start)
  {
    using namespace qi;
    start = int_ [ _r1 ] >> ' ' >> int_;
  }
  qi::rule<Iterator, void (Action const&)> start;
};

int main ()
{
  string input { "42 21" };
  auto first=std::begin (input), last=std::end(input);

  static const auto my_action = [] (auto&& p) {
    cout << "the meaning of life is " << p << "\n";
  };

  static const two_numbers <decltype(first), decltype (my_action)> p;

  if (qi::parse (first, last, p(phx::ref(my_action))))
    cout << "parse ok\n";
}

预期的输出是：

the meaning of life is 42
parse ok

而真正的输出是：

parse ok

Answer 1

首先，立即响应：

“我试图在语法的继承参数中传递语义动作。”

瞬间创伤性休克。你……你……什么？！

C++ 不太适合高阶编程，当然也不适用于基于表达式模板的静态多态性。事实上确实如此，但在我之前的回答中，我已经警告过在命名对象（≅ 变量）中存储表达式模板时要注意 UB。

你发现的那个时候是UB。在我看来，这很幸运。

最近，我已经遇到了另一个关于类似目标的问题：

• Constructing a qi::rule with a function attribute

特别注意评论线程。我不认为这是一条理智的道路，至少在 Boost Mpl 完成了完整的 C++11 之后（Boost Hana，也许？）并发布了Proto-0x。

到那时，Spirit X3 大概已经成熟了，我们只剩下 Boost Phoenix 的差距了。我不确定这是否在任何人的议程上。

简而言之：我们将被困在这个“半途而废”的土地上，在那里我们可以拥有美好的事物，但受到一些非常有限的限制。我们可能应该避免得意忘形，假装我们突然能够用 C++ 编写 Haskell。

同样相关：有一个提案 (N4221, pdf) 用于 C++ 中引用的通用生命周期扩展。它附带了一些简单应用的好例子，比如在当前 C++ 中默默 UB 的 Boost Range 适配器。例如。来自§2.3 普遍观察：

std::vector<int> vec;
for (int val : vec | boost::adaptors::reversed
                   | boost::adaptors::uniqued) 
{
       // Error: result of (vec | boost::adaptors::reversed) died.
}

---

解决方案

也就是说，由于继承的参数是一个仿函数（不是一个惰性actor），你需要绑定它：

    start = int_ [ phx::bind(phx::cref(_r1), qi::_1) ] >> ' ' >> int_;

确实有效：Live On Coliru

但是，我不推荐这个