2

我正在尝试创建一个函数，该函数将任意函子应用于F提供的元组的每个元素：

#include <functional>
#include <tuple>

// apply a functor to every element of a tuple
namespace Detail {

template <std::size_t i, typename Tuple, typename F>
typename std::enable_if<i != std::tuple_size<Tuple>::value>::type
ForEachTupleImpl(Tuple& t, F& f)
{
    f(std::get<i>(t));
    ForEachTupleImpl<i+1>(t, f);
}

template <std::size_t i, typename Tuple, typename F>
typename std::enable_if<i == std::tuple_size<Tuple>::value>::type
ForEachTupleImpl(Tuple& t, F& f)
{
}

}

template <typename Tuple, typename F>
void ForEachTuple(Tuple& t, F& f)
{
    Detail::ForEachTupleImpl<0>(t, f);
}

struct A
{
    A() : a(0) {}
    A(A& a) = delete;
    A(const A& a) = delete;

    int a;
};

int main()
{
    // create a tuple of types and initialise them with zeros
    using T = std::tuple<A, A, A>;
    T t;

    // creator a simple function object that increments the objects member
    struct F
    {
        void operator()(A& a) const { a.a++; }
    } f;

    // if this works I should end up with a tuple of A's with members equal to 1
    ForEachTuple(t, f);
    return 0;
}

实时代码示例：http: //ideone.com/b8nLCy

我不想创建副本，A因为它可能很昂贵（在这个例子中显然不是）所以我删除了复制构造函数。当我运行上述程序时，我得到：

/usr/include/c++/4.8/tuple:134:25: error: use of deleted function ‘A::A(const A&)’
       : _M_head_impl(__h) { }

我知道构造函数已被删除（这是故意的），但我不明白为什么它试图复制我的结构。为什么会发生这种情况，我怎样才能在不复制的情况下实现这一点A？

4

2 回答 2

8

这是您收到“已删除构造函数”错误的问题：

std::function<void(A)> f = [](A& a) { a.a++; };

您正在尝试设置一个通过值std::function传递的。A但是A，没有复制构造函数，不能按值传递。

尝试更仔细地匹配实际参数类型：

std::function<void(A&)> f = [](A& a) { a.a++; };

但是由于您没有捕获变量，因此您可以简单地尝试

void(*f)(A&) = [](A& a) { a.a++; };

您的模板递归的基本情况也有一个主要问题：即使您开始enable_if工作，但似乎没有，您也会有一个模棱两可的电话。我认为您还需要禁用主要案例。

于 2014-11-05T04:12:12.197 回答
0

当实例化具有采用按值std::function<void(A)>的签名的函数时，将被实例化。A要合成此函数定义，需要复制或移动A。由于A不可复制但不可移动，因此不存在这样的构造函数。

当然，还有这么搞笑的事情：

T t();

它声明了一个函数返回一个T需要副本的值。调用ForEachTuple(t, f)此函数时会被引用和实例化。您可能希望将此声明替换为以下之一

T t;
T t{};

（在上面的答案中，我只看了我发现的第一个问题）。

于 2014-11-05T04:13:42.610 回答