May STL dtors throw?

[BigMan]

The C++ standard says (17.4.4.8/3): "No destructor operation defined in
the C++ Standard Library will throw an exception."

It also does not put an excception specification for
basic_string::~basic_string() (21.3/6, pp. 385).

Is this NOT a contradiction? May the basic_string dtor throw or not?

 

[Gianni Mariani]

The C++ standard says (17.4.4.8/3): "No destructor operation defined in
the C++ Standard Library will throw an exception."

It also does not put an excception specification for
basic_string::~basic_string() (21.3/6, pp. 385).

Is this NOT a contradiction? May the basic_string dtor throw or not?

no and no.

I suspect that the omission of the throw specifier is not normative.
It's an implementation detail.