Odpověď na názor

[2] O to, bych řekl, právě že jde, že destruktor close_k se volá dříve než dtor k.

Jinak v některých jazycích se ukazuje, že ani blok finally není dost, narážím teď na Javu 7 a blok try-with-resources :-) I u postupu zde v blogu naznačeném vidím hlavní problém ve výjimkách jak v hlavní smyčce, tak přímo během ~Finally, kvůli kterým by na nějaký ten úklid vůbec nemuselo dojít.