15

Boost.Spirit.Qiに、実行時に任意の数のルールを動的に組み合わせる方法があるかどうか疑問に思いました。Boost.Spiritの内部動作はまだ私には少し謎ですが、ルールはオブジェクトとして実装されているため、実行可能のようです。私の動機は、文法の特定の部分を簡単に拡張できるようにすることです。

次の不自然な例を考えてみましょう。

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

typedef std::string::const_iterator iterator_t;

template<typename Expr>
inline bool parse_full(const std::string& input, const Expr& expr)
{
    iterator_t first(input.begin()), last(input.end());

    bool result = qi::phrase_parse(first, last, expr, boost::spirit::ascii::space);

    return first == input.end() && result;
}

void no_op() {}

int main(int argc, char *argv[]) 
{
    int attr = -1;

    // "Static" version - Works fine!
    /*
    qi::rule<iterator_t, void(int&)> grammar;

    qi::rule<iterator_t, void(int&)> ruleA = qi::char_('a')[qi::_r1 = px::val(0)];
    qi::rule<iterator_t, void(int&)> ruleB = qi::char_('b')[qi::_r1 = px::val(1)];
    qi::rule<iterator_t, void(int&)> ruleC = qi::char_('c')[qi::_r1 = px::val(2)];

    grammar = 
        ruleA(qi::_r1) | //[no_op]
        ruleB(qi::_r1) | //[no_op]
        ruleC(qi::_r1);  //[no_op]
    */

    // "Dynamic" version - Does not compile! :(

    std::vector<qi::rule<iterator_t, void(int&)>> rules;

    rules.push_back(qi::char_('a')[qi::_r1 = px::val(0)]);
    rules.push_back(qi::char_('b')[qi::_r1 = px::val(1)]);
    rules.push_back(qi::char_('c')[qi::_r1 = px::val(2)]);

    std::vector<qi::rule<iterator_t, void(int&)>>::iterator i(rules.begin()), last(rules.end());

    qi::rule<iterator_t, void(int&)> grammar;

    grammar = (*i)(qi::_r1);

    for(++i; i!=last; ++i)
    {
        grammar = grammar.copy() | (*i)(qi::_r1);
    }

    // Tests

    if(parse_full("a", grammar(px::ref(attr)))) std::cout << attr << std::endl;
    if(parse_full("b", grammar(px::ref(attr)))) std::cout << attr << std::endl;
    if(parse_full("c", grammar(px::ref(attr)))) std::cout << attr << std::endl;

    std::cin.ignore(std::numeric_limits<std::streamsize>::max(), '\n');

    return 0;
}

VisualStudio2010で発生するエラーは次のとおりです。

error C2440: 'initializing' : cannot convert from 'boost::fusion::void_' to 'int &'

私の疑いは、これは継承された属性をに渡さなかったことが原因であると考えられgrammar.copy()ます。残念ながら、これを行う簡単な方法が見つからなかったため、回避策を選択しました。その結果、最後のバージョンが1つあります（これまで立ち往生していた人にはもう感謝したいと思います！）。これは実際に機能しているようです：

    // "Dynamic" version - Kind of works! :-/

    std::vector<qi::rule<iterator_t, void(int&)>> rules;

    rules.push_back(qi::char_('a')[qi::_r1 = px::val(0)]);
    rules.push_back(qi::char_('b')[qi::_r1 = px::val(1)]);
    rules.push_back(qi::char_('c')[qi::_r1 = px::val(2)]);

    std::vector<qi::rule<iterator_t, void(int&)>>::iterator i(rules.begin()), last(rules.end());

    qi::rule<iterator_t, int()> temp;

    temp = (*i)(qi::_val); //[no_op]

    for(++i; i!=last; ++i)
    {
        temp = temp.copy() | (*i)(qi::_val); //[no_op]
    }

    qi::rule<iterator_t, void(int&)> grammar;

    grammar = temp[qi::_r1 = qi::_1];

ただし、単純なセマンティックアクション（ "[no_op]"など）をアタッチすると、動作が非常に奇妙になります。以前のように0,1,2を印刷するのではなく、0,0,2を印刷します。だから私は疑問に思っています、私が達成しようとしていることは未定義の動作をもたらしますか？これはバグですか？または、おそらく、私は何か（セマンティックアクションなど）を間違った方法で使用しているだけですか？

4

1 に答える 1

7

はい、内部でどのように機能するかを本当に理解することはできませんが、forループ内のすべてのルール（左側のルールのみ）をコピーしていないため、これは機能しているようです。

std::vector<qi::rule<iterator_t, void(int&)>> rules;

rules.push_back(qi::char_('a')[qi::_r1 = px::val(0)]);
rules.push_back(qi::char_('b')[qi::_r1 = px::val(1)]);
rules.push_back(qi::char_('c')[qi::_r1 = px::val(2)]);

std::vector<qi::rule<iterator_t, void(int&)>>::iterator
 i(rules.begin()), last(rules.end());

qi::rule<iterator_t, int()> temp;

for(; i!=last; ++i)
{
qi::rule<iterator_t, int()> tmp = (*i)(qi::_val)[no_op];

    temp = temp.copy() | tmp.copy();
}

qi::rule<iterator_t, void(int&)> grammar;

grammar = temp[qi::_r1 = qi::_1];

// Tests

int intres1;
int intres2;
int intres3;

bool res1 = parse_full("a", grammar(px::ref(intres1)) );
bool res2 = parse_full("b", grammar(px::ref(intres2)) );
bool res3 = parse_full("c", grammar(px::ref(intres3)) );
于 2011-07-06T02:32:07.927 に答える