4 
// ... snipped includes for iostream and fusion ...
namespace fusion = boost::fusion;

class Base
{
protected: int x;
public: Base() : x(0) {}
    void chug() { 
        x++;
        cout << "I'm a base.. x is now " << x << endl;
    }
};

class Alpha : public Base
{
public:
    void chug() { 
        x += 2;
        cout << "Hi, I'm an alpha, x is now " << x << endl;
    }
};

class Bravo : public Base
{
public:
    void chug() { 
        x += 3;
        cout << "Hello, I'm a bravo; x is now " << x << endl; 
    }
};

struct chug {
    template<typename T>
    void operator()(T& t) const
    {
        t->chug();
    }
};

int main()
{
    typedef fusion::vector<Base*, Alpha*, Bravo*, Base*> Stuff;
    Stuff stuff(new Base, new Alpha, new Bravo, new Base);

    fusion::for_each(stuff, chug());     // Mutates each element in stuff as expected

    /* Output:
       I'm a base.. x is now 1
       Hi, I'm an alpha, x is now 2
       Hello, I'm a bravo; x is now 3
       I'm a base.. x is now 1
    */

    cout << endl;

    // If I don't put 'const' in front of Stuff...
    typedef fusion::result_of::push_back<const Stuff, Alpha*>::type NewStuff;

    // ... then this complains because it wants stuff to be const:
    NewStuff newStuff = fusion::push_back(stuff, new Alpha);

    // ... But since stuff is now const, I can no longer mutate its elements :(
    fusion::for_each(newStuff, chug());

    return 0;
};

如何让 for_each(newStuff, chug()) 工作？

（注意：我只是从关于 boost::fusion 的过于简短的文档中假设我应该在每次调用 push_back 时创建一个新向量。）

4

1 回答 1

1

（注意：我只是从关于 boost::fusion 的过于简短的文档中假设我应该在每次调用 push_back 时创建一个新向量。）

你不是在创建一个新的向量。push_back返回扩展序列的延迟评估视图。如果你想创建一个新的向量，那么typedef NewStuff例如

typedef fusion::vector<Base*, Alpha*, Bravo*, Base*, Alpha*> NewStuff;

然后你的程序就可以工作了。

顺便说一句，融合是一个非常实用的设计。我认为如果您存储实际对象而不是指针和 used 会更像融合transform。然后将chug逻辑从类中移出到每个类型struct chug都有适当operator()的 's 中。那时不必创建新的向量，您可以使用延迟评估的视图。

于 2010-05-15T20:57:53.023 回答