It occured to me that it might be useful to have a library of predicates that could, given i
terators or a container, provide certain logical assertions about how operations affect the 
iterators.  That is, one could static_assert on some predicate called insert_does_not_invali
date_iterators<container_t> ::value.  This would be useful if the container type container_t 
was later changed.  Various functions that depend on specific properties of the containers w
ould then have to pass a compile time check ensuring their pre-assumptions about the contain
er holds.  Given the amount of different operations, and the variance in how different opera
tions affect the container's iterators, and the ease with which STL lends itself to changing
 container types, having a ready-made library of these could be very useful as a general lib
rary or addition to the static assertions or concept checking libraries.
_______________________________________________
Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost