std :: bind(), variadic टेम्पलेट्स, और सही अग्रेषण को कैसे गठबंधन करें?

Question

मैं किसी तीसरे पक्ष के फ़ंक्शन के माध्यम से किसी अन्य विधि से एक विधि का आह्वान करना चाहता हूं; लेकिन दोनों वैरिएड टेम्पलेट्स का उपयोग करें। उदाहरण के लिए:

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&&’ 

मैं एक लैम्ब्डा उपयोग करने की कोशिश, लेकिन maybe जीसीसी 4.8 अभी तक वाक्य रचना संभाल नहीं करता है; यहाँ है कि मैं क्या करने की कोशिश की:

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

मैं निम्न त्रुटि:

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

मैं क्या समझ, संकलक, जबकि मैंने सोचा, प्रकार int&& साथ invoke_impl का दृष्टांत करना चाहता है से कि इस मामले में && का उपयोग कर वास्तविक तर्क प्रकार को संरक्षित करेगा।

मैं क्या गलत कर रहा हूं? धन्यवाद,

Answer 1

&foo::invoke_impl<Args...> पर बाध्यकारी एक बाध्य कार्य करेगा जो Args&& पैरामीटर लेता है, जिसका मतलब एक रावल्यू है। समस्या यह है कि पारित पैरामीटर lvalue होगा क्योंकि तर्क कुछ आंतरिक वर्ग के सदस्य फ़ंक्शन के रूप में संग्रहीत किया जाता है।

&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।