Як правильно перевірити, чи функція std :: порожня в C ++ 11?

Question 1

Мені було цікаво, як правильно перевірити, чи не 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(очевидно) не є покажчиком.

Чому чисте, якщо працює? У чому магія? І чи це правильний спосіб, як це перевірити?

Question 2

Ви перевіряєте не порожню лямбду, а те, чи std::functionзберігається в ній виклична ціль. Перевірка є чітко визначеною і працює, завдяки std::function::operator boolчому дозволяє неявне перетворення в boolу контекстах, де потрібні логічні значення (наприклад, умовний вираз у ifоператорі).

До того ж поняття порожньої лямбди насправді не має сенсу. За лаштунками компілятор перетворює лямбда-вираз у struct(або class) визначення, а змінні, які ви захоплюєте, зберігаються як члени цього struct. Також визначений оператор виклику публічної функції, який дозволяє вам викликати лямбда-сигнал. То що б була порожня лямбда?

Ви також можете написати, if(eventFunc != nullptr)якщо хочете, це еквівалентно коду, який ви маєте у запитанні. std::function визначає operator== та operator!=перевантажує для порівняння з a nullptr_t.

Question 3

Перевірте тут 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 не викликається.

панель викликається.

Question 4

(Дозвольте дати чітку відповідь.)

Ви можете перевірити, чи std::functionпорожній a , за допомогою 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 не порожній.
бар пустий.