некоторые изменения вектора

Если предположить, что векторы осуществляются над массивами, не требование для эффективного распределения означает, что за выделения должны быть использованы, и поэтому необходимо дыры в системе так, что векторы могут быть реализованы? Я думаю, в частности, о том, как компилятор собирается доказать, что возвращаемое значение вектора аксессоры метод или функция не является недействительным.