Cuando se utiliza exit (0) para salir del programa, no se llaman los destructores para objetos no estáticos de ámbito local. Pero se llama a los destructores si se usa retorno 0. Tenga en cuenta que los objetos estáticos se limpiarán incluso si llamamos a exit ().

Debería haber alguna razón detrás de esta lógica. solo quiero saber que es? Gracias.