C++ Logo

std-discussion

Advanced search

[forward_list] push_front is allowed to invalidate iterators and/or references?

From: Tadeus Prastowo <tadeus.prastowo_at_[hidden]>
Date: Wed, 26 Jun 2019 22:39:02 +0200
Hello,

To quote http://eel.is/c++draft/sequences#forwardlist.modifiers-1:
None of the overloads of insert_­after shall affect the validity of
iterators and references, [...].

And, to quote http://eel.is/c++draft/sequences#forwardlist.modifiers-3
on push_front: Effects: Inserts a copy of x at the beginning of the
list.

So, there is no requirement that performing push_front on an
std::forward_list object shall not invalidate any iterators and/or
references.

Isn't this a defect in the standard, considering that
https://en.cppreference.com/w/cpp/container/forward_list/push_front
claims that no iterators and references will be invalidated by
push_front?

Thank you.

-- 
Best regards,
Tadeus

Received on 2019-06-26 15:40:58