अपवाद विनिर्देश जब एक आभासी समारोह

Question

पर विचार करें निम्नलिखित कोड अधिभावी:

class A 
{ 
public: 
    virtual void f() throw (int) { } 
}; 

class B: public A 
{ 
public: 
    void f() throw (int, double) { } 
}; 

जब संकलित है, यह कहना है व्युत्पन्न वर्ग बी ए क्या इस का महत्व है की तुलना में एक हारने फेंक विनिर्देशन होता है कि? यदि हम उनके अपवाद विनिर्देश का आदान-प्रदान करने का प्रयास करते हैं, जैसे कि ए :: एफ() int और double फेंकता है जबकि बी :: एफ() केवल int को फेंकता है, तो त्रुटि प्रकट नहीं होती है।

Answer 1

1. Don't use exception specifications in C++. जावा के मुकाबले यह बहुत प्रतिद्वंद्वी है।
2. व्युत्पन्न वर्ग में व्यापक विनिर्देश होने से एलएसपी (लिस्कोव प्रतिस्थापन सिद्धांत) टूट जाता है।

बिंदु 2 पर विस्तार करने के लिए: A की कॉल उम्मीद करते हैं कि केवल int बाहर आता है, लेकिन अगर आप का प्रयोग कर एक B (जो है, क्योंकि यह सार्वजनिक रूप से A से ली गई है, यह भी मतलब है कि यह एक A के रूप में प्रयोग करने योग्य है), अचानक double बाहर भी आ सकता है, और यह A के अनुबंध को तोड़ देगा (केवल int फेंक दिया जाता है)।

Answer 2

आपका बी Liskov प्रतिस्थापन सिद्धांत का उल्लंघन करता है - उदाहरण के लिए:

 
void foo(A* a) throw() // ie I will not throw 
{ 
    try 
    { 
    a->f(); 
    } 
    catch(int) 
    {} 
} 

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

foo(new B)

कॉल करने के लिए थे, और

B::f()

एक डबल फेंक रहे थे।