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++中的參考文獻的通用生命週期擴展。它提供了一些簡單的應用程序，例如Boost Range適配器的一些很好的例子，這些適配器在當前的C++中靜靜地UB。例如。從§2開始。3環球觀察：

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

---

解決方案

這就是說，由於繼承的說法將是一個仿函數（不是一個懶惰的演員），你需要將其綁定：

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

這確實有效：Live On Coliru

Howev呃，我不推薦這個