Microsoft कंपाइलर आपको वर्ग घोषित करते समय __declspec विशेषता के लिए "novtable" एक्सटेंशन को जोड़ने की अनुमति देता है।

कहा गया लक्ष्य उत्पन्न कोड के आकार को काफी कम करना है। हमारे घटकों के साथ प्रयोगों में, डीएलएल के आकार में 0.6 से 1.2 प्रतिशत तक की कमी आई।

प्रयोज्यता: कक्षाएं सीधे उनसे तात्कालिक करने का इरादा नहीं है।

उदाहरण के लिए: विशुद्ध रूप से इंटरफ़ेस कक्षाएं।

कोड में, यह इस तरह दिखता है:

struct __declspec(novtable) IDrawable { virtual void Draw() const = 0; }; 

नोट: अप्रासंगिक लेख विवरण के उदाहरण से छुटकारा पाने के लिए एक इंटरफ़ेस वर्ग की घोषणा करने के लिए संरचना कीवर्ड का उपयोग किया गया था; जबकि एक वर्ग का उपयोग करने के मामले में, किसी को तरीकों का "प्रचार" इंगित करने के लिए सार्वजनिक उपयोग करना होगा। उसी कारण से, मैं इस लेख में इंटरफ़ेस वर्ग में एक वर्चुअल विध्वंसक नहीं जोड़ूंगा।

"नोविटेबल" नाम का वादा है कि कोई वर्चुअल टेबल नहीं होगी ... लेकिन वर्चुअल फ़ंक्शन को लागू करने के लिए तंत्र निम्न कोड में कैसे काम करता है:

 //   ,   IDrawable: class Rectangle : public IDrawable { virtual void Draw() const override { } int width; int height; }; … IDrawable* drawable = new Rectangle; drawable->Draw(); //   Rectangle::Draw … 

याद रखें कि क्लास में वर्चुअल फंक्शन की घोषणा करते समय क्या जोड़ा जाता है:

1. आभासी कार्यों की एक तालिका को परिभाषित करना। इस तालिका का एक उदाहरण कक्षा के सभी उदाहरणों के लिए उपयोग किया जाता है।
2. वर्चुअल फ़ंक्शन तालिका के लिए एक पॉइंटर को क्लास डेटा सदस्यों में जोड़ा जाता है।
3. इस पॉइंटर को क्लास के कंस्ट्रक्टर में इनिशियलाइज़ करने के लिए कोड।

इस प्रकार, हमारे उदाहरण में, दो आभासी फ़ंक्शन तालिकाओं की घोषणा होगी: IDrawable के लिए और आयत के लिए। रेक्टेंगल ऑब्जेक्ट बनाते समय, IDrawable कंस्ट्रक्टर सबसे पहले निष्पादित होता है, जो एक पॉइंटर को उसके वर्चुअल फंक्शन टेबल पर इनिशियलाइज़ करता है। योजनाबद्ध रूप से, यह इस तरह दिखता है:


चूंकि IDrawable में ड्रा फ़ंक्शन को विशुद्ध रूप से आभासी घोषित किया जाता है ("= 0" फ़ंक्शन बॉडी के बजाय इंगित किया गया है), कंपाइलर द्वारा उत्पन्न प्योरकॉल फ़ंक्शन का पता वर्चुअल फ़ंक्शंस की तालिका में लिखा गया है।

तब आयत निर्माता को निष्पादित किया जाता है, जो एक ही पॉइंटर को इनिशियलाइज़ करता है, लेकिन इसके वर्चुअल फंक्शन टेबल पर:

"Novtable" क्या करता है, और Microsoft कोड के आकार को कम करने का वादा क्यों करता है?

यह IDrawable वर्चुअल फंक्शन टेबल की अनावश्यक परिभाषा है और IDRable कंस्ट्रक्टर में पॉइंटर को इनिशियलाइज़ करने के लिए "novtable" जोड़ते समय परिणामी कोड से बाहर रखा गया है।

इस मामले में, जब एक IDrawable का निर्माण किया जाता है, तो वर्चुअल फ़ंक्शन तालिका के सूचक में अप्रत्याशित मान होगा। लेकिन यह हमें परेशान नहीं करना चाहिए, क्योंकि ऑब्जेक्ट के पूर्ण निर्माण से पहले वर्चुअल फ़ंक्शंस तक पहुंच के साथ कार्यान्वयन बनाना आमतौर पर एक गलती है। यदि, उदाहरण के लिए, इस वर्ग के एक गैर-आभासी फ़ंक्शन को बेस क्लास के कंस्ट्रक्टर में कहा जाता है, जो बदले में एक आभासी फ़ंक्शन को कॉल करता है, तो प्योरकॉल फ़ंक्शन को बिना नौसिखिए के कहा जाएगा, और गैर-व्यवहार के साथ अप्रत्याशित व्यवहार; कोई भी विकल्प स्वीकार्य नहीं हो सकता है।

ध्यान दें कि न केवल आकार में कमी है, बल्कि कार्यक्रम के कुछ त्वरण भी हैं।

RTTI

जैसा कि आप जानते हैं, std :: डायनेमिक_कास्ट आपको पॉइंटर्स और लिंक को क्लास के एक उदाहरण से एक पॉइंटर और दूसरे से लिंक करने की अनुमति देता है, अगर ये क्लास पदानुक्रमिक रूप से लिंक और पॉलीमॉर्फिक होते हैं (वर्चुअल फ़ंक्शन की एक तालिका होती है)। बदले में, टाइपिड ऑपरेटर आपको उस वस्तु के बारे में जानकारी देता है, जो उस समय उस वस्तु के लिए पॉइंटर (लिंक) का उपयोग करके उस वस्तु को प्राप्त करता है। इन क्षमताओं को आरटीटीआई तंत्र द्वारा प्रदान किया जाता है, जो वर्ग की व्यवहार्यता के संदर्भ में स्थित प्रकार की जानकारी का उपयोग करता है। संरचना और स्थान का विवरण संकलक पर निर्भर करता है। Microsoft कंपाइलर के मामले में, ऐसा दिखता है:



इसलिए, यदि संकलन के दौरान संकलक को आरटीटीआई को सक्षम करने का आदेश दिया जाता है, तो novtable भी IDrawable और इसके लिए आवश्यक सेवा डेटा के लिए type_info परिभाषा के निर्माण को बाहर करता है।
ध्यान दें कि यदि आप किसी तरह ज्ञान प्रदान करते हैं कि बेस क्लास के लिए एक reducible पॉइंटर (लिंक) व्युत्पन्न के कार्यान्वयन को इंगित करता है, तो std :: static_cast अधिक कुशल है और इसके लिए RTTI की आवश्यकता नहीं है।

Microsoft विशिष्ट

MSVC के अलावा, विंडोज के तहत संकलन करते समय क्लैंग में समान सिंटैक्स के साथ यह सुविधा मौजूद है।

निष्कर्ष

1. __declspec (novtable) - वर्ग उदाहरणों द्वारा कब्जा की गई स्मृति की मात्रा को प्रभावित नहीं करता है।
2. आकार को कम करना और अप्रयुक्त आभासी फ़ंक्शन तालिकाओं, आरटीटीआई ओवरहेड की परिभाषा को समाप्त करने और इंटरफ़ेस क्लास निर्माणकर्ताओं में वर्चुअल फ़ंक्शन तालिका के लिए सूचक के लिए आरंभीकरण कोड को समाप्त करके कार्यक्रम को गति देना सुनिश्चित किया गया है।