cpp:exception
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
cpp:exception [2018/05/18 13:43] – [Δημιουργία και διαχείριση της εξαίρεσης] gthanos | cpp:exception [2018/05/20 15:02] – [Κλείσιμο ανοιχτών resources όταν συμβεί ένα exception] gthanos | ||
---|---|---|---|
Line 133: | Line 133: | ||
===== Δημιουργία και διαχείριση της εξαίρεσης ===== | ===== Δημιουργία και διαχείριση της εξαίρεσης ===== | ||
- | Όπως σε όλες τις γλώσσες αντικειμενοστραφούς προγραμματισμού η παραγωγή μιας εξαίρεσης θα πρέπει να γίνει μέσα σε ένα //try block// και η διαχείριση της μέσα σε ένα //catch block// που ακολουθεί το //try block//. Δείτε το παρακάτω ενδεικτικό παράδειγμα. | + | Όπως σε όλες τις γλώσσες αντικειμενοστραφούς προγραμματισμού η παραγωγή μιας εξαίρεσης θα πρέπει να γίνει μέσα σε ένα //try block// και η διαχείριση της μέσα σε ένα //catch block// που ακολουθεί το //try block//. Δείτε το παρακάτω ενδεικτικό παράδειγμα, όπου ανάλογα με την είσοδο που βάζει ο χρήστης παράγεται διαφορετικού τύπου // |
<code cpp ExceptionHandling.cpp> | <code cpp ExceptionHandling.cpp> | ||
Line 183: | Line 183: | ||
} catch(const MyException &ex) { | } catch(const MyException &ex) { | ||
cout << "Got '"<< | cout << "Got '"<< | ||
- | } catch(...) { | + | } catch(...) { // catch any exception not caught above! |
cout << "Got an exception of unknown type!\n"; | cout << "Got an exception of unknown type!\n"; | ||
} | } | ||
Line 189: | Line 189: | ||
} | } | ||
</ | </ | ||
+ | |||
+ | <WRAP info 80% center round> | ||
+ | Στον παραπάνω κώδικα το //catch block// | ||
+ | <code cpp> | ||
+ | } catch(...) { // catch any exception not caught above! | ||
+ | cout << "Got an exception of unknown type!\n"; | ||
+ | } | ||
+ | </ | ||
+ | πιάνει όλους τους τύπους // | ||
+ | </ | ||
<WRAP tip 80% center round> | <WRAP tip 80% center round> | ||
Line 196: | Line 206: | ||
===== Κληρονομικότητα ===== | ===== Κληρονομικότητα ===== | ||
- | Ας υποθέσουμε ότι έχουμε τη σχέση κληρονομικότητας μεταξύ των κλάσεων **IDException** και **CountedIDException**, όπως παρακάτω: | + | Ας υποθέσουμε ότι έχουμε τη σχέση κληρονομικότητας μεταξύ των κλάσεων **BaseException** και **DerivedException**, όπως παρακάτω: |
<code cpp BaseException.h> | <code cpp BaseException.h> | ||
+ | using namespace std; | ||
+ | |||
class BaseException: | class BaseException: | ||
protected: | protected: | ||
Line 205: | Line 217: | ||
BaseException(int a) { this->a = a; } | BaseException(int a) { this->a = a; } | ||
const char* what() const throw() { | const char* what() const throw() { | ||
- | char s[64]; | + | |
- | sprintf(s, " | + | char *s = new char [64]; |
+ | sprintf(s, " | ||
return s; | return s; | ||
} | } | ||
Line 212: | Line 225: | ||
</ | </ | ||
- | <code cpp CountedIDException.h> | + | <code cpp DerivedException.h> |
#include " | #include " | ||
+ | using namespace std; | ||
+ | |||
class DerivedException: | class DerivedException: | ||
int b; | int b; | ||
public: | public: | ||
- | DerivedException(int a, int b): Base(a) { this->b = b; } | + | DerivedException(int a, int b): BaseException(a) { this->b = b; } |
const char* what() const throw() { | const char* what() const throw() { | ||
- | char s[64]; | + | char *s = new char [64]; |
- | sprintf(s, " | + | sprintf(s, " |
return s; | return s; | ||
} | } | ||
Line 226: | Line 241: | ||
</ | </ | ||
- | <code cpp IDExceptionUse.cpp> | + | <code cpp ExceptionUse.cpp> |
#include < | #include < | ||
+ | #include " | ||
using namespace std; | using namespace std; | ||
int main() { | int main() { | ||
try { | try { | ||
+ | int option; | ||
+ | cout << "Enter option (1-2): "; | ||
+ | cin >> option; | ||
+ | BaseException bex(-2); | ||
+ | DerivedException dex(4,5); | ||
+ | switch(option) { | ||
+ | case 1: | ||
+ | throw bex; | ||
+ | break; | ||
+ | case 2: | ||
+ | throw dex; | ||
+ | break; | ||
+ | } | ||
} catch(BaseException ex) { | } catch(BaseException ex) { | ||
cout << ex.what(); | cout << ex.what(); | ||
Line 240: | Line 269: | ||
} | } | ||
</ | </ | ||
+ | |||
+ | O παραπάνω κώδικας παράγει το παρακάτω //warning// κατά τη μεταγλώττιση: | ||
+ | < | ||
+ | ExceptionUse.cpp: | ||
+ | } catch(DerivedException &ex) { | ||
+ | ^ | ||
+ | ExceptionUse.cpp: | ||
+ | } catch(BaseException &ex) { | ||
+ | ^ | ||
+ | </ | ||
+ | |||
+ | το οποίο εν συντομία λέει ότι ένα exception τύπου // | ||
+ | |||
+ | Εκτελέστε όμως τον παραπάνω κώδικα (παρά το warning) δίνοντας ορίσμα τους αριθμούς 1 και 2. Το αποτέλεσμα είναι το εξής: | ||
+ | < | ||
+ | gthanos@gthanos-DESKTOP: | ||
+ | Enter option (1-2): 1 | ||
+ | BaseException, | ||
+ | gthanos@gthanos-DESKTOP: | ||
+ | Enter option (1-2): 2 | ||
+ | BaseException, | ||
+ | </ | ||
+ | |||
+ | Παρατηρήστε ότι ενώ στην 2η περίπτωση παράγεται ένα // | ||
+ | |||
+ | Η απάντηση στο παραπάνω ερώτημα είναι ότι αν και παράγεται ένα αντικείμενο τύπου // | ||
+ | |||
+ | Ο τρόπος για να δουλέψει σωστά ο παραπάνω κώδικας είναι μέσα στο //catch block// να μην περάσουμε το αντικείμενο γιατί δημιουργείται αντίγραφο, | ||
+ | |||
+ | <code cpp ExceptionUse.cpp> | ||
+ | #include < | ||
+ | #include " | ||
+ | using namespace std; | ||
+ | |||
+ | int main() { | ||
+ | try { | ||
+ | int option; | ||
+ | cout << "Enter option (1-2): "; | ||
+ | cin >> option; | ||
+ | BaseException bex(-2); | ||
+ | DerivedException dex(4,5); | ||
+ | switch(option) { | ||
+ | case 1: | ||
+ | throw bex; | ||
+ | break; | ||
+ | case 2: | ||
+ | throw dex; | ||
+ | break; | ||
+ | } | ||
+ | } catch(BaseException &ex) { | ||
+ | cout << ex.what(); | ||
+ | } catch(DerivedException &ex) { | ||
+ | cout << ex.what(); | ||
+ | } | ||
+ | return 0; | ||
+ | } | ||
+ | </ | ||
+ | |||
+ | Πλέον το αποτέλεσμα της εκτέλεσης είναι το αναμενόμενο | ||
+ | < | ||
+ | gthanos@gthanos-DESKTOP: | ||
+ | Enter option (1-2): 1 | ||
+ | BaseException, | ||
+ | gthanos@gthanos-DESKTOP: | ||
+ | Enter option (1-2): 2 | ||
+ | DerivedException, | ||
+ | </ | ||
+ | |||
+ | <WRAP tip 80% center round> | ||
+ | Το πιάσιμο μιας εξαίρεσης με χρήση αναφοράς για αντικείμενα σύνθετους τύπου (όχ char, int, long, double κλπ), διότι //α)// αποφεύγουμε την αντιγραφή του αντικειμένου μέσα στο //catch block// (πιο γρήγορος κώδικας) και //β)// αποφεύγουμε την " | ||
+ | </ | ||
+ | |||
+ | <WRAP tip 80% center round> | ||
+ | Είναι προφανές ότι η σειρά των //catch blocks// θα έπρεπε να είναι η αντίστροφη (πρώτα το //catch block// για την αναφορά τύπου // | ||
+ | </ | ||
+ | ===== Stack Unwinding ===== | ||
+ | |||
+ | Κατά την δημιουργία ενός // | ||
+ | |||
+ | <code cpp StackUnwinding.cpp> | ||
+ | #include < | ||
+ | // called by FFF() | ||
+ | void FFFF() { | ||
+ | std::cout << "Start FFFF\n"; | ||
+ | std::cout << "FFFF throwing int literal exception\n"; | ||
+ | throw 100; | ||
+ | std::cout << "End FFFF\n"; | ||
+ | |||
+ | } | ||
+ | // called by FF() | ||
+ | void FFF() { | ||
+ | std::cout << "Start FFF\n"; | ||
+ | FFFF(); | ||
+ | std::cout << "End FFF\n"; | ||
+ | } | ||
+ | // called by F() | ||
+ | void FF() { | ||
+ | std::cout << "Start FF\n"; | ||
+ | try { | ||
+ | FFF(); | ||
+ | } catch(char) { | ||
+ | std::cerr << "FF caught double exception\n"; | ||
+ | } | ||
+ | std::cout << "End FF\n"; | ||
+ | } | ||
+ | // called by main() | ||
+ | void F() { | ||
+ | std::cout << "Start F\n"; | ||
+ | try { | ||
+ | FF(); | ||
+ | } catch (int) { | ||
+ | | ||
+ | } catch (char) { | ||
+ | | ||
+ | } | ||
+ | std::cout << "End F\n"; | ||
+ | } | ||
+ | |||
+ | int main() { | ||
+ | std::cout << "Start main\n"; | ||
+ | try { | ||
+ | F(); | ||
+ | } catch (int) { | ||
+ | std::cerr << "main caught int exception\n"; | ||
+ | } | ||
+ | std::cout << "End main\n"; | ||
+ | return 0; | ||
+ | } | ||
+ | </ | ||
+ | |||
+ | Το αποτέλεσμα που εκτυπώνεται στην οθόνη είναι το εξής: | ||
+ | < | ||
+ | Start main | ||
+ | Start F | ||
+ | Start FF | ||
+ | Start FFF | ||
+ | Start FFFF | ||
+ | FFFF throwing int literal exception | ||
+ | F caught int exception | ||
+ | End F | ||
+ | End main | ||
+ | </ | ||
+ | |||
+ | H εξέλιξη του //program stack// στο παρακάτω πρόγραμμα δίνεται στο παρακάτω διάγραμμα. Παρατηρήστε ότι το exception παράγεται στη συνάρτηση **FFFF()**, αλλά " | ||
+ | |||
+ | {{ : | ||
+ | |||
+ | ===== Διαχείριση μίας εξαίρεσης και παραγωγή μίας νέας εξαίρεσης κατά την διαχείριση ===== | ||
+ | |||
+ | Κάποιες φορές είναι επιθυμητό να διαχειριστούμε μία εξαίρεση προκειμένου να κλείσουμε κάποιο // | ||
+ | |||
+ | <code cpp PPMImageSample.cpp> | ||
+ | #include < | ||
+ | #include < | ||
+ | #include <ios> | ||
+ | #include < | ||
+ | |||
+ | using namespace std; | ||
+ | |||
+ | class PPMImage { | ||
+ | int width, height, colordepth; | ||
+ | int **raster; | ||
+ | public: | ||
+ | PPMImage(char *filename) { | ||
+ | string str; | ||
+ | unsigned char red, green, blue; | ||
+ | ifstream in(filename); | ||
+ | if(!in.is_open()) { | ||
+ | std:: | ||
+ | throw fex; | ||
+ | } | ||
+ | try { | ||
+ | in >> str; | ||
+ | in >> str; | ||
+ | width = atoi(str.c_str()); | ||
+ | in >> str; | ||
+ | height = atoi(str.c_str()); | ||
+ | in >> str; | ||
+ | colordepth = atoi(str.c_str()); | ||
+ | raster = new int*[height]; | ||
+ | for(int row=0; row< | ||
+ | raster[row] = new int[width]; | ||
+ | for(int row=0; row< | ||
+ | for(int col=0; col< | ||
+ | cin >> str; | ||
+ | red = (unsigned char) atoi(str.c_str()); | ||
+ | cin >> str; | ||
+ | green = (unsigned char) atoi(str.c_str()); | ||
+ | cin >> str; | ||
+ | blue = (unsigned char) atoi(str.c_str()); | ||
+ | raster[row][col] = 0; | ||
+ | raster[row][col] = (red << 16) | (green << 8) | blue; | ||
+ | } | ||
+ | } | ||
+ | } | ||
+ | catch(std:: | ||
+ | cerr << " | ||
+ | in.close(); | ||
+ | throw ex; | ||
+ | } | ||
+ | } | ||
+ | | ||
+ | ~PPMImage() { | ||
+ | for(int row=0; row< | ||
+ | delete raster[row]; | ||
+ | delete raster; | ||
+ | } | ||
+ | | ||
+ | int **getRaster() { return raster; } | ||
+ | | ||
+ | }; | ||
+ | |||
+ | int main(int argc, char *argv[]) { | ||
+ | PPMImage *imgptr=nullptr; | ||
+ | try{ | ||
+ | imgptr = new PPMImage(argv[1]); | ||
+ | } | ||
+ | catch(ios_base:: | ||
+ | cerr << "File '" | ||
+ | } | ||
+ | catch(bad_alloc &ex) { | ||
+ | cerr << " | ||
+ | if (imgptr!=nullptr) { | ||
+ | cerr << " | ||
+ | if(imgptr-> | ||
+ | cerr << " | ||
+ | delete imgptr-> | ||
+ | } | ||
+ | else { | ||
+ | cerr << " | ||
+ | } | ||
+ | delete imgptr; | ||
+ | } | ||
+ | else { | ||
+ | cerr << " | ||
+ | } | ||
+ | } | ||
+ | delete imgptr; | ||
+ | return 0; | ||
+ | } | ||
+ | </ | ||
+ | |||
+ | Το ενδεικτικό αρχείο εισόδου είναι το παρακάτω: | ||
+ | |||
+ | <code 3x2.ppm> | ||
+ | P3 | ||
+ | 3 -2 255 | ||
+ | 255 0 0 255 255 0 0 255 255 | ||
+ | 255 0 255 0 255 0 128 128 128 | ||
+ | </ | ||
+ | |||
+ | Από τον παραπάνω κώδικα μπορούμε να συμπεράνουμε τα εξής: | ||
+ | - Εφόσον παράγεται ένα // | ||
+ | - Εάν εφαρμόσω τον τελεστή **delete** σε ένα δείκτη που έχει την τιμή **nullptr**, | ||
+ | |||
+ | ==== Ένα 2ο παράδειγμα ==== | ||
+ | |||
+ | Στο προηγούμενο παράδειγμα κάντε την εξής αλλαγή. Αντικαταστήστε το //catch block// στον κατασκευαστή με το παρακάτω: | ||
+ | |||
+ | <code cpp> | ||
+ | catch(std:: | ||
+ | cerr << " | ||
+ | in.close(); | ||
+ | throw ex; | ||
+ | } | ||
+ | </ | ||
+ | |||
+ | Το //exception std:: | ||
+ | < | ||
+ | ===== Δήλωση των εξαιρέσεων που παράγουν οι συναρτήσεις (exception specifiers) ===== | ||
+ | |||
+ | Κατά τη δήλωση μίας συνάρτησης είναι δυνατόν να ορίσετε εάν αυτή μπορεί να παράγει κάποιου είδους // | ||
+ | - '' | ||
+ | - '' | ||
+ | - '' | ||
+ | |||
+ | Τους παραπάνω ορισμούς είναι δυνατόν να τους συναντήσετε στις // | ||
+ | |||
+ | ===== Function try blocks ===== | ||
+ | |||
+ | ===== Η κλάση std:: | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
cpp/exception.txt · Last modified: 2023/05/15 14:01 by gthanos