使用业力生成器避免属性复制

Question

我正在使用 业力生成大型结构的表示，但结构在生成过程中被复制。我不认为它们需要如此，所以想知道如何避免它。

下面的快速示例打印“Copy！”，因为目标结构是在 rule::generate 中复制的：

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

struct foo
{
    foo() { }
    foo( foo const &other ) { std::cout << "Copy!"; }
    int f() const { return 42; }
};

std::string output;
typedef std::back_insert_iterator< std::string > iterator;
karma::rule< iterator, foo() > foo_rule = 
    karma::int_[ karma::_1 = phoenix::bind( &foo::f, karma::_val ) ];
foo my_foo;
iterator it( output );
karma::generate( it, foo_rule, my_foo );

我可以通过引用声明 foo_rule 的属性来停止复制：

karma::rule< iterator, foo &() > foo_rule

但这不适用于向量[显然 foo 因此是可复制的，但在向量构造时复制可能很便宜，但在生成时复制则昂贵:-)]

下面的示例打印'复制！'生成期间五次（即在向量构造期间忽略副本）；如果 foo_rule 的属性不是引用，则执行 10 次：

std::vector<foo> my_vec_foo(5);
karma::rule< iterator, std::vector<foo>() > vec_foo_rule = *foo_rule;
karma::generate(it, vec_foo_rule, my_vec_foo);

让两个规则都采用引用不会在 VC 2008 上使用 Boost 1.47 进行编译。也就是说，使用：

karma::rule< iterator, foo &() > foo_rule /* = ... */;
karma::rule< iterator, std::vector<foo> &() > vec_foo_rule /* = ... */;

我得到 extract_from_container 使用 Attribute = std::vector 和 Exposed=std::vector实例化&。在 extract_from.hpp 的第 131 行，它尝试形成 Exposed const & 并且编译器在创建引用到引用时失败。

我觉得我错过了一些东西，所以任何指示将不胜感激！

Answer 1

我相信你已经尝试过，但我还是要说。您是否尝试过如下操作：

std::vector<foo> my_vec_foo(5);
karma::rule< iterator, std::vector<foo>&() > vec_foo_rule = *foo_rule;
karma::generate(it, vec_foo_rule, my_vec_foo);

更新我刚刚使用下面的代码片段（g++ 4.6 with Boost 1.47.0）对其进行了测试。它证实了上述工作。然而，存在混淆的空间，因为 std::vectormy_vec_foo(5) 还将显示正在制作 5 个副本。请参阅代码中的 BIG LETTER 警告和输出：

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

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

struct foo
{
    foo() { }
    foo( foo const &other ) { std::cerr << "Copy!\n"; }
    int f() const { return 42; }
};

int main()
{
    std::string output;
    typedef std::back_insert_iterator< std::string > iterator;
    iterator it( output );
    karma::rule< iterator, foo&() > foo_rule = 
        karma::int_[ karma::_1 = phoenix::bind( &foo::f, karma::_val ) ];

    foo my_foo;
    karma::generate( it, foo_rule, my_foo );

    std::vector<foo> my_vec_foo(5);

    std::cerr << "\nSTART WATCHING NOW" << std::endl;

    karma::rule< iterator, std::vector<foo>&() > vec_foo_rule = *foo_rule;
    karma::generate(it, vec_foo_rule, my_vec_foo);
}

输出：

Copy!
Copy!
Copy!
Copy!
Copy!

START WATCHING NOW