Данный фрагмент кода совершенно корректный, так как оператор delete
использует значение, хранящееся в указателе, которое равно значению, ранее полученному с использованием оператора new.
int* a = new int[4];
++a;
--a;
delete [] a;
Для оператора совершенно неважно, какое до этого в указателе было значение, и как оно изменялось. Чтобы это сделать еще более наглядным то вы можете написать, например,
int x;
int *px = &x;
int* a = new int[4];
px = a;
a = &x;
delete [] px;
Однако данный фрагмент кода
int* a = new int[4];
++a;
delete [] a;
некорректный, так как указатель a
не содержит адрес выделенной динамически памяти. delete
и free
должны применятся к значению указателя полученому по new
или malloc
: это требование стандарта.
Обычно "под капотом" оператора new делается следующее. К запрашиваемому размеру памяти, который вы хотите выделить, добавляется к началу блока префикс, который будет хранить этот размер блока памяти. И адрес этого префикса просто вычисляется как смещение на размер слова (обычно sizeof( int) ) от начала участка памяти, адрес которой возвращается пользователю оператора new. Это значение используется, чтобы при удалении памяти правильно оценить ее размер.
Что касается вашего второго вопроса, то вы можете написать, например,
int* a = new int[4];
int ( *p )[4] = reinterpret_cast<int(*)[4]>( a );