एक फ़ंक्शन को एक स्पष्ट टेम्पलेट पैरामीटर के रूप में पास करें

Question

नीचे दिए गए कोड उदाहरण में, foo पर कॉल काम करता है, जबकि bar पर कॉल विफल हो जाता है।

अगर मैं bar पर कॉल पर टिप्पणी करता हूं, तो कोड संकलित करता है, जो मुझे bar की परिभाषा बताता है ठीक है। तो bar सही तरीके से कैसे कहा जाएगा?

#include <iostream> 

using namespace std; 

int multiply(int x, int y) 
{ 
    return x * y; 
} 

template <class F> 
void foo(int x, int y, F f) 
{ 
    cout << f(x, y) << endl; 
} 

template <class F> 
void bar(int x, int y) 
{ 
    cout << F(x, y) << endl; 
} 

int main() 
{ 
    foo(3, 4, multiply); // works 
    bar<multiply>(3, 4); // fails 

    return 0; 
} 

Answer 1

समस्या यहाँ है, multiply एक प्रकार नहीं है; यह मान है लेकिन फ़ंक्शन टेम्पलेट bar टेम्पलेट तर्क टाइप करने की अपेक्षा करता है। इसलिए त्रुटि।

आप के रूप में समारोह टेम्पलेट को परिभाषित हैं:

template <int (*F)(int,int)> //now it'll accept multiply (i.e value) 
void bar(int x, int y) 
{ 
    cout << F(x, y) << endl; 
} 

तो यह काम करेंगे। ऑनलाइन डेमो देखें: http://ideone.com/qJrAe

आप के रूप typedef का उपयोग कर वाक्य रचना को आसान बनाने में कर सकते हैं:

typedef int (*Fun)(int,int); 

template <Fun F> //now it'll accept multiply (i.e value) 
void bar(int x, int y) 
{ 
    cout << F(x, y) << endl; 
} 

Answer 2

multiply एक प्रकार नहीं है, यह एक समारोह है। उस संदर्भ में, यह एक फ़ंक्शन पॉइंटर को क्षय करता है। हालांकि, bar एक प्रकार के लिए टेम्पलेट किया गया है, फिर, multiply नहीं है।

नवाज पहले से ही सवाल दूसरी तरह के आसपास जवाब (कैसे कार्यों के साथ प्रयोग की जाने वाली bar की परिभाषा को बदलने के लिए), लेकिन कैसे bar तुम्हारे पास है, तब तक आप एक उपयुक्त प्रकार की जरूरत है कॉल करने के लिए की आपकी स्पष्ट सवाल का जवाब देने, इस तरह:

struct Type { 
    const int result; 
    Type(int x, int y): result(x * y) {} 
    operator int() const { return result; } 
}; 

// usage 
bar<Type>(x, y); 

// (edit) a suitable type doesn't necessarily mean a new type; this works as well 
// if you aren't trying to solve any specific problem 
bar<std::string>(64, 64);