c++ - 确保 std::bind 提供正确数量的参数

Question

更改std::function 的签名后，我想知道编译器没有提示我还没有更改的函数签名。

基本上，我的代码如下所示:

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

class CallbackCaller
{
public:
    typedef std::function<void (unsigned, int)> CallbackFunction;

    void registerCallbackFunction(CallbackFunction cb_function)
    {
        callback_functions_.push_back(cb_function);
    }

    void callThemAll()
    {
        for (CallbackFunction &cb_function : callback_functions_)
            cb_function(5, -3);
    }

private:
    std::vector<CallbackFunction> callback_functions_;
};

class CallbackHandler
{
public:
    CallbackHandler(CallbackCaller &callback_caller)
    {
        callback_caller.registerCallbackFunction(std::bind(&CallbackHandler::f1, this, std::placeholders::_1)); // !!!
        callback_caller.registerCallbackFunction(std::bind(&CallbackHandler::f2, this, std::placeholders::_1, std::placeholders::_2));
    }

private:
    void f1(unsigned x)
    {
        std::cout << "f1: " << x << std::endl;
    }

    void f2(unsigned x, int y)
    {
        std::cout << "f2: " << x << ", " << y << std::endl;
    }
};

int main()
{
    CallbackCaller callback_caller;
    CallbackHandler callback_handler(callback_caller);
    callback_caller.callThemAll();
    return 0;
}

为什么 registerCallbackFunction 接受 f1，即使它的签名不匹配？有没有办法让这段代码编译失败？

Answer 1

std::bind 没有预知它将存储在期望特定事物的 std::function 中的事实。它只知道给它的成员函数的签名。因此，它需要您绑定(bind) this 和一个占位符。

之后它仅仅提供了一个带有模板化可变函数调用运算符的函数对象。所述函数调用运算符具有接受任意数量的参数的属性，并且不使用任何多余的参数。它不会提示，它会简单地评估然后继续忽略它不需要的东西。同样，它只需要一个参数。

std::function 依次检查它被赋予的仿函数是否可以用 2 个参数调用。模板化函数调用运算符可以做到这一点。它接受第二个参数，然后丢弃它。完全合法。

std::bind 的更好替代方案是通用 lambda:

//callback_caller.registerCallbackFunction([this](auto&& ...x) {f1(std::forward<decltype(x)>(x)...);}); // !!!
callback_caller.registerCallbackFunction([this](auto&& ...x) {f2(std::forward<decltype(x)>(x)...);});

现在进行的类型删除要少得多，提供给 lambda 的参数数量必须与 f1 和 f2 预期的参数数量相匹配，否则会有是一个错误。

自 C++14 以来，std::bind 的用例几乎不存在。