When is a destructor "used"?

G'day everyone.

Quick question, with a possibly non-quick answer.

Consider this snippet:

template<typename T>
class Container
{
public:
    // NOTE: This is throw-none.
    Container(T* p_obj = 0) throw() : m_obj(p_obj) {}

    ~Container()
    {
        // Use checked_delete() to avoid UB.
        boost::checked_delete(m_obj);
    }

private:
    T* m_obj;
};

class Foo;

struct Bar
{
     Container<Foo> foo1;
     Container<Foo> foo2;

     Bar() {} // XXX
     ~Bar();
}

The question is: Is the XXX line correct?

The question relates to whether or not the destructor for the
Containers is "used" in this function. Some compilers reason that
the constructor of foo2 might fail, and so the destructor for foo1
is "used". But at least one (Forte) notices that this can't happen
because the constructor of foo2 is declared as throw-none.

Who is right?

Cheers,
Andrew Bromage

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]