[Bug libstdc++/31247] New: std::vector::iterator::value_type is accessible

["sylvain dot pion at sophia dot inria dot fr" <gcc-bugzilla at gcc dot gnu dot org>]

This is an "accepts invalid code" report.

The following code happens to compile with g++ (all versions),
whereas the standard does not guarantee it should (I think).
----------------------------
#include <vector>

typedef std::vector<int>::iterator Iterator;

Iterator::value_type v;
Iterator::pointer p;
Iterator::iterator_category c;
----------------------------

The problem is that developing code with g++, and introducing this
kind of code by mistake, pops up errors later when other compilers
are used (e.g. those which have pointers for std::vector::iterator).

Would it be a good idea to make the access to such types somehow non public?
For example by making them protected and making std::iterator_traits a friend?
Or maybe only available when _GLIBCXX_DEBUG is not defined ?


-- 
           Summary: std::vector::iterator::value_type is accessible
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: libstdc++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: sylvain dot pion at sophia dot inria dot fr


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