CODEWITHSUNDEEP
c++destructorexit
Truncheon
Truncheon

Reputation: 976

Will exit() or an exception prevent an end-of-scope destructor from being called?

Let's say I have the following code:

struct mytype
{
    ~mytype() { /* do something like call Mix_CloseAudio etc */ }
};

int main()
{
    mytype instant;

    init_stuff();

    start();

    return 0;
}

Is that destructor guaranteed to be called even if exit() is used from somewhere inside start() ?

Upvotes: 24

Views: 6173

Answers (3)

Ken Bloom
Ken Bloom

Reputation: 58770

Exceptions will call destructors, so long as something in the program catches the exception. If the exception exits the main() function without being caught, the standard does not require the runtime to unwind the stack to clean up.

Using a

try{
  // code
}catch(...){ //that elipsis should actually appear in your code
             //it doesn't mean I omitted code here.
  //code
}

in your main() function will guarantee that every exception is caught, and all destructors are called.

Upvotes: 3

anon
anon

Reputation:

Yes, calling exit() means the destructor will not be called:

Calling the function void exit(int); declared in <cstdlib> (18.3) terminates the program without leaving the current block and hence without destroying any objects with automatic storage duration (12.4). If exit is called to end a program during the destruction of an object with static storage duration, the program has undefined behavior.

If an exception is thrown, on the other hand, the destructor will be called. This is the basis of exception safety in C++.

Upvotes: 18

James McNellis
James McNellis

Reputation: 354969

If you call exit, the destructor will not be called.

From the C++ standard (§3.6.1/4):

Calling the function

void exit(int);

declared in <cstdlib> (18.3) terminates the program without leaving the current block and hence without destroying any objects with automatic storage duration (12.4). If exit is called to end a program during the destruction of an object with static storage duration, the program has undefined behavior.

Upvotes: 29

Related Questions