Why move constructor for std::vector
with custom allocator does not deduce a noexcept()
from allocator's behaviours?
This leads to the class that encapsulates such vector cannot form the (other) vector that can be normally moved in some <algorithm>
s. Even if the underlying type meets the nessesary requirements (MoveInsertable and DefaultInsertable).
noexcept
on what of the "allocator's behaviours"?noexcept(allocator::construct(...))
andnoexcept(allocator::destroy(...))
.noexcept
at all.vector&operator=(vector&& __x) noexcept(_Alloc_traits::_S_nothrow_move())
form