Духовная карма: доступ к некопируемому указателю
Я пытаюсь получить доступ к вектору указателей в моей грамматике кармы с небольшим успехом. Тип указателя не может быть скопирован, поэтому правило, использующее его, должно иметь ссылку:
#include <boost/spirit/include/karma.hpp>
#include <boost/fusion/adapted/struct/adapt_struct.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
namespace karma = boost::spirit::karma;
namespace fusion = boost::fusion;
namespace phx = boost::phoenix;
struct test1 : boost::noncopyable {
test1(int i = 0) : value(i) {}
int value;
};
struct test2 : boost::noncopyable {
int value;
std::vector<test1*> vector;
};
BOOST_FUSION_ADAPT_STRUCT( test1, (int, value) );
BOOST_FUSION_ADAPT_STRUCT( test2, (int, value) (std::vector<test1*>, vector) );
typedef std::ostream_iterator<char> Iterator;
int main() {
karma::rule<Iterator, test1*()> t1r;
karma::rule<Iterator, test2&()> t2r;
t2r %= "test 2 rule:" << karma::int_ << karma::eol << (t1r % karma::eol);
t1r %= "test 1 rule: " << karma::int_;
std::stringstream stream;
std::ostream_iterator<char> out(stream);
test2 t;
t.vector.push_back(new test1(2));
t.vector.push_back(new test1(3));
t.vector.push_back(new test1(4));
t.vector.push_back(new test1(5));
t.value = 1;
karma::generate(out, t2r, t);
std::cout<<stream.str()<<std::endl;
}
Это компилируется, но возвращается: правило 2 теста: 1, правило 1 теста: 25104656, правило 1 теста: 25104720 и так далее. Я знаю, что в этом простом случае я мог бы сделать
t1r = "test 1 rule: " << karma::int_[karma::_1 = phx::bind(&test1::value, *karma::_val)];
чтобы решить это, но на самом деле значение это другой не копируемый тип, который должен быть передан в грамматику, и поэтому мне нужно использовать адаптацию структуры, как это сделано в примере.
Я также знаю о точке custimisation deref_iterator, как упомянуто Вот , Тем не менее, я работаю с библиотекой шаблонов и не думаю, что можно специализировать deref_iterator с типом, зависящим от шаблона.
Любые идеи о том, как заставить пример работать?
Решение
llonesmiz ответил на мой вопрос в комментариях, поэтому я публикую его внутренности для будущих ссылок. Использование точки настройки атрибут преобразования проблема может быть решена так:
#include <boost/spirit/include/karma.hpp>
#include <boost/fusion/adapted/struct/adapt_struct.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
namespace karma = boost::spirit::karma;
namespace fusion = boost::fusion;
namespace phx = boost::phoenix;
template <typename Value1, typename Value2>
struct test1 : boost::noncopyable {
test1(Value1 i = Value1(), Value2 j = Value2() ): value1(i),value2(j) {}
Value1 value1;
Value2 value2;
};
struct test2 : boost::noncopyable {
int value;
std::vector<test1<int,double>*> vector;
};
BOOST_FUSION_ADAPT_TPL_STRUCT(
(Value1)(Value2),
(test1) (Value1)(Value2),
(Value1, value1)
(Value2, value2))
typedef std::vector<test1<int,double>*> test1_vector;
BOOST_FUSION_ADAPT_STRUCT( test2, (int, value) (test1_vector, vector) )
typedef std::ostream_iterator<char> Iterator;
namespace boost { namespace spirit { namespace traits
{
template <typename Value1, typename Value2>
struct transform_attribute<test1<Value1,Value2>* const, test1<Value1,Value2>&, karma::domain>
{
typedef test1<Value1,Value2>& type;
static type pre(test1<Value1,Value2>* const& val)
{
return *val;
}
};
}}}
int main() {
karma::rule<Iterator, test1<int,double>*()> t1r;
karma::rule<Iterator, test2&()> t2r;
t2r %= "test 2 rule:" << karma::int_ << karma::eol << (t1r % karma::eol);
t1r %= "test 1 rule: " << karma::attr_cast<test1<int,double>*,test1<int,double>&>(karma::delimit(karma::space)[karma::int_<< karma::double_]);
std::stringstream stream;
std::ostream_iterator<char> out(stream);
test2 t;
t.vector.push_back(new test1<int,double>(2));
t.vector.push_back(new test1<int,double>(3));
t.vector.push_back(new test1<int,double>(4));
t.vector.push_back(new test1<int,double>(5));
t.value = 1;
karma::generate(out, t2r, t);
std::cout<<stream.str()<<std::endl;
}
Другие решения
Других решений пока нет …