如何正确检查std :: function在C ++ 11中是否为空？

我想知道如何正确检查an std::function是否为空。考虑以下示例：

class Test {
    std::function<void(int a)> eventFunc;

    void registerEvent(std::function<void(int a)> e) {
        eventFunc = e;
    }

    void doSomething() {
        ...
        eventFunc(42);
    }
};

这段代码在MSVC中可以很好地编译，但是如果我doSomething()不初始化就调用eventFunc该代码，则显然会崩溃。这是预期的，但我想知道的价值是eventFunc什么？调试器说'empty'。所以我用简单的if语句解决了这个问题：

   void doSomething() {
        ...
        if (eventFunc) {
            eventFunc(42);
        }
   }

这有效，但我仍然想知道未初始化的值是std::function什么？我想写，if (eventFunc != nullptr)但是std::function（显然）不是指针。

为什么纯如果有效？它背后的魔力是什么？而且，这是检查方法的正确方法吗？

您不是要检查空的lambda，而是要检查其中是否std::function存储了可调用目标。该检查定义明确且有效，因为std::function::operator bool它允许bool在需要布尔值（例如if语句中的条件表达式）的上下文中进行隐式转换。

此外，空lambda的概念实际上没有任何意义。在后台，编译器将lambda表达式转换为struct（或class）定义，并将捕获的变量存储为this的数据成员struct。还定义了一个公共函数调用运算符，它使您可以调用lambda。那么空的lambda是什么呢？

您也可以if(eventFunc != nullptr)根据需要编写代码，它等同于问题中的代码。std::function 定义 operator==和operator!=重载以与进行比较nullptr_t。

在此处检查http://www.cplusplus.com/reference/functional/function/operator_bool/

例

// function::operator bool example
#include <iostream>     // std::cout
#include <functional>   // std::function, std::plus

int main () {
  std::function<int(int,int)> foo,bar;
  foo = std::plus<int>();

  foo.swap(bar);

  std::cout << "foo is " << (foo ? "callable" : "not callable") << ".\n";
  std::cout << "bar is " << (bar ? "callable" : "not callable") << ".\n";

  return 0;
}

输出量

foo是不可调用的。

酒吧是可以打电话的。

（让我提供一个明确的答案。）

您可以使用来检查a std::function是否为空std::function::operator bool。

true：如果对象是可调用的。
false：否则（对象是一个空函数）

例

#include <iostream>
#include <functional>

int main ()
{
    std::function<int(int,int)> foo = std::plus<int>();//assigned: not empty
    std::function<int(int,int)> bar;//not assigned: empty

    std::cout << "foo is " << (foo ? "not empty" : "empty") << ".\n";
    std::cout << "bar is " << (bar ? "not empty" : "empty") << ".\n";

    return 0;
}

输出量

foo不为空。
酒吧是空的。