C ++ 11でstd :: functionが空かどうかを適切に確認する方法

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（明らかに）ポインタではありません。

なぜ純粋なものが機能するのですか？その背後にある魔法は何ですか？そして、それをチェックする方法は正しいですか？

空のラムダをチェックするのではなくstd::function、に呼び出し可能なターゲットが格納されているかどうかをチェックします。チェックは明確に定義されており、ブール値が必要なコンテキスト（ステートメント内の条件式など）std::function::operator boolへの暗黙的な変換を可能にするため機能しboolますif。

さらに、空のラムダという概念は実際には意味がありません。コンパイラーは背後でラムダ式をstruct（またはclass）定義に変換し、キャプチャした変数をthisのデータメンバーとして保存しますstruct。public関数呼び出し演算子も定義されています。これにより、ラムダを呼び出すことができます。では、空のラムダは何でしょうか？

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は呼び出し不可能です。

バーは呼び出し可能です。

（明確な回答を提供させてください。）

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は空ではありません。
バーが空です。