[Bug libstdc++/80553] std::vector allows instantiation with type having a deleted destructor

marco at italiancpp dot org gcc-bugzilla@gcc.gnu.org
Fri Apr 28 11:22:00 GMT 2017


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80553

--- Comment #6 from Marco Arena <marco at italiancpp dot org> ---
Hi guys,
thanks for the clarification, I didn't know it's UB, rather I thought this was
a requirement as stated here: http://en.cppreference.com/w/cpp/concept/Erasable
(see "Notes"). I had to read the standard, though. My fault.

Anyway, as clang and vs do, I think it's worthwhile having a compile-error.

Thanks for your comments.


More information about the Gcc-bugs mailing list