मैं सामान्य चर के साथ बहुरूपता क्यों नहीं कर सकता?

Question

मैं एक जावा प्रोग्रामर हूं और हाल ही में सी ++ का अध्ययन करना शुरू कर दिया है। मैं कुछ से उलझन में हूँ।

मैं समझता हूं कि सी ++ में, पॉलिमॉर्फिक व्यवहार प्राप्त करने के लिए आपको पॉइंटर्स या संदर्भों का उपयोग करना होगा। उदाहरण के लिए, एक लागू विधि getArea() के साथ कक्षा Shape पर विचार करें। इसमें कई उप-वर्ग हैं, प्रत्येक ओवरराइडिंग एरिया() अलग-अलग हैं।

void printArea(Shape* shape){ 
    cout << shape->getArea(); 
} 

समारोह सही getArea() कार्यान्वयन कहता है, के लिए ठोस Shape सूचक अंक के आधार पर: निम्नलिखित समारोह पर विचार की तुलना में।

यह वही काम करता है:

void printArea(Shape& shape){ 
    cout << shape.getArea(); 
} 

हालांकि, निम्न विधि polymorphicaly काम नहीं करता:

void printArea(Shape shape){ 
    cout << shape.getArea(); 
} 

, एक ही क्या Shape की ठोस तरह समारोह में पारित हो जाता है कोई फर्क नहीं पड़ता getArea() कार्यान्वयन कहा जाता है: Shape में डिफ़ॉल्ट एक।

मैं इसके पीछे तकनीकी तर्क समझना चाहता हूं। पॉलीमोर्फिज्म पॉइंटर्स और संदर्भों के साथ क्यों काम करता है, लेकिन सामान्य चर के साथ नहीं? (और मुझे लगता है कि यह न केवल फ़ंक्शन पैरामीटर के लिए सही है, बल्कि किसी भी चीज़ के लिए)।

कृपया समझने में मेरी सहायता के लिए, इस व्यवहार के तकनीकी कारणों की व्याख्या करें।

Answer 1

उत्तर प्रतिलिपि है।

जब आप किसी ऑब्जेक्ट को C++ में मान से पास करते हैं, उदा। printArea(Shape shape) एक प्रति आपके द्वारा पारित वस्तु से बना है। और यदि आप इस फ़ंक्शन में व्युत्पन्न कक्षा पास करते हैं, तो कॉपी की गई सभी मूल श्रेणी Shape है। यदि आप इसके बारे में सोचते हैं, तो कंपाइलर कुछ और नहीं कर सकता है।

Shape shapeCopy = circle; 

shapeCopy एक Shape, नहीं एक Circle के रूप में घोषित किया गया था, इसलिए सभी संकलक कर सकते हैं वस्तु की Shape हिस्सा की एक प्रति का निर्माण है।

Answer 2

जब void printArea(Shape shape) कहा जाता है, तो आपकी ऑब्जेक्ट को स्टैक पर एक नए नए Shape में कॉपी किया गया है। उप-वर्ग भागों की प्रतिलिपि नहीं बनाई गई है। इसे object slicing के रूप में जाना जाता है। यदि बेस-क्लास ऑब्जेक्ट वैध नहीं है (उदा। इसमें शुद्ध वर्चुअल फ़ंक्शंस हैं), तो आप इस फ़ंक्शन को घोषित या कॉल भी नहीं कर सकते हैं। यह "मूल्य से गुजरना" अर्थशास्त्र है; पास-इन ऑब्जेक्ट की एक प्रति आपूर्ति की जाती है।

जब void printArea(Shape& shape) कहा जाता है, तो आपके Circle या Rectangle ऑब्जेक्ट का संदर्भ पारित किया जाता है। (विशेष रूप से, उस ऑब्जेक्ट के Shape भाग का संदर्भ। आप Circle - या Square-कास्टिंग किए बिना विशिष्ट सदस्यों तक नहीं पहुंच सकते हैं। लेकिन वर्चुअल फ़ंक्शन सही तरीके से काम करते हैं।) यह "संदर्भ द्वारा पास" अर्थशास्त्र है; मूल वस्तु का संदर्भ पारित किया गया है।

Answer 3

आप रन-टाइम पॉलीमोर्फिज्म के बारे में बात कर रहे हैं।

यह विचार है कि कोई ऑब्जेक्ट ^* सांख्यिकीय रूप से ज्ञात वर्ग से प्राप्त कक्षा का हो सकता है, ताकि स्थैतिक रूप से ज्ञात वर्ग में वर्चुअल सदस्य फ़ंक्शंस को कॉल किया जा सके, व्युत्पन्न क्लास कार्यान्वयन में समाप्त हो।

एक सूचक या संदर्भ के साथ सबसे व्युत्पन्न वर्ग सांख्यिकीय रूप से ज्ञात वर्ग से (अधिक विशिष्ट) से भिन्न हो सकता है। लेकिन प्रत्यक्ष चर के साथ सांख्यिकीय रूप से ज्ञात वर्ग सबसे व्युत्पन्न वर्ग है। इसलिए रन-टाइम पॉलीमोर्फिज्म के लिए कोई जगह नहीं है, कॉल को छोड़कर जो बेस क्लास सदस्य फ़ंक्शंस से कॉल का कारण बनता है (बेस क्लास सदस्य फ़ंक्शन में स्थिर रूप से ज्ञात प्रकार वह बेस क्लास है, जो सबसे व्युत्पन्न वर्ग से अलग है)।

---

^{*) स्थिरता में जाना जाता वर्ग किसी भी विश्लेषण, घोषित वर्ग के बिना संकलक के लिए जाना जाता का मतलब है।}

Answer 4

मूल रूप से, जब आप मूल्य द्वारा एक वस्तु पारित यह गंतव्य प्रकार का ऑब्जेक्ट को कॉपी किया है - उस बिंदु पर यह है गंतव्य प्रकार का ऑब्जेक्ट, तो Polymorph की कोई बात नहीं है (है कि यहां तक ​​कि एक शब्द?) ।

printArea() समारोह अंदर पैरामीटर shape है एक Shape वस्तु क्या वस्तु कॉल स्थल पर उपयोग किया गया हो अपने उदाहरण, void printArea(Shape shape); का उपयोग करने के लिए,।