मुझे इस विशेष मामले में टेम्पलेट पैरामीटर की आवश्यकता क्यों नहीं है?

Question

मैं इस कोड है:

struct Base {}; 

template<typename T> 
struct Foo : Base {}; 

struct Bar { 
    template<typename T> //   v--- What's happening here? 
    Bar(T foo) : baz{std::make_unique<Foo>(foo)} {} 

    std::unique_ptr<Base> baz; 
}; 

एक आश्चर्य, जीसीसी के रूप में और बजना स्वीकार करते हैं और यह संकलित करता है। ऐसा लगता है कि Foo के टेम्पलेट पैरामीटर को कम करना प्रतीत होता है, लेकिन यह समझ में नहीं आता है। कंपेलर कैसे स्वीकार करते हैं कि भले ही std::make_unique का कोई ओवरलोड न हो, जो टेम्पलेट टेम्पलेट पैरामीटर लेता है? Live example

Answer 1

वहाँ जहां एक टेम्पलेट हमेशा अमान्य है, कोई बात नहीं क्या टेम्पलेट तर्क आपूर्ति की जाती है कुछ स्थितियों, लेकिन कर रहे हैं संकलक, कि यह पता लगाने के लिए सक्षम नहीं है, क्योंकि यह हर प्रतिस्थापन की कोशिश करने की क्षमता नहीं है टेम्पलेट तर्कों का संभावित सेट। मानक के अनुसार ([temp.res]/8):

कोई वैध विशेषज्ञता एक टेम्पलेट के लिए उत्पन्न किया जा सकता है, और उस टेम्पलेट instantiated नहीं है, टेम्पलेट बीमार का गठन है, कोई निदान आवश्यक ।

इसका मतलब है कि संकलक स्मार्ट होना करने के लिए और साबित कोई वैध विशेषज्ञता है कि वहाँ है, और एक संकलन त्रुटि उत्पादन की अनुमति दी है, लेकिन यह भी करने के लिए नहीं बहुत चालाक हो, और एक संकलन त्रुटि का उत्पादन नहीं की अनुमति दी है। बेशक, टेम्पलेट को तुरंत चालू करने के बाद, कंपाइलर को त्रुटि का निदान करना होगा।

टेम्पलेट तर्कों के बिना टेम्पलेट के नाम का उपयोग करना अवैध नहीं है। कुछ परिस्थितियां हैं जहां संकलक तर्क को कम कर सकता है। उदाहरण के लिए:

template <class T> 
void foo(T x); 

int main() { 
    void (*p)(int) = foo; // p points to foo<int> 
} 

अपने कोड में, यह पता चला है कि आप एक संदर्भ में, जहां टेम्पलेट तर्क निष्कर्ष निकाला नहीं जा सकता है में Foo का उपयोग किया है कि। अगर कंपाइलर्स चालाक थे, तो वे इसे समझ लेंगे। लेकिन तथ्य यह है कि उन्होंने इसे समझने के लिए प्रबंधन नहीं किया है इसका मतलब यह नहीं है कि आपका कोड सही है।

Answer 2

कारण यह काम है क्योंकि सी ++ वास्तव में टेम्पलेट फ़ंक्शंस नहीं बनाते हैं जब तक उन्हें कोड में कहीं से भी नहीं कहा जाता है। इस उदाहरण में, चूंकि आपका कोड कभी भी Bar बनाने का प्रयास नहीं करता है, इसलिए आपका टेम्पलेट एक-arg Bar कन्स्ट्रक्टर कभी उत्पन्न नहीं होता है, इसलिए संकलक को यह जांचने की आवश्यकता नहीं होती है कि कोड सही है या नहीं।

टेम्पलेट फ़ंक्शंस जितनी जल्दी हो सके संकलक द्वारा उत्पन्न होते हैं, और वे केवल इन प्रकारों के आधार पर उत्पन्न होते हैं। तो, आप एक Bar इसलिए की तरह बनाने की कोशिश करता है, तो: क्योंकि यह अब जानता कोड गलत है

error C2955: 'Foo' : use of class template requires template argument list 

:

Foo<int> f; 
Bar b = Bar(f); 

संकलक निर्माता उत्पन्न करने के लिए कोशिश करते हैं और तरह एक त्रुटि के साथ विफल हो जाएगा।

यदि आप इसके बारे में सोचते हैं, तो इस तरह यह काम करना है: चूंकि सी ++ आपको टेम्पलेट प्रकारों पर बाधा डालने की अनुमति नहीं देता है, इसलिए संकलक को टेम्पलेट प्रकारों के हर संभव संयोजन को आज़माकर यह पता लगाना होगा कि टेम्पलेट फ़ंक्शन में वाक्यविन्यास त्रुटियां हैं।