टेम्पलेट वर्ग के साथ सी ++ गतिशील कलाकारों के बारे में

Question

मैं आधार वर्ग एक है, वर्ग बी ए से विरासत, वर्ग सी जो एक टेम्पलेट वर्ग है ए वर्ग डी से विरासत सी से विरासत संबंध इस प्रकार है:

 A 
    /\ 
     B C (template class) 
      \ 
      D 

मैं डी ऑब्जेक्ट डी 1 का उपयोग कर एक ऑब्जेक्ट ओ 1 बना सकता हूं, तो मैं डायनामिक कास्ट ओ 1 को एक प्रकार सी ऑब्जेक्ट सी 1 में बनाना चाहता हूं। लेकिन मुझे लगता है कि यह विफल रहता है। मेरा सवाल यह है कि यह प्रक्रिया क्यों विफल हो जाती है?

फिर मैं डी ऑब्जेक्ट डी 1 से सी प्रकार ऑब्जेक्ट सी 2 बनाने के लिए static_cast का उपयोग करता हूं, और मैंने जांच की है कि सी 2 का सही मूल्य डी 2 से है। क्या static_cast का उपयोग करके डी प्रकार से सी प्रकार में परिवर्तित करना हमेशा सफल होता है?

धन्यवाद !!!

Answer 1

ठीक है, क्योंकि C एक टेम्पलेट है, यह एक प्रकार का नहीं है और इसे कास्ट के लक्ष्य (न तो स्थिर करने के लिए गतिशील) के रूप में उपयोग नहीं किया जा सकता है, और आप इससे प्राप्त नहीं कर सकते हैं। आपको क्लास टेम्पलेट तत्काल की आवश्यकता है। परिणामी कक्षा कास्ट में उपयोग किया जा सकता है। यही कारण है कि है, निम्नलिखित काम करेगा:

struct A { }; 
template <typename T> struct C : A { }; 
struct D : C<int> { }; 

D d; 
A& a = d; 
C<int>& c = static_cast<C<int>&>(a); // or dynamic_cast, if `A` were polymorphic 

Answer 2

एक प्रकार सी वस्तु सी 1 के लिए

। लेकिन मुझे लगता है कि यह विफल रहता है।

चूंकि C एक टेम्पलेट है, वास्तव में कोई "प्रकार सी" नहीं है। इसके बजाय C<int> या C<Foo> है। (मान लें कि आपके पास एक टेम्पलेट तर्क है)। जब वे विशिष्ट होते हैं तो टेम्पलेट केवल कक्षाएं बन जाते हैं।

तो अगर डी सी की एक विशिष्ट प्रकार से विरासत में मिला:

class D : public C<int> 
{ 
}; 

आप एक C<int> अप करने के लिए dynamic_cast सकता है, लेकिन एक C<float>

कहना बेहतर मदद समझाने, अपने विरासत पेड़ वास्तव में

है करने के लिए नहीं

  A 
    /| \ 
C<float>... C<int> 
      | 
      D 

तो सी डी के माता-पिता नहीं है, लेकिन C<int> इस उदाहरण में है। C के उदाहरणों में वास्तव में रनटाइम में कोई अस्तित्व नहीं है, इसका एकमात्र उदाहरण वास्तव में C<type> का निर्दिष्ट है जो वास्तव में मौजूद है।