std :: function에서 액세스 위반이 람다에게 할당되었습니다.

Question

std :: function 및 std :: bind를 가지고 놀려고했는데 문제가있었습니다. 멤버 함수의 선험적 인 인수를 모른 채 멤버 함수에 std :: function을 바인딩 할 수있는 일반 구조를 만들고 싶습니다. 내가

template<typename Class, typename Return, typename ...Args> 
struct Caller 
{ 
private: 
    std::function<Return(Args ...)> callerFunction; 

    Caller(const Caller&) = delete; 
    Caller(Caller&&) = delete; 
    Caller& operator=(const Caller&) = delete; 

public: 
    ~Caller() = default; 
    Caller() = default; 

    Caller(Class& instance, Return(Class::*function)(Args...)) 
    { 
     callerFunction = [&](Args... args) { return (instance.*function)(args...); }; 
    } 

    Return operator() (Args ... args) 
    { 
     return callerFunction(args...); 
    } 
}; 

가 참고로 나는 함수의 인수가 값에 의해 전달되는 것을 알고이 일을 썼다 (I는 가변 인자 템플릿 보편적 참조를 사용하여 몇 가지 문제가 발생, 그 이후에 작동합니다).

여기서 문제는 operator()로 함수를 실행하면 액세스 위반 오류가 발생한다는 것입니다. 내가 문제를 좁히려 고 variadic 인수 (멤버 함수가 int를 인수로 가질 수 있도록 허용)없이 구조체를 만들려고했는데 std :: function에 람다를 할당하는 것이 나에게 같은 오류를 주었다. 그러나 if std :: bind를 placeholder와 함께 사용하면 모든 것이 잘되었습니다.

테스트 지상 내가 제대로 멤버 함수를 호출하기 위해 클래스의 인스턴스를 저장해야 할, 람다를 사용하여이

class A 
{ 
public: 
    bool foo(int a) 
    { 
     std::cout << a << std::endl; 
     return true; 
    } 
}; 

int main() 
{ 
    A a; 
    a.foo(9); 

    Caller<A, bool, int> caller(a, &A::foo); 
    caller(10); 

    std::cin.ignore(); 
} 

입니까?

Answer 1

코멘트의 상태로서, 당신은 function의 허상 포인터를 대신 사용할 수 있습니다

는

Caller(Class& instance, Return(Class::*function)(Args...)) 
{ 
    callerFunction = [&instance, function](Args... args) { 
     return (instance.*function)(std::forward<Args>(args)...); 
    }; 
} 

참고 : instance도 Caller을 들보 다 오래 남았습니다한다.

Answer 2

개체 또는 복사본이 현재 범위보다 오래 지속되는 경우 [&]을 사용하지 마십시오.

로컬 변수에 대한 참조를 캡처하고 현재 범위를 벗어나 저장합니다.