Хочу такую фигню на C++ сделать. Что-то типа
void f (.....)
{
some->open();
other->create();
POSTCONDITION
some->close ();
other->free ();
END_OF_POSTCONDITION
основное тело функции.
}
То, что между POSTCONDITION ... END_OF_... должно всегда вызываться, вне зависимости от завершения функции. Как сделать такое с try { } catch в принципе понятно. Но может кто более интересное решение, чтобы можно было постусловия ИМЕННО в начале функции писать, а не в конце.
ЗЫ это все auto_ptr виноват. Так к нему привык, что очень хочется что-то похожее и дальше использовать.
ЗЗЫ а эйфель тут таким боком, что там такая фигня вроде есть