PS Stroustrup's comments about vectors are at best half right; push_back
may extend the vector's length correctly, but operator[] on a vector
certainly does not do bounds checking.

Sure it does, depending on how you configured the STL library. But this is off topic :)