वर्चुअल के समान स्थान की बजाय सदस्य घोषणा के बाद ओवरराइड क्यों किया गया था?

Question

मुझे उत्सुकता है कि क्यों नया सी ++ 11 कीवर्ड overridevirtual के बजाय const के साथ विधिवत घोषणा के बाद दिखाई देने के लिए मजबूर होना चाहिए?

class SomeBaseClass { 
    virtual void DoPolymorphicBehavior() = 0; 
    ... 
class SomeDerrivedClass : public SomeBaseClass { 
    void DoPolymorphicBehavior() override; 
    ... 

क्यों में दुनिया एक ही सटीक स्थिति में इसकी अनुमति नहीं है (और यहां तक ​​कि बजाय) virtual

class SomeBaseClass { 
    virtual void DoPolymorphicBehavior() = 0; 
    ... 
class SomeDerrivedClass : public SomeBaseClass { 
    override void DoPolymorphicBehavior(); 
    ... 

यह मैं व्युत्पन्न वर्ग के लिए खोज मेरी स्रोत फ़ाइलों में & की जगह करने की अनुमति दी है | नए कीवर्ड का उपयोग करने के लिए और इस प्रकार त्रुटियों को खोजने में संकलक से सहायता प्राप्त करें। हालांकि, क्योंकि सी ++ 11 इसे सिंटैक्टिक रूप से एक अलग स्थिति में रखता है, इसलिए मुझे नई कंपाइलर सुविधा से कोई लाभ प्राप्त करने के लिए सचमुच स्रोत कोड की हजारों लाइनों को मैन्युअल रूप से अपडेट करना होगा।

निश्चित रूप से इस विकल्प के पीछे एक अच्छा कारण था?

Answer 1

फ़ंक्शन नाम से पहले प्रकट होने वाले घोषणा विनिर्देश अनुक्रम में एक पहचानकर्ता हो सकता है (उदाहरण के लिए, फ़ंक्शन का रिटर्न प्रकार)। कल्पना कीजिए कि कुछ मौजूदा कोड override की वापसी प्रकार था:

override foo(); 

या यहां तक ​​कि एक चर override कहा जाता है:

int override; 

एक नया कीवर्ड override का परिचय किसी भी मौजूदा कोड है कि एक पहचानकर्ता नामित override क्योंकि कीवर्ड नहीं थे टूट जाएगा आरक्षित हैं override (और यह भी final):

तो एक नया कीवर्ड को शुरू करने के बजाय, वे एक प्रासंगिक कीवर्ड की शुरुआत की। एक प्रासंगिक कीवर्ड को इसकी वाक्य रचनात्मक स्थिति द्वारा एक कीवर्ड के रूप में पहचाना जाता है। आपके प्रोग्राम में override और final नामक पहचानकर्ता अभी भी ठीक हैं। यदि ये पहचानकर्ता फ़ंक्शन घोषणा में तर्क सूची के बाद प्रकट होते हैं, तो उनके पास एक विशेष अर्थ होता है।

इसलिए फ़ंक्शन तर्कों के बाद इसे रखा गया कारण है क्योंकि नए कीवर्ड शुरू करने से पुराना कोड टूट जाएगा और यदि कंपाइलर override देखता है तो वे जानते हैं कि इसका क्या अर्थ है, क्योंकि कोई अन्य पहचानकर्ता यहां दिखाई नहीं दे सकता है।

Answer 2

यह कोई कीवर्ड नहीं है और यह आपके प्रश्न का उत्तर भी है।

यह कुछ संदर्भों में एक विशेष अर्थ के साथ एक पहचानकर्ता है। अगर इसे घोषणा की शुरुआत में दिखाई देने की अनुमति दी गई थी, तो उपयोगकर्ता द्वारा परिभाषित रिटर्न टाइप नाम के साथ संदिग्ध हो सकता है।

Answer 3

क्योंकि override और final कीवर्ड नहीं हैं, लेकिन प्रतीकों, जो उपयोगकर्ता कोड में प्रदर्शित हो सकते हैं। (यानी आपके पास एक चर int override; हो सकता है।) वे केवल सीमित संदर्भों में अपना विशिष्ट अर्थ लेते हैं, और उन संदर्भों को पर चुना जाना चाहिए जहां एक उपयोगकर्ता परिभाषित प्रतीक प्रकट नहीं हो सकता है।इच्छा यह तुरंत स्पष्ट करने के लिए भी थी; में तरह के मामले:

override void DoSomething(); 

, override, एक यूजर प्रतीक नहीं हो सकता है कोई व्याकरण उत्पादन जो एक बयान के साथ शुरुआत एक उपयोगकर्ता परिभाषित प्रतीक void के बाद हो सकता था क्योंकि। लेकिन समस्या तब तक स्पष्ट नहीं है जब तक कंपाइलर void से मुठभेड़ न हो, और void के बजाय, आपके पास उपयोगकर्ता परिभाषित प्रकार है, यह और भी अस्पष्ट है। दूसरी तरफ, पैरामीटर-घोषणा के बाद फ़ंक्शन का खंड, वहां संदर्भ स्पष्ट है, और कंपाइलर का स्कैनर तुरंत जानता है कि क्या करना है।