std :: function <>과 표준 함수 포인터의 차이점은 무엇입니까?

Question

std :: function <>과 표준 함수 포인터의 차이점은 무엇입니까? 이다

:

typedef std::function<int(int)> FUNCTION; 
typedef int (*fn)(int); 

는 효과적으로 같은 일이 있습니까?

Answer 1

함수 포인터는 C++에서 정의 된 실제 함수의 주소입니다. std::function은 모든 유형의 호출 가능 객체 (함수처럼 사용될 수있는 객체)를 보유 할 수있는 래퍼입니다.여기

struct FooFunctor 
{ 
    void operator()(int i) { 
     std::cout << i; 
    } 
}; 

// Since `FooFunctor` defines `operator()`, it can be used as a function 
FooFunctor func; 
std::function<void (int)> f(func); 

는 std::function은 당신이 당신이 그냥 void을 반환 한 int 매개 변수가 있다는 것을 알고는 FooFunctor 알고하지 않습니다 — 다루고있는 무엇을 호출하는 개체 종류를 멀리 정확하게 추상적 인 당신을 수 있습니다.

이 추상화가 유용한 실제 예는 C++을 다른 스크립팅 언어와 함께 사용하는 경우입니다. 스크립트 언어로 정의 된 함수뿐만 아니라 C++에서 정의 된 두 함수를 일반적인 방법으로 처리 할 수있는 인터페이스를 설계 할 수 있습니다.

편집 : std::function의 옆에

바인딩, 당신은 또한 std::bind을 찾을 수 있습니다. 이 두 가지는 함께 사용될 때 매우 강력한 도구입니다. 이 예에서

void func(int a, int b) { // Do something important } // Consider the case when you want one of the parameters of `func` to be fixed // You can used `std::bind` to set a fixed value for a parameter; `bind` will // return a function-like object that you can place inside of `std::function`. std::function<void (int)> f = std::bind(func, _1, 5); 

는 bind 의해 리턴 된 객체 함수는 제 파라미터 _1 소요하고 a 파라미터로서 func에 전달하고, 정 5 될 b를 설정한다.

Answer 2

하나는 함수 포인터입니다. 다른 하나는 함수 포인터 주위의 래퍼 역할을하는 객체입니다.

그들은 거의 는 같은 일을 나타내지 만 std::function는 바인딩과 이것 저것을 할 수 있도록 지금까지 더 강력한 이다.

Answer 3

std::function에는 상태가 있습니다. 추가 매개 변수를 "바인딩"할 수 있습니다.

이 매개 변수는 다른 클래스, 다른 함수 또는 멤버 함수 호출을위한이 포인터의 범위에서 다양 할 수 있습니다.

는 대체 함수 포인터는 그것은 void*가 std::function에 숨겨진 될 상태를 reperensting으로, typedef int (*fn)(void*,int);하지 typedef int (*fn)(int);

입니다.

Answer 4

이들은 모두 동일하지 않습니다. std::function은 복잡하고 무겁고, 상태가 좋고, 거의 모든 종류의 호출 가능 엔터티를 담을 수있는 거의 매직 (magic) 타입이며, 함수 포인터는 실제로는 단순한 포인터입니다. 도망 갈 수 있다면, 알몸 함수 포인터 또는 auto - bind/auto -lambda 유형 중 하나를 선호해야합니다. 함수, 펑터, 람다 캡처 및 바인드 표현식과 같이 호출 가능한 엔티티의 이기종 컬렉션을 체계적으로 구성해야하는 경우에만 std::function을 사용해야합니다.

---

업데이트 :auto 유형에 대한 설명의 비트 : 비교하여 다음과 같은 두 가지 기능 :

do_something_X([foo, &bar](int n){ bar += n*foo; },  12); 
do_something_X(std::bind(X::bob, &jim, true, _1, Blue), 13); 

:

이

void do_something_1(std::function<void(int)> f, int a) { f(a); } 

template <typename F, typename A> void do_something_2(F f, A a) { f(a); } 

이제 람다 또는 bind 표정으로 그들을 호출 상상

템플릿을 사용하는 두 번째 버전이 더 효율적입니다. 두 경우 모두 F은 실제의 알 수없는 유형의 표현식으로 추론됩니다. std::function의 첫 번째 버전은 템플릿이 아니며 더 간단하고 고의적으로 보일 수도 있지만 항상은 std::function 개체의 생성을 강제하며 여러 유형의 지우기 및 가상 디스패치 비용이 발생할 가능성이 큽니다.