将函数对象传递给 std::function

Question

我在使用函数对象创建 std::function 实例时遇到了一些麻烦。（我的环境是使用 Visual Studio 2015 的 C++ 11。）

首先，我有一个在我的函数对象的参数列表中使用的类。这是一个简化版本，说明了要点。

class X
{
public:
    void zz(int a) const
    {
        std::cout << "X:zz, a = " << a << "." << std::endl;
    }
};

然后是函数对象，它在其 operator() 方法中使用 X。

class Y
{
public:
    void operator()(const X& x)
    {
        x.zz(17);
    }
};

现在，我想将 Y 的实例包装在 std::function 中。函数的类型是 void(const X&)，一个以对 X 的 const 引用作为参数的 void 函数。方法 Y:operator() 具有此签名。

void test_it
{
    X my_x;

    Y my_y;
    std::function<void(const X&)> f1(my_y);
    f1(my_x); // OK

    std::function<void(const X&)> f2(Y());
    f2(my_x); // cannot convert argument 1 from X to Y

    std::function<void(const X&)> f3(Y);
    f3(my_x); // cannot convert argument 1 from X to Y

    std::function<void(const X&)> f4(Y{});
    f4(my_x); // OK
}

第一个示例 f1 创建 Y 的实例 my_y，并使用此实例创建 f1。这工作正常。（Y 的内容被移动到 std::function 构造函数中的 std::function 中。）

第二次尝试 f2 在 f2 的构造函数中构造 Y 的实例。当我尝试使用 f2(my_x) 调用它时，编译器抱怨它无法将参数 1 (my_x) 从 X 转换为 Y。

第三次尝试，f3，我只是在 f3 的 std::function 构造中命名函数对象类，失败的方式与 f2 相同。

最后， f4 工作。在这一个中，我使用一个空的初始化列表构造函数对象 Y。

也许有一个简单的解释，但我不明白为什么其中两个用例不能编译。特别是使用 Y() 的 f2 和使用 Y{} 的 f4，在我看来几乎完全相同。

Answer 1

对于第二种情况，表达式Y()试图定义一个返回 aY且不带参数的函数，并将该函数作为参数传递。这被称为最令人头疼的解析。

对于第三种情况，您不能给出类型而不是函数参数。

通过默认正确的方式构建的实例Y来std::function是4的情况下。