Ответ находится в параграфе перед тем, который вы указываете:
4 / Для целей этих операторов указатель на объект nonarray ведет себя так же, как указатель на первый элемент из массива длиной один с типом объекта в качестве его типа элемента.
blockquote>(Примечание: я цитирую C ++ 11, поскольку у меня нет C ++ 03 до Я уверен, что ничего не изменилось.)
Итак, да,
&na + 1
является допустимым указателем прошлого.