specifica eccezione quando l'override una funzione virtuale

Question

Si consideri il seguente codice:

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

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

Quando compilato, si dice che classe derivata B ha un perdente tiro identificatore rispetto ad A. Qual è l'importanza di questo? Se proviamo a scambiare le loro specifiche di eccezione, così che A :: f() genera int e double mentre B :: f() lancia solo int, l'errore non appare.

Answer 1

1. Don't use exception specifications in C++. È molto controintuitivo rispetto a, per esempio, quelli di Java.
2. Avere una specifica più ampia nella classe derivata interrompe LSP (Principio di sostituzione di Liskov).

Per espandere il punto 2: i chiamanti A s' si aspettano che solo int viene fuori, ma se si utilizza un B (che, perché è pubblicamente derivato da A, significa anche che è utilizzabile come A), improvvisamente double può uscire anche lui, e questo potrebbe rompere il contratto di A (che viene lanciato solo lo int).

Answer 2

tuo B viola il principio di sostituzione di liskov - ad esempio:

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

Questo è valida secondo l'interfaccia per A; in particolare, non prevediamo il lancio di un doppio. Ma prendere in considerazione se dovessimo chiamare

foo(new B)

con l'interfaccia che lei descrive, e

B::f()

dovesse lanciare una doppia.