std :: bind(), variadic templates 및 완벽한 전달 방법을 결합하는 방법은 무엇입니까?

Question

타사 함수를 통해 다른 메서드를 호출하려고합니다. 둘 다 variadic 템플릿을 사용합니다. 예를 들어 :

void third_party(int n, std::function<void(int)> f) 
{ 
    f(n); 
} 

struct foo 
{ 
    template <typename... Args> 
    void invoke(int n, Args&&... args) 
    { 
    auto bound = std::bind(&foo::invoke_impl<Args...>, this, 
          std::placeholders::_1, std::forward<Args>(args)...); 

    third_party(n, bound); 
    } 

    template <typename... Args> 
    void invoke_impl(int, Args&&...) 
    { 
    } 
}; 

foo f; 
f.invoke(1, 2); 

문제는, 내가 컴파일 오류 얻을 :

/usr/include/c++/4.7/functional:1206:35: error: cannot bind ‘int’ lvalue to ‘int&&’ 

내가 람다를 사용하여 시도

하지만 GCC 4.8은 아직 구문을 처리하지 않습니다 maybe을; 여기에 내가 뭘하려 :

auto bound = [this, &args...] (int k) { invoke_impl(k, std::foward<Args>(args)...); }; 

내가받을 다음과 같은 오류 : 내가 생각하는 동안, 컴파일러, 유형 int&&와 invoke_impl의 인스턴스를 원하는 이해하는 것과

error: expected ‘,’ before ‘...’ token 
error: expected identifier before ‘...’ token 
error: parameter packs not expanded with ‘...’: 
note:   ‘args’ 

이이 경우에 &&를 사용하여 실제 인수 형식을 유지합니다.

내가 뭘 잘못하고 있니? 감사,

Answer 1

&foo::invoke_impl<Args...>에 바인딩하면 Args&& 매개 변수, 즉 rvalue를 사용하는 바운드 함수가 만들어집니다. 문제는 전달 된 매개 변수가 왼쪽 값 일 것입니다. 왜냐하면 인수가 내부 클래스의 멤버 함수로 저장되기 때문입니다.

수정하려면 &foo::invoke_impl<Args...>을 &foo::invoke_impl<Args&...>으로 변경하여 참조 축소 규칙을 사용하여 멤버 함수가 왼쪽 값을 갖도록합니다.

auto bound = std::bind(&foo::invoke_impl<Args&...>, this, 
         std::placeholders::_1, std::forward<Args>(args)...); 

Here is a demo.