İstisna şartname

Question

Aşağıdaki kodu düşünün sanal işlevi geçersiz kılmak için: derlenmiş zaman

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

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

, bu türetilmiş B sınıfı bu önemi nedir A'ya kıyasla daha gevşek bir atış belirtici olduğunu söylüyor? Eğer istisna özelliklerini değiştirmeye çalışırsak, A :: f() B: f() sadece int atarken int ve double atar, hata görünmez.

Answer 1

1. Don't use exception specifications in C++. Java'nınkilere kıyasla çok karşı sezgiseldir.
2. Türetilmiş sınıfta daha geniş bir belirtime sahip olmak LSP (Liskov İkame Prensibi).

noktasında 2 genişletmek için: A 'ın arayanlar sadece int çıkar bekliyoruz ama kullanırsanız bir aniden double (o alenen A türetilen çünkü, aynı zamanda bir A olarak kullanılabilen bir demek) B dışarı çıkabilir ve bu A'un sözleşmesini kırar (sadece int atılır).

Answer 2

Sizin B Liskov değiştirme prensibi ihlal - örn:

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

Bu A için arayüze göre geçerlidir; özellikle, bir çiftin atılmasını beklemiyoruz. Ama biz açıkladığınız arayüzü ile

foo(new B)

aramaya olsaydı düşünün ve

B::f()

çift atmak idi.