22 Feb
2012
22 Feb
'12
2:24 p.m.
Daryle Walker wrote:
As per N3204 (clang already implemented this), with the following type
struct type { type() noexcept; ~type() { throw 0; } };
`noexcept(type())` should return true, despite the fact that the destructor throws.
Explicitly adding a "noexcept(false)" to the destructor (which may be a good idea) would change "noexcept(type())" to false, right?
Right!
The global-void*-new method should never consider the destructor in noexcept evalutations.
This seems the right way. Dave also suggested to use placement new in libstdc++'s <type_traits>. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51452 Regards, Michel