std :: function和std :: bind行为

Question

我有这个代码：

#include <iostream>
#include <functional>
#include <vector>

void fun()
{
    std::cout<<"fun";
}

void gun(int)
{
    std::cout<<"gun";
}

int main()
{
    std::vector<std::function<void(int)>> vec;

    vec.push_back(std::bind(fun));
    vec.push_back(gun);

    vec[0](1);
    vec[1](2);
}

你能解释一下std::bind在绑定void()函数时如何返回std::function<void(int)> ？

如何使用void(int)函数调用void()函数？

Answer 1

作为function的模板参数传递的签名仅确定将绑定多少个占位符（ _1 ）以及哪些类型。

实际函数的调用仅使用绑定函数实际需要的参数数量。 实际上，忽略了多余的参数。

另一个更具启发性（？）的例子，从另一方面看这个：

#include <iostream>
#include <functional>

void gun(int i)
{
    std::cout<<"gun("<<i<<")";
}

int main()
{
    using namespace std::placeholders;
    std::bind(gun, _5)("ignore", 3, "and", 4, 43);
}

打印

gun(43)

Answer 2

如何使用void(int)函数调用void()函数？

std::bind(fun)不返回void()函数，它返回一个未指定类型的调用包装器。

调用该调用包装器的常用方法是使用零参数，但在大多数bind()实现中，可以使用零个或多个参数调用该类型，并忽略其他参数（即不传递给目标函数）

更一般地，对于带有N参数的函数F ， bind(F)返回一个可以用N或更多个参数调用的调用包装器。 如果绑定参数或使用占位符，则它将更改调用调用包装器所需的最小参数数。