class machines
{
 
...
private:
  std::list<std::tr1::shared_ptr<state> > states;
}

15.2(3)
The process of calling destructors for automatic objects constructed on the path from a try block to a throw-expression is called “stack unwinding.” [Note: If a destructor called during stack unwinding exits with an exception, terminate is called (15.5.1). So destructors should generally catch exceptions and not let them propagate out of the destructor. —end note]

B>>~machine()
B>>{
B>>for (list<state*>::iterator it=states.begin();it!=states.end();it++)
B>>    delete (*it);
B>>}

Object t; // деструктор генерирует исключение
//...
throw exception();
//...

ЮЖ>Object t; // деструктор генерирует исключение
ЮЖ>//...
ЮЖ>throw exception();
ЮЖ>//...
ЮЖ>

#include <boost/shared_ptr.hpp>

class A {};

void main()
{
  A* a = new A();
  boost::shared_ptr<A> p(a); //умный указатель, который не перехватывает исключения в свое деструкторе
  delete a; //наши кривые руки (упрощенная модель)
  throw std::exception(); //бросок исключения и в процессе раскрутки стека еще одно исключение, летящее из деструктора boost::shared_ptr
}

{
  scoped_ptr<DelayedFileWrite> file(new DelayedFileWrite(name)); // файл с отложенной записью
  ...
  // запись в деструкторе, при ошибке кидает, так надо знать, что ошибка произошла.
}

AG>{
AG>  scoped_ptr<DelayedFileWrite> file(new DelayedFileWrite(name)); // файл с отложенной записью
AG>  ...
AG>  // запись в деструкторе, при ошибке кидает, так надо знать, что ошибка произошла.
AG>}
AG>

{
  DelayedFileWrite file1(name1); 
  DelayedFileWrite file2(name2); 
  //...

  // А если я выну флешку, на которую оба эти файла должны были бы быть записаны ?

  // ...
}

std::for_each(states.begin(), states.end(), boost::checked_delete<state>);

1 In certain cases (replacement functions, handler functions, operations on types used to instantiate standard library template components), the C++ Standard Library depends on components supplied by a C++ program. If these components do not meet their requirements, the Standard places no requirements on the implementation.

2 In particular, the effects are undefined in the following cases:
[...]
— if any replacement function or handler function or destructor operation throws an exception, unless specifically allowed in the applicable Required behavior paragraph.

R>#include <boost/shared_ptr.hpp>

R>class A {};

R>void main()
R>{
R>  A* a = new A();
R>  boost::shared_ptr<A> p(a); //умный указатель, который не перехватывает исключения в свое деструкторе
R>  delete a; //наши кривые руки (упрощенная модель)
R>  throw std::exception(); //бросок исключения и в процессе раскрутки стека еще одно исключение, летящее из деструктора boost::shared_ptr
R>}
R>

struct X
{
  api::resource m_resource;

  void close()
  {
    int r = api::close(m_resource);
    if(r != OK)
      throw some_exception(r);
  }

  ~X()
  {
    api::close(m_resource); // nothrow
  }
};

struct X
{
  api::resource m_resource;

  void close() {
    api::close(m_resource);
  }

  ~X()
  {
    try {
      this->close();
    } catch(const std::exception&)
    {}
  }
};

struct X
{
  void close()
  {
    int r = api::close(m_resource);
    if(r != OK)
      throw some_exception(r);
  }

  ~X()
  {
     this->close();    
  }
}

X::~X() {
  m_thd.wait_for();
}