אחרי ההקדמה הנ"ל - החלטתי לתת מדי פעם(אני אשתדל כל שבוע, ואולי גם יותר - בהתאם להיענות) טיפים לגבי טעויות שאני רואה שמתכנתים עושים לפעמים, בעיקר מתכנתים צעירים/לא מתורגלים ב-CPP.

אני אתחיל מדברים טריוואלים יחסית, ואני אשתדל לגעת בכל מני אספקטים של OOP/ C++. בהמשך אני אולי אכנס לדברים שיכולים לשגע את השכל עם WIN API וכו'. הכל בהתאם להאם זה יעניין את אנשי הפורום.

ואחרי החפירה - בואו נתחיל.

כמה דברים:
1. בבקשה, לכתוב תשובות בתוך התוכן ולא בכותרת - כדי לא להרוס לאנשים שרוצים לחשוב גם הם.

2. ברור לי שהקוד נראה על הפנים. זאת לא המטרה מן הסתם.

והיום - מה לא בסדר בקוד הנ"ל? (בלי לקמפל, בלי להריץ!)
לצורך העניין, canUnloadNow היא מתודה סטטית של Helper, שקובעת האם מותר לנו למחוק את העצמים/לעשות הריסה כלשהי של התכנית.. זה לא חשוב

#include <iostream>
#include <windows.h>
using std::exception;
#define TRACE(x) OutputDebugStringA(x)

class A {
public:
	A() { 
		TRACE("A Ctor\n"); 
	}
	~A() {
		if (!Helper::canUnloadNow()) {
			TRACE("A: Cannot unload now!\n");
			throw std::exception();
		} 
	}
};

class B {
public:
	B() { TRACE("B Ctor\n"); }
	~B() { 
		if (!Helper::canUnloadNow()) {
			TRACE("B: Cannot unload now!\n");
			throw std::exception();
		}
	}
private:
	A a;
};

int main ()
{
	try {
		B a;
	}
	catch (...) {
		TRACE("Exception!\n");
	}
}

ולמה?

כאשר נזרק excpetion, מתבצע תהליך של stack unwinding. מה זאת אומרת? הסטאק מתחיל להתנקות מכל האובייקטים שהוקצו עליו,
החל מהנקודה שעשינו throw X ועד הנקודה שעשינו catch X(או במקרה שאין catch, עד ה default exception handler שמוגדר על ידי ה runtime).

אם במהלך אחד מה-DTORים האלה נזרק אקספשן נוסף -
ה runtime של C++ יקרא אוטומטית לפונקציה terminate() ויסיים את ריצת התוכנית!

למה זה הגיוני? נניח שיש לנו DTOR אחד שזורק LiranException. אחרי שה-Exception נזרק,
מתחיל תהליך הנקיון של הסטאק(unwinding) שבמהלכו נקרא ה destructor של אובייקט כלשהו שהיה לנו במחלקה.
האובייקט הזה, בתורו, זורק גם הוא אקספשן ב destructor, מסוג OmerException.מה עושים עכשיו? עד לאן צריך לעשות unwinding?
עד catch(OmerException&)? עד catch(LiranException&)?

התקן של C++ החליט שבכל מצב, אנחנו נפסיד פה משהו.
הרי אי אפשר ללכת לשניהם, כי אי אפשר להחזיק שני EXCEPTIONים ברגע נתון (אבל על זה, בפעם אחרת).

אמנם, אפשר לומר "אז בעצם, אם מובטח שרק אובייקט אחד בכל רגע נתון זורק
excpetion ב- DTOR, אז הכל בסדר"

נכון. אבל עדיין, בחיים לא עושים את זה. כי מתכנתים אחרים יכולים לא
לדעת את זה. ומעבר לזה - זה ממש ממש מכוער.

אז הכלל הוא:
לעולם, לעולם, לעולם(!) אין לזרוק Excpetions מ Destructor

אז תשאלו: "רגע, לירן, אז מתי כן אפשר לזרוק excpetionים ב desutrctor?"
והתשובה היא: אף פעם

"בלי חריגות?"
בלי! לעולם, לעולם, לעולם(!) אין לזרוק Excpetions מ Destructor

אני מקווה שהבהרתי את הכוונה שלי

אם יש שאלות - אשמח לענות.