Question

我正在创建一个作业队列。作业将在线程A中创建，然后作业将发送到线程B，线程B将完成作业。作业完成后，作业将被发送回主题A.

#include <functional>
#include <iostream>
#include <memory>

using namespace std;

template<typename T, typename... Args>
class Job
{
    public:
        Job(std::weak_ptr<T> &&wp, std::function<void(const Args&...)> &&cb)
            : _cb(std::move(cb)), 
              _cbWithArgs(), 
              _owner(std::move(wp)) {}

    public:
        template<typename... RfTs>
        void bind(RfTs&&... args)
        {
            // bind will copy args for three times.
            _cbWithArgs = std::bind(_cb, std::forward<RfTs>(args)...);
        }

        void fire()
        {
            auto sp = _owner.lock();
            if (sp)
            {
                _cbWithArgs();
            }
        }

    private:
        std::function<void(const Args& ...)> _cb;
        std::function<void()> _cbWithArgs;
        std::weak_ptr<T> _owner;
};

struct Args
{
    Args() = default;
    Args(const Args &args)
    {
        cout << "Copied" << endl;
    }
};

struct Foo
{
    void show(const Args &)
    {
        cout << "Foo" << endl;
    }
};

int main()
{
    using namespace std::placeholders;

    shared_ptr<Foo> sf (new Foo());
    Args args;

    // Let's say here thread A created the job.
    Job<Foo, Args> job(sf, std::bind(&Foo::show, sf.get(), _1));

    // Here thread B has finished the job and bind the result to the
    // job. 
    job.bind(args);

    // Here, thread A will check the result.
    job.fire();
}

以上代码编译和工作。但它给出了以下结果（g ++ 4.8.4＆amp; clang具有相同的结果）：

Copied
Copied
Copied
Foo

有三份副本！不能接受，我不知道我做错了什么。为什么三份？我用谷歌搜索并从这里找到一种方法：https://stackoverflow.com/a/16868401，它只能复制params一次。但它必须在构造函数中初始化绑定函数。

谢谢，Piotr Skotnicki。不幸的是，我没有C ++ 14编译器。所以，让我们让Args移动：

struct Args
{
    Args() = default;
    Args(const Args &args)
    {
        cout << "Copied" << endl;
    }
    Args(Args &&) = default;
    Args& operator=(Args &&) = default;
};

现在，它只复制了一次：）

最后，我采用了这个帖子https://stackoverflow.com/a/16868151/5459549中的代码。模板gen_seq是真正的ART，我必须说。

Answer 1

第一个副本由std::bind本身制作：

std::bind(_cb, std::forward<RfTs>(args)...)

因为它需要存储其参数的衰减副本。

另外两个副本是由_cbWithArgs赋值std::function（第20.8.11.2.1节[func.wrap.func.con]）：

template<class F> function& operator=(F&& f);
¹⁸ 效果： function(std::forward<F>(f)).swap(*this);

其中：

template<class F> function(F f);
⁹ [...] *this定位f初始化为std::move(f)的副本。

即构造函数参数的一个副本，另一个副本用于存储参数f。

由于Args是不可移动的类型，因此从调用std::bind的调用结果的尝试会回退到副本。

在您的代码中将作业执行结果存储在std::function中似乎不合理。相反，您可以将这些值存储在元组中：

template <typename T, typename... Args>
class Job
{
public:
    Job(std::weak_ptr<T> wp, std::function<void(const Args&...)> &&cb)
        : _cb(std::move(cb)), 
          _owner(wp) {}

public:
    template<typename... RfTs>
    void bind(RfTs&&... args)
    {
        _args = std::forward_as_tuple(std::forward<RfTs>(args)...);
    }

    void fire()
    {
        auto sp = _owner.lock();
        if (sp)
        {
            apply(std::index_sequence_for<Args...>{});
        }
    }

private:    
    template <std::size_t... Is>
    void apply(std::index_sequence<Is...>)
    {
        _cb(std::get<Is>(_args)...);
    }

    std::function<void(const Args&...)> _cb;
    std::weak_ptr<T> _owner;
    std::tuple<Args...> _args;
};

DEMO

绑定可变参数模板参数时出现的副本太多

1 个答案: