Еще можно посмотреть со стороны линейного поиска. Если нумерация с нуля, то a[N] - это элемент-барьер.
Аналогично сделано в stl для итераторов: элемент v.end() - это "адрес" фиктивного элемента за последним реальным элементом контейнера v.