खाका कटौती

Question

निम्नलिखित variadic टेम्पलेट को देखते हुए:

template<typename... Params> 
void fun(void(*f)(Params...), Params... params) { 
    f(params...); 
} 

int main() { 
    fun(+[](int a, int b) {}, 2, 3); 
} 

अब जब एक लैम्ब्डा मैं स्पष्ट रूप से सभी लैम्ब्डा तर्क के प्रकार निर्दिष्ट करने की आवश्यकता के साथ fun लागू के लिए। ऐसा लगता है कि int, int2, 3 से लिया जा सकता है क्योंकि यह अनावश्यक लगता है। क्या इसे अधिक संक्षिप्त और स्वचालित बनाने का कोई तरीका है?

मैं काम करने के लिए निम्न चाहते हैं, लेकिन यह नहीं है:

template<typename... Params> 
void fun(void(*f)(Params...), Params... params) { 
    f(params...); 
} 

int main() { 
    fun(+[](auto a, auto b) {}, 2, 3); 
} 

मैं g++ 5.4.0 और -std=c++14 साथ संकलन कर रहा हूँ।

Answer 1

T के बजाय सूचक द्वारा समारोह लें:

template<typename T, typename... Params> 
void fun(T f, Params... params) { 
    f(params...); 
} 

int main() { 
    fun([](auto a, auto b) {}, 2, 3); 
} 

इस तरह से, संकलक चुन सकते हैं जो ओवरलोड कॉल स्थल पर बजाय अगर + ऑपरेटर के अंदर कॉल करने के लिए सही है। जैसा कि टिप्पणी में कहा गया है, वैसे भी + ऑपरेटर जेनेरिक लैम्बडास के लिए परिभाषित नहीं है।

---

वैकल्पिक रूप से, आप एक पहचान उर्फ ​​का उपयोग करके समारोह सूचक से Params अनुमान करने की कोशिश कर से संकलक निष्क्रिय कर सकते हैं, लेकिन मैं वास्तव में इसे अनुशंसा नहीं करते हैं । वैसे भी, आप यहां जाएं:

template<typename T> 
struct identity { using type = T; }; 

template<typename T> 
using identity_t = typename identity<T>::type; 

template<typename... Params> 
void fun(void(*f)(identity_t<Params>...), Params... params) { 
    f(params...); 
} 

int main() { 
    // v----- no unary +. That operator is not defined for generic lambdas. 
    fun([](auto a, auto b) {}, 2, 3); 
}