टेम्पलेट पैरामीटर के रूप में टेम्पलेटेड फ़ंक्शन पॉइंटर

Question

मैंने टेम्पलेट से निपटने के दौरान मुझे एक छोटी सी समस्या पर ठोकर खाई। यहाँ एक उदाहरण है:,

template<class _returnType, _returnType (*_function)()> 
_returnType aliasGetter() { return _function(); } 
int getCoolNumber() { return 42; } 
int main() 
{ 
    std::cout << aliasGetter<int, &getCoolNumber>(); //42 
} 

इस कोड काम करता है (http://cpp.sh/ यदि आप इसे करने की कोशिश करना चाहते हैं) लेकिन बाद से मैं टेम्पलेट पैरामीटर मैं _returnType आवश्यकता नहीं होनी चाहिए के रूप में एक समारोह सूचक देते हैं, यह समारोह हस्ताक्षर में सही नहीं है, समस्या यह है कि कोई फर्क नहीं पड़ता कि मैं कितनी मेहनत करता हूं, मुझे इस अतिरिक्त टेम्पलेट पैरामीटर से छुटकारा पाने का कोई तरीका नहीं मिल रहा है।

मैं aliasGetter कैसे बना सकता हूं केवल एक टेम्पलेट पैरामीटर (ऊतक के लिए गेटर के लिए एक सूचक) ले सकता है? यदि यह संभव नहीं है, तो क्यों नहीं?

Answer 1

सी ++ 17 में, यह संभव, template auto को हो जाएगा धन्यवाद:

template <auto F> std::invoke_result_t<F> aliasGetter() { return F(); } 

से पहले सी ++ 17, यह संभव नहीं है। आपको गैर-प्रकार के टेम्पलेट पैरामीटर के प्रकार को निर्दिष्ट करने की आवश्यकता है - इसके आस-पास कोई रास्ता नहीं है। आप इसके लिए कोई फ़ैक्टरी नहीं बना सकते हैं क्योंकि आप फ़ंक्शन टेम्पलेट के माध्यम से फ़ंक्शन पॉइंटर पास नहीं कर सकते हैं और इसे गैर-प्रकार के टेम्पलेट तर्क के रूप में समाप्त कर सकते हैं।

template <class T, T F> std::result_of_t<T()> aliasGetter() { return F(); } 
#define TEMP_ALIAS(x) decltype(x), x 

std::cout << aliasGetter<TEMP_ALIAS(&getCoolNumber)>(); 

जो आप आप मैन्युअल रूप से यह दो बार टाइप करने के लिए बिना अपने समारोह सूचक के प्रकार के हो जाता है:

---

सी ++ 14 में कम से कम वैकल्पिक हल के लिए, आह, मैक्रो का उपयोग है।