Запрещает ли стандарт C++ разыменование указателя на следующий за последним элементом массива. Если да, то где?