समारोह टेम्पलेट विशेषज्ञता और इब्राहीम/दिमोव उदाहरण

Question

(मैं इस सवाल में Abrahams/Dimov example के ज्ञान संभालने कर रहा हूँ।)

मान लें कि एक शीर्ष लेख है कि इस के लिए, आप बदल नहीं सकते हैं की तरह में कुछ 3 पार्टी कोड है:

template<class T> void f(T); // (1) base template 1 
template<class T> void f(T *); // (2) base template 2 
template<> void f<>(int *);  // (3) specialization of (2) 

सवाल यह है:

मैं ऊपर के रूप में है घोषणाओं दिया गया हो, यह संभव है मुझे अब इस मामले में जहांके लिए आधार टेम्पलेट 1 विशेषज्ञ के लिए(उदाहरण के लिए)?

या बेस टेम्पलेट 2 की केवल घोषणा ही दर्शाती है कि आधार टेम्पलेट 1 अब विशिष्ट नहीं हो सकता है (कम से कम पॉइंटर्स के लिए)?

Answer 1

आप हमेशा कोशिश कर सकते हैं और फिर हमारे पास आ सकते हैं। लेकिन मुझे नहीं लगता कि यह क्यों काम नहीं करेगा। यदि T = int* यह वही काम करेगा जैसा आप चाहते हैं। इसलिए कोई 2 int* *

Answer 2

की एक पैरामीटर आप स्पष्ट रूप से समारोह के नाम के बाद कोण कोष्ठक में टेम्पलेट पैरामीटर को निर्दिष्ट (सीएफ सी ++ 11-स्टैंडर्ड 14.7.3)

द्वारा ओवरलोड कर सकते हैं (1) होगा

#include <iostream> 
using namespace std; 
template<class T> void f(T) // (1) base template 1 
{ 
    cout << "template<class T> void f(T)" << endl; 
} 

template<class T> void f(T *) // (2) base template 2 
{ 
    cout << "template<class T> void f(T *)" << endl; 
} 
//template<> void f<>(int *);  // (3) specialization of (2) 

template<> void f<int*>(int *)  // (4) specialization of (1) 
{ 
    cout << "f<int*>(int *)" << endl; 
} 


int main() { 
    int i; 
    f(&i); // calls (2) since only base-templates take part in overload resolution 
    return 0; 
}