Am 14.12.2012 um 18:05 schrieb Joerg Sonnenberger <jo...@britannica.bec.de>:
> On Fri, Dec 14, 2012 at 05:51:44PM +0100, Marc Balmer wrote: >> >> >> Am 14.12.2012 um 17:07 schrieb Joerg Sonnenberger <jo...@britannica.bec.de>: >> >>> On Fri, Dec 14, 2012 at 08:59:37AM +0000, David Laight wrote: >>>> Similarly it just isn't worth trying to free resources prior >>>> to program exit. Have you ever waited while a big C++ program >>>> runs all its destructors, paging in code and data just to exit! >>> >>> Depends, it makes tools like valgrind a lot easier to use. >>> >> >> Source code should be optimized for readability, performance, >> stability, and not for debug tools. > > Ironically, proper ressource managements tends to make it much easier to > fulfill at least two of the three items... proper resource management is a good thing - if the code continues to run. In this case, where the program exits, there no benefit from freeing up memory etc.
