[Bug c++/31729] New: Nonconforming std::map

[Bug c++/31729] New: Nonconforming std::map

[leg0 at hot dot ee]

erase member functions of std::map class template do not conform to standard:

std::map<...>::erase(iterator) and std::map<...>::erase(iterator, iterator)
both return void when they should return iterator (23.3.1):

bits/stl_map.h:444

      void
      erase(iterator __position)
      { _M_t.erase(__position); }

bits/stl_map.h:474

      void
      erase(iterator __first, iterator __last)
      { _M_t.erase(__first, __last); }


The standard requires signature of these functions to be:

      iterator erase(iterator);
      iterator erase(iterator, iterator);


-- 
           Summary: Nonconforming std::map
           Product: gcc
           Version: 4.1.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: leg0 at hot dot ee


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31729

[Bug libstdc++/31729] Nonconforming std::map

[pcarlini at suse dot de]

------- Comment #1 from pcarlini at suse dot de  2007-04-27 17:26 -------
I have the standard in front of me, both the printed version and the electronic
version, and certainly you are wrong, both overloads return void.


-- 

pcarlini at suse dot de changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
          Component|c++                         |libstdc++
         Resolution|                            |INVALID


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31729

[Bug libstdc++/31729] Nonconforming std::map

[leg0 at hot dot ee]

------- Comment #2 from leg0 at hot dot ee  2007-04-27 19:26 -------
According to the working drafts
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2009.pdf and 
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1905.pdf I am right.
But since they are drafts I may still be wrong.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31729

[Bug libstdc++/31729] Nonconforming std::map

[pcarlini at suse dot de]

------- Comment #3 from pcarlini at suse dot de  2007-04-27 19:31 -------
Working drafts are working drafts, and therefore are about the *next* standard,
not the current one, C++03. When the new standard will be out, and we'll
provide a conforming implementation, breaking the ABI, we'll provide different
overloads of erase and *a lot* of new / incompatible stuff.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31729