람다로 variadic 완벽한 전달을 어떻게 사용합니까?

Question

나는 람다를 호출하는 작동 함수 템플릿을 가지고있다.

이 함수 템플릿을 가변 인수를 취하여 람다로 완벽하게 전달하려면이 함수 템플릿을 일반화하고 싶지만이 코드를 컴파일하는 데 문제가 있습니다.

gcc 4.7.2를 사용하고 있습니다.

UPDATE

R. 마르틴 페르난데스의 제안을 사용하여

, 나는 버그질라에 오류를 보았다 - it does look like a bug that's been around for a while. 만약 누군가가 해결 방법을 알고 있다면 (나는 지금 한 가지를 파헤 치고있다.) 대답을 게시 해주십시오.

에러

junk.cpp: In lambda function: 
junk.cpp:32:68: error: parameter packs not expanded with ‘...’: 
junk.cpp:32:68: note:   ‘args’ 
junk.cpp: In instantiation of ‘std::pair<std::basic_string<char>, typename T::Lambda> MP(const string&, M, Args&& ...) [with T = Integer; M = int (Integer::*)()const; Args = {}; typename T::Lambda = std::function<std::function<int()>(const Integer&)>; std::string = std::basic_string<char>]’: 
junk.cpp:47:42: required from here 
junk.cpp:34:2: error: using invalid field ‘MP(const string&, M, Args&& ...)::<lambda(const T&)>::__args’ 
make: *** [junk] Error 1 

CODE이 (아직 수행하지 않은 경우를보고하십시오) 컴파일러의 오류로 나타납니다

#include <functional> 
#include <iostream> 
#include <map> 

struct Integer 
{ 
    typedef std::function<int()>       Function; 
    typedef std::function<Function(Integer const& inst)> Lambda; 

    virtual int getInt() const = 0; 
}; 

struct IntImpl : public Integer 
{ 
    virtual int getInt() const { return 42; } 
}; 

typedef std::function<int()>        IntFunction; 
typedef std::function<IntFunction(Integer const& inst)> IntLambda; 

#define WONT_COMPILE 

template<typename T,typename M,typename... Args> 
std::pair<std::string,typename T::Lambda> 
MP(std::string const& str, M method, Args&&... args) 
{ 
#ifdef WONT_COMPILE 
    return std::make_pair(str, 
     [=](T const& inst) 
     { 
      // COMPILE ERROR (Line 32) on next line 
      return std::bind(method, std::cref(inst), std::forward<Args>(args)...); 
     } 
    ); 
#else 
    return std::make_pair(str, 
     [method](T const& inst) 
     { 
      return std::bind(method, std::cref(inst)); 
     } 
    ); 
#endif 
} 

std::map<std::string,IntLambda> const g_intTbl = 
{ 
    MP<Integer>("getInt", &Integer::getInt) 
}; 

int 
main(int argv, char* argc[]) 
{ 
    IntImpl x; 
    std::cerr << g_intTbl.find("getInt")->second(x)() << std::endl; 
} 

Answer 1

. 표준 메시지 :

는 목록에서 패턴의 0 개 이상의 인스턴스 생성을 생산 인스턴스화되는 패턴과 생략, 으로 구성된 확장 팩 (후술). 패턴의 형식은 확장이 발생하는 컨텍스트에 에 따라 다릅니다. 팩 확장은 다음과 같은 상황에서 발생할 수 있습니다

- [...]
- 캡처 목록 (5.1.2)에서; 패턴은 캡처입니다.
- [...]

이렇게하면 코드가 정확합니다.

이 문제를 처리 할 수있는 컴파일러가 생길 때까지 [=]과 함께 모든 것을 해결 방법으로 캡처 할 수 있습니다.

Answer 2

사람이 해결 방법 (지금은 하나의 주위를 파고있어) 알고 있으면 대답

나는 똑같은 문제로 실행하고 해결 방법을 찾았을 게시하시기 바랍니다. 그것은 늦은 대답의 일종입니다. 그 동안 해결책을 찾았 으면 좋겠지 만, 어쨌든 (어쨌든 그것은 다른 사람들에게 유용 할 수 있습니다). 또한 외부 기능 (예. [](int) {}가 [](int, Args&&... args) {}된다)와 외부 함수의 가변 인자에 bind 람다와 같은 가변 인수를 받아들이도록

아이디어는 람다의 파라미터를 변경한다. 이것이 완료되면 더 이상 람다 내부의 가변 인수를 전달하는 데 문제가 없습니다.

이

template<typename... Args> 
std::function<void (int)> foo(Args&&... args) { 
    return [&](int bar) { 
        // COMPILER BUG: doesn't work with GCC 4.7 despite the capture 
        doSomething(bar, std::forward<Args>(args)...); 
       }; 
} 

template<typename... Args> 
std::function<void (int)> foo(Args&&... args) { 
    return std::bind([](int bar, Args&&... args) { 
          // now this works with GCC 4.7 
          doSomething(bar, std::forward<Args>(args)...); 
         }, 
        std::placeholders::_1, std::forward<Args>(args)...); 
} 

물론이 못생긴 해킹,하지만 당신은 버그가 컴파일러와 함께 붙어있을 때 적어도 당신은 여전히도 의도 된 기능을 얻을 수 있습니다 :

그것을 요약합니다.