खाका तर्क कटौती विफलता जबकि स्थिरांक प्रकार का पता गुजर

Question

template <typename T> 
T go(T a, T *b){ T *t; return *t;} 

int main() { 
    const int x = 10; 
    go(x, &x); 
    return 0; 
} 

संकलक त्रुटि देता है?

इस संकलन त्रुटि को ठीक करने के लिए, मैं go<const int>(x, &x); तर्कों के प्रकार को निर्दिष्ट करके संकलक कटौती प्रक्रिया को ओवरराइड करता हूं, लेकिन फिर मुझे ऐसा करने की आवश्यकता क्यों है?

Answer 1

यह कटौती प्रकार का एक संघर्ष है। T को पहले तर्क से int के रूप में और दूसरे तर्क से const int के रूप में घटाया गया है। इसलिए कटौती टाइप विफल रहता है (और संकलक एक संदेश प्रस्तुत करता है जो अंतर्निहित कारण स्पष्ट कर सकता है या नहीं)।

आप स्पष्ट रूप से टेम्पलेट तर्क निर्दिष्ट किए बिना ही इस समारोह काम बनाना चाहते हैं, तो आप इसे इतना है कि केवल दूसरे समारोह तर्क कटौती ड्राइव कर सकता है:

template <class T> 
struct NonDeduced { using type = T; } 

template <class T> 
T go(typename NonDeduced<T>::type a, T *b) { T *t; return *t; } 

इस तरह, T केवल हो जाएगा दूसरे तर्क से deducible, और पहला पैरामीटर संशोधन के बिना T का उपयोग करेगा।

Answer 2

क्योंकि atemplate argument deduction में, मूल्य द्वारा प्रदान किया जाने वाला तो घोषित किया जाता है:

c) otherwise, if A is a cv-qualified type, the top-level cv-qualifiers are ignored for deduction:

इसका मतलब है, go(x, &x); के लिए, 1 तर्क x के लिए, टेम्पलेट पैरामीटर Tint, नहीं const int के रूप में निष्कर्ष निकाला की जाएगी। दूसरे तर्क के लिए T को const int के रूप में घटाया जाएगा, क्योंकि b पॉइंटर द्वारा पारित होने की घोषणा की जाती है (और ऑब्जेक्ट पर सीवी-क्वालीफायर आरक्षित हैं; वही बात पास-दर-संदर्भ के लिए होती है)। फिर कटौती विफल रहता है।

---

Btw: clang इसके लिए काफी स्पष्ट संदेश देता है:

prog.cc:4:3: note: candidate template ignored: deduced conflicting types for parameter 'T' ('int' vs. 'const int')