Решил я тут ума-разума добавить, пока не поздно, и открыл стандарт C++11 (драфт стандарта).
Параграф 24.2.1 (про итераторы), пункт 5: «Just as a regular pointer to an array guarantees that there is a pointer value pointing past the last element of the array, ...»
Я, наверное, чего-то совсем не понимаю, но как так может быть? Что если массив в самом конце адресного пространства? Не существует тогда «pointer value pointing past the last element», самый старший адрес в пространстве указывает на последний элемент массива.