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) 정의 로 변환하고 캡처 한 변수는이 struct. 공용 함수 호출 연산자도 정의되어 있으므로 람다를 호출 할 수 있습니다. 그렇다면 빈 람다는 무엇일까요?

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는 비어 있지 않습니다.
바가 비어 있습니다.