टेम्पलेट स्पष्टीकरण विशेषज्ञता और सामान्य कार्य के बीच क्या अंतर है?

Question

template <class T> 
void max (T &a ,T &b) 
{}//generic template #1 

template<> void max(char &c, char &d) 
{} //template specializtion #2 

void max (char &c, char &d) 
{}//ordinary function  #3 

1, 2, और 3 के बीच क्या अंतर है?

Answer 1

1. एक टेम्पलेट समारोह
2. पिछले टेम्पलेट समारोह की कुल विशेषज्ञता है
3. समारोह

यहाँ की एक अधिभार है C++ Coding Standards: 101 Rules, Guidelines, and Best Practices से एक अंश है :

66) फ़ंक्शन टेम्पलेट्स का विशेषज्ञ न करें

फ़ंक्शन टेम्पलेट विशेषज्ञता कभी अधिभार में भाग नहीं लेती है: इसलिए, आपके द्वारा लिखे गए कोई भी विशेषज्ञ इस बात को प्रभावित नहीं करेंगे कि कौन सा टेम्पलेट उपयोग किया जाता है, और इससे अधिकांश लोगों की अपेक्षा की जा सकती है। आखिरकार, यदि आपने फ़ंक्शन टेम्पलेट विशेषज्ञता के बजाए समान हस्ताक्षर के साथ एक नॉनटेम्प्लेट फ़ंक्शन लिखा था, तो नॉनटेम्प्लेट फ़ंक्शन हमेशा चुना जाएगा क्योंकि इसे हमेशा टेम्पलेट की तुलना में बेहतर मिलान माना जाता है।

#include <algorithm> 

template<typename T> 
struct max_implementation 
{ 
    T& operator() (T& a, T& b) 
    { 
    return std::max(a, b); 
    } 
}; 

template<typename T> 
T& max(T& a, T& b) 
{ 
    return max_implementation<T>()(a, b); 
} 

भी देखें:

• Why Not Specialize Function Templates?
• Template Specialization and Overloading

पुस्तक एक वर्ग टेम्पलेट के मामले में समारोह टेम्पलेट को लागू करने से अविवेक का एक स्तर जोड़ने के लिए सलाह देते हैं

Answer 2

टेम्पलेट पैरामीटर के मिलान मिलान नियम अधिभारित कार्यों से अलग हैं। अलग देखा जा सकता है क्या जब आप अलग tyoes के तर्क के साथ max() आह्वान करने के लिए कोशिश का एक उदाहरण:

max(1,'2'); 

यह अतिभारित समारोह से मेल खाएगा, लेकिन न तो मूल टेम्पलेट और न ही विशेषज्ञता। (ओवरलोड नहीं है!)