передать атрибут дочернего правила в духе буста

Отвечая на ваш отредактированный вопрос: Да, вы можете сделать это без семантических действий, просто:

template<typename It>
struct Parser : qi::grammar<It, Matrix(), qi::space_type>
{
Parser() : Parser::base_type(matrix_)
{
matrixBlock_ = qi::lit(";") >> *qi::int_;
matrix_      = qi::repeat(3)[ matrixBlock_ ];
}
qi::rule<It, Matrix(), qi::space_type> matrixBlock_, matrix_;
};

Обратите внимание, что вы может хочу проверить количество строк / столбцов. Смотрите мой расширенный образец, который использует дополнительное семантическое действие, чтобы проверить это (обратите внимание на тонкое изменение от *int_ в +int_ чтобы избежать пустых строк):

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

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

typedef std::vector<int> Matrix;

template<typename It>
struct Parser : qi::grammar<It, Matrix(), qi::space_type>
{
Parser() : Parser::base_type(matrix_)
{
using namespace qi;
matrixBlock_ = lit(";") >> +int_ >> eps( 0 == (phx::size(_val) % 3));
matrix_      = repeat(3)[ matrixBlock_ ];
}
qi::rule<It, Matrix(), qi::space_type> matrixBlock_, matrix_;
};

int main()
{
std::string test = ";42 45 -9; 3 2 1; 12 34 56";

std::string::const_iterator f(test.begin()), l(test.end());

Parser<std::string::const_iterator> parser;
Matrix m;

if (qi::phrase_parse(f,l,parser,qi::space, m))
std::cout << "Wokay\n";
else
std::cerr << "Uhoh\n";

std::cout << karma::format(karma::auto_ % ", ", m) << "\n";
}

Старый ответ:

Да, вы можете использовать Дух точки настройки рассматривать ваш пользовательский тип как контейнер. Запись документации, которую я бы предложил для этого, находится здесь:

• http://www.boost.org/doc/libs/1_51_0/libs/spirit/doc/html/spirit/advanced/customize/is_container.html

Вот простой пример, показывающий, как его использовать, live:

• http://liveworkspace.org/code/2d708ecb64ad6fbf9708c203f26965ce

Примечание в отношении «фантомных записей» в целом:

Обратите внимание, что есть несколько часто задаваемых вопросов, связанных с грамматикой возврата и атрибутами контейнера. Дело в том, что по соображениям производительности парсеры не будут отменять («откатывать») изменения своих базовых контейнеров при возврате. Вы можете заставить это поведение, используя qi::hold но это может стоить усилий, чтобы изменить грамматику либо

• избегать возврата или
• зафиксировать атрибут на более поздней стадии (используя семантические действия)

Полный пример кода:

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

namespace qi = boost::spirit::qi;
namespace karma = boost::spirit::karma;

struct Matrix
{
std::vector<int> data;
};

namespace boost { namespace spirit { namespace traits {
template <>
struct is_container<Matrix>
{
};

template <typename Attrib>
struct push_back_container<Matrix, Attrib>
{
static bool call(Matrix& c, Attrib const& val)
{
c.data.push_back(val);
return true;
}
};

template <>
struct container_value<Matrix>
{
typedef int type;
};
} } }

template<typename It>
struct Parser : qi::grammar<It, Matrix(), qi::space_type>
{
Parser() : Parser::base_type(start)
{
start = *qi::int_;
}
qi::rule<It, Matrix(), qi::space_type> start;
};

int main()
{
std::string test = "42 45 -9";

std::string::const_iterator f(test.begin()),
l(test.end());

Parser<std::string::const_iterator> parser;
Matrix m;

if (qi::phrase_parse(f,l,parser,qi::space, m))
std::cout << "Wokay\n";
else
std::cerr << "Uhoh\n";

std::cout << karma::format(karma::auto_ % ", ", m.data) << "\n";
}

Выход:

Wokay
42, 45, -9

Обновить

Немного больше предыстории:

Конечно, для такого простого примера, как этот, который просто оборачивает стандартный поддерживаемый тип контейнера, было бы довольно легко использовать fusion приспособление вместо: ( http://liveworkspace.org/code/56aea8619867451a21cd49fddb1e93bd )

#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/karma.hpp>
#include <boost/fusion/adapted/struct.hpp>

namespace qi = boost::spirit::qi;
namespace karma = boost::spirit::karma;

struct Matrix { std::vector<int> data; };
BOOST_FUSION_ADAPT_STRUCT(Matrix, (std::vector<int>, data));

int main()
{
std::string test = "42 45 -9";
std::string::const_iterator f(test.begin()), l(test.end());

Matrix m;
if (qi::phrase_parse(f,l, qi::eps >> *qi::int_, qi::space, m))
std::cout << karma::format(karma::auto_ % ", ", m.data) << "\n";
}

Обратите внимание, что qi::eps необходим из-за ошибки (AFAICT) со структурами, которые содержат только один элемент данных. Смотрите, например обсуждение здесь (и некоторые другие упоминания)