c++ - 为什么“boost::function = boost::bind(...)”会创建 13 个临时对象？

Question

我有一些非常基本的测试代码。我有一个只记录所有操作的类。我将它绑定到这样的boost::function对象：

    void Function(const Foo&)
    {
        printf("Function invoked\n");
    }

    // ...

    boost::function<void(void)> func;
    {
        Foo f;
        printf("\nConstructing function\n");
        func = boost::bind(&Function, f);
        printf("Construction complete\n\n");
    }

我希望函数对象包含f. 因此，必须创建至少一个副本。但是，我发现我得到了13 个临时对象。输出是：

Constructing function
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::~Foo
Foo::Foo(const Foo&)
Foo::~Foo
Foo::~Foo
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::Foo(const Foo&)
Foo::~Foo
Foo::~Foo
Foo::~Foo
Foo::~Foo
Foo::~Foo
Foo::Foo(const Foo&)
Foo::~Foo
Foo::Foo(const Foo&)
Foo::~Foo
Foo::~Foo
Foo::~Foo
Foo::~Foo
Construction complete

我不能使用ref或者cref因为我确实需要它来制作对象的副本。我做错了什么可怕的事情吗？或者我是否需要使用包装器（如boost::shared_ptr）来避免荒谬的副本数量？

完整的代码和问题演示可以在 Codepad上找到。

Answer 1

如果您删除“func =”分配部分，则副本数将降低到 4，这比 13 好得多。

template <class F>
void callF(F fun)
{
}
callF(boost::bind(&func, fl));

所以解决方案很简单——不要使用 boost::function