http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51823
--- Comment #9 from Marc Glisse <marc.glisse at normalesup dot org> 2012-01-11 15:46:44 UTC --- (In reply to comment #8) > We could specialize reverse_iterator on a trait that says the extra member > isn't needed, and then make that trait true for all iterator types defined in > the library. I was just writing myself a note to try and get such a trait added to the standard ;-) I don't know if it is worth doing that optimization now (I was complaining on the principle, I don't think I ever used reverse_iterator), depends on your motivation...