Attraper les exceptions polymorphically

Question

Voici main():

int main() 
{ 
    B b(1,"two","three"); 
    try 
    { 
     f1(b); 
    } 
    catch(B& b_ref) 
    { 
     cout<<"Caught B&"<<endl; 
     b_ref.print(); 
    } 
    catch(A& a_ref) 
    { 
     cout<<"Caught A&"<<endl; 
     a_ref.print(); 
    } 

    system("pause"); 
    return 0; 
} 

Voici f1():

void f1(A& subject) 
{ 
    throw subject; 
}  

Information:

B hérite de A. A::print() est virtuel et est réimplémenta B. capture qui attrape l'exception est catch(A& a_ref), ce qui, je suppose, est logique, puisque le type statique des exceptions (sujete ct) est A &. MAIS, pourquoi ne fonctionne pas B:: print()? Le type dynamique est-il "perdu"? Seul A::print() s'exécute dans la ligne a_ref.print();.

Quelqu'un peut-il expliquer?

Answer 1

Lorsque vous dites "throw subject", un nouvel objet d'exception est créé en fonction du type statique de l'expression de lancement (subject). Le fait que subject soit une référence n'est pas pertinent pour déterminer l'objet à lancer. Un nouvel objet A est copié à partir de subject. Cette copie (ou éventuellement une copie de cette copie) est l'objet réel capturé.

Answer 2

throw ne lance qu'un objet du type de l'expression qui le suit. Dans ce cas, subject est de type A&, quel que soit l'objet réel, de sorte qu'un A est lancé (notez que les références ne peuvent pas être levées, donc une copie est faite).

Vous pouvez gérer cela en ajoutant une fonction membre à vos classes d'exception qui lève l'exception. Tant que vous implémentez cette méthode dans chaque classe, le remplacement qui est appelé connaît le type d'exécution de l'objet et peut throw *this.

http://www.ddj.com/cpp/184401940

Answer 3

Parce que vous attrapez par référence l'objet est «coupé en tranches.

Si vous voulez vraiment un comportement polymorphe, essayez d'utiliser quelque chose comme l'idiome de pimpl.

Answer 4

nvm, mon manque de compétences en compréhension de lecture. Pensé qu'il crée des objets de type A.

Answer 5

Les blocs de saisie fonctionnent polymorphiquement, mais pas le lancer. Quand vous dites:

void f1(A& subject) 
{ 
    throw subject; 
} 

vous jetez un A, bien que la chose passée à la fonction est un B.

Answer 6

Selon standard C++ 15.1/3:

A deux pas d'expression initialise un objet temporaire, appelé l'objet d'exception, dont le type est déterminé en supprimant les qualificatifs cv de haut niveau du type statique de l'opérande de lancer ...

Donc, vous créez un objet temporaire de type A, pas B.