"शुद्ध वर्चुअल फ़ंक्शन कॉल" क्रैश कहां से आते हैं?

Question

मैं कभी-कभी उन प्रोग्रामों को नोटिस करता हूं जो त्रुटि के साथ मेरे कंप्यूटर पर क्रैश करते हैं: "शुद्ध वर्चुअल फ़ंक्शन कॉल"।

जब कोई वस्तु किसी सार वर्ग के निर्माण नहीं की जा सकती है तो ये प्रोग्राम कैसे संकलित होते हैं?

Answer 1

यदि आप किसी कन्स्ट्रक्टर या विनाशक से वर्चुअल फ़ंक्शन कॉल करने का प्रयास करते हैं तो वे परिणाम दे सकते हैं। चूंकि आप किसी कन्स्ट्रक्टर या विनाशक से वर्चुअल फ़ंक्शन कॉल नहीं कर सकते हैं (व्युत्पन्न क्लास ऑब्जेक्ट का निर्माण नहीं किया गया है या पहले ही नष्ट हो चुका है), यह बेस क्लास संस्करण को कॉल करता है, जो शुद्ध वर्चुअल फ़ंक्शन के मामले में होता है अस्तित्व में नहीं है सबसे अधिक संभावना उदाहरण पहले से ही नष्ट कर दिया गया -

class Base 
{ 
public: 
    Base() { doIt(); } // DON'T DO THIS 
    virtual void doIt() = 0; 
}; 

void Base::doIt() 
{ 
    std::cout<<"Is it fine to call pure virtual function from constructor?"; 
} 

class Derived : public Base 
{ 
    void doIt() {} 
}; 

int main(void) 
{ 
    Derived d; // This will cause "pure virtual function call" error 
} 

Answer 2

मुझे लगता है कि कुछ आंतरिक कारणों के लिए अमूर्त वर्ग के लिए एक vtbl बनाया गया है (इसे किसी प्रकार की रन टाइम प्रकार की जानकारी के लिए आवश्यक हो सकता है) और कुछ गलत हो जाता है और वास्तविक वस्तु इसे प्राप्त करती है। यह एक बग है। अकेले यह कहना चाहिए कि ऐसा कुछ नहीं हो सकता है।

शुद्ध अटकलें

संपादित करें: लगता है जैसे मैं प्रश्न में मामले में गलत हूँ। ओटीओएच आईआईआरसी कुछ भाषाएं कन्स्ट्रक्टर विनाशक से बाहर Vtbl कॉल करने की अनुमति देती हैं।

Answer 3

आमतौर पर जब आप एक dangling सूचक माध्यम से एक आभासी समारोह कॉल (लाइव डेमो here देखें)।

और भी "रचनात्मक" कारण हो सकते हैं: शायद आप अपने ऑब्जेक्ट के हिस्से को टुकड़ा करने में कामयाब रहे हैं जहां वर्चुअल फ़ंक्शन लागू किया गया था। लेकिन आमतौर पर यह सिर्फ इतना है कि उदाहरण पहले ही नष्ट हो चुका है।

Answer 4

यहां होने के लिए यह एक चुस्त तरीका है। मैं यह अनिवार्य रूप से आज मेरे साथ हुआ था।

class A 
{ 
    A *pThis; 
    public: 
    A() 
    : pThis(this) 
    { 
    } 

    void callFoo() 
    { 
    pThis->foo(); // call through the pThis ptr which was initialized in the constructor 
    } 

    virtual void foo() = 0; 
}; 

class B : public A 
{ 
public: 
    virtual void foo() 
    { 
    } 
}; 

B b(); 
b.callFoo(); 

Answer 5

साथ ही निर्माता या शुद्ध आभासी कार्यों के साथ एक वस्तु का नाशक आप भी एक शुद्ध आभासी समारोह कॉल प्राप्त कर सकते हैं से एक आभासी समारोह बुलाने की मानक मामले (MSVC पर कम से कम) यदि आप एक आभासी फोन वस्तु नष्ट हो जाने के बाद समारोह। जाहिर है यह कोशिश करने और करने के लिए एक बहुत ही बुरी चीज है, लेकिन यदि आप अमूर्त वर्गों के साथ इंटरफेस के रूप में काम कर रहे हैं और आप गड़बड़ कर रहे हैं तो यह कुछ ऐसा है जो आप देख सकते हैं। यदि आप संदर्भित गिनती इंटरफेस का उपयोग कर रहे हैं तो संभवतः अधिक संभावना है और आपके पास एक गिनती बग है या यदि आपके पास बहु-थ्रेडेड प्रोग्राम में ऑब्जेक्ट का उपयोग/ऑब्जेक्ट विनाश दौड़ की स्थिति है ... इस प्रकार के purecall के बारे में बात यह है कि यह है सीटीओआर और डाटर में आभासी कॉल के 'सामान्य संदिग्ध' के लिए चेक के रूप में क्या हो रहा है, यह जानने के लिए अक्सर कम आसान होता है।

एमएसवीसी के विभिन्न संस्करणों में, आप इस प्रकार की समस्याओं को डीबग करने में मदद के लिए रनटाइम लाइब्रेरी के शुद्धकॉल हैंडलर को प्रतिस्थापित कर सकते हैं। आप इस हस्ताक्षर के साथ अपना स्वयं का फ़ंक्शन प्रदान करके ऐसा करते हैं:

int __cdecl _purecall(void) 

और रनटाइम लाइब्रेरी को लिंक करने से पहले इसे लिंक करना। यह आपको शुद्ध करता है जब एक शुद्धकॉल का पता चला है तो क्या होता है। एक बार आपके नियंत्रण होने के बाद आप मानक हैंडलर से कुछ और उपयोगी कर सकते हैं। मेरे पास एक हैंडलर है जो कि पर्सकॉल कहां से एक स्टैक ट्रेस प्रदान कर सकता है; अधिक जानकारी के लिए यहां देखें: http://www.lenholgate.com/blog/2006/01/purecall.html।

(ध्यान दें कि आप एमएसवीसी के कुछ संस्करणों में अपने हैंडलर को स्थापित करने के लिए _set_purecall_handler() को भी कॉल कर सकते हैं)।

Answer 6

मैं वीएस -2010 का उपयोग करता हूं और जब भी मैं सार्वजनिक पद्धति से सीधे विनाशक को कॉल करने का प्रयास करता हूं, तो मुझे रनटाइम के दौरान "शुद्ध वर्चुअल फ़ंक्शन कॉल" त्रुटि मिलती है।

template <typename T> 
class Foo { 
public: 
    Foo<T>() {}; 
    ~Foo<T>() {}; 

public: 
    void SomeMethod1() { this->~Foo(); }; /* ERROR */ 
}; 

तो मैं ले जाया अंदर क्या ~ फू() निजी विधि अलग करने के लिए है, तो यह एक आकर्षण की तरह काम किया है।

template <typename T> 
class Foo { 
public: 
    Foo<T>() {}; 
    ~Foo<T>() {}; 

public: 
    void _MethodThatDestructs() {}; 
    void SomeMethod1() { this->_MethodThatDestructs(); }; /* OK */ 
};