What is the exception specification for a defaulted virtual destructor in C++11?

Question

Suppose I have:

class Foo
{
public:
   virtual ~Foo()=default;
};

What is the exception-specification on the defaulted destructor? Is the defaulted destructor equivalent to:

   virtual ~Foo() {};
or
   virtual ~Foo() throw() {};
or
   virtual ~Foo() noexcept {};

Section 15.4 of the C++11 standard says it depends on the exception specifications of the functions directly invoked by the destructor's implicit definition. In this case there are no members, and no base classes, so AFAIK there are no functions directly invoked by the implicit destructor. Is this an ambiguity (or omission) in the standard?

It matters, of course, because if it implicitly has throw(), then all subclasses must declare their destructors with throw(). Don't tell me it's a bad idea to throw exceptions in destructors, I know that. I deal with lots of legacy code where exception specs were not used at all.

As a point of information, when I tried:

class SubFoo : public Foo
{
public:
   virtual ~SubFoo();
};

I got an error (mismatched exception specs) in GCC 4.4 (although I admit I may not have had the right command line switches), but not in XCode 4.3 using the "11" compilers.

Answer 1

Back up to earlier in the same sentence (§15.4/14):

...its implicit exception-specification specifies the type-id T if and only if T is allowed by the exception-specification of a function directly invoked by f’s implicit definition;..."

Therefore, if ~Foo doesn't invoke any functions, it has an implicit declaration that allows no exceptions to be thrown.

According to §15.4/3:

Two exception-specifications are compatible if:

• both are non-throwing (see below), regardless of their form,

That's the case here, so it doesn't really matter whether the declaration is throw() or noexcept -- the two are compatible in any case.