टेम्पलेट कॉल में संदेह: वास्तविक विशेषज्ञता

Question

#include <iostream> 

using namespace std; 

template<typename T> 
void test() { 
    cout << "1"; 
} 

template<> 
void test<std::string>() { 
    cout << "2"; 
} 

int main() { 
    test<std::string()>(); //expected output 2 but actual output 1 
} 

आउटपुट 1 और 2 क्यों नहीं है?

Answer 1

test<std::string> (नोट: अंत में कोई भी ब्रांड्स) जो आप उम्मीद करते हैं वह उत्पन्न करेगा।

test<std::string()> के रूप में यह लेखन प्रकार "समारोह कोई तर्क ले रहे हैं और लौटने std :: स्ट्रिंग"

Answer 2

क्या आप इस समारोह को लागू करने का मतलब रखते हैं जैसे: test<std::string>()?

आपके test<std::string()>() में, टेम्पलेट पैरामीटर std::string नहीं है लेकिन एक फ़ंक्शन प्रकार (कोई फ़ंक्शन कोई तर्क नहीं ले रहा है और std::string लौटा रहा है)।

Answer 3

std::string() एक typeid है के साथ टेम्पलेट को दर्शाता है। एक टाइपिड गायब घोषणाकर्ता आईडी के साथ एक सरल घोषणा है।

टेम्पलेट-तर्क में, यदि किसी प्रकार-आईडी और अभिव्यक्ति के बीच अस्पष्टता है तो कॉल को किसी प्रकार-आईडी पर हल किया जाता है। तो अपने कोड आउटपुट 1

आप आप उत्पादन 2.