delete []p

[SAMOUCHKA]

во вы понаписали. Собственно вопрос был- как время исполнения узнает сколько памяти освободить? программист то это не указывает

[Croessmah]

Ну так уже сказали, что это зависит не от программиста. Размер, например, может быть дописан в саму выделенную память (конечно, размер выделяемого куска будет немного больше, чем запросили, для учета записи размера), можете посмотреть в отладчике.
В студии можете использовать нестандартную функцию _msize, чтобы узнать размер.


Также был введен operator delete, принимающий размер освобождаемого куска, но это другая история :-)

[taras-proger]

Сообщение от SAMOUCHKA

int *p;
p = new int[a];
delete []p;

ясно что во время компиляции, длинна массива ни известна.
Отсюда я делаю вывод, что она хранится где то в среде выполнения, ведь нужно знать сколько элементов удалить.
По чему, тогда нельзя вычислить длину массива? delete как то ее узнает

Она хранится рядом с самими массивом. Но где именно и как именно? Стандартом это не оговорено. Версия delete заведомо соответствует реализации хранения размера конкретным компилятором, так как производится им же. А приложение? Можно вляпаться даже при переходе на другую версию того же компилятора, или даже после патча компилятора.

Сообщение от pu4koff

В плюсах изначально нет массивов как таковых, поэтому соответствующие методы программистам и не предоставляются.
Одна и та же запись может означать как один элемент по указателю, так и набор элементов. Причем этот набор не обязательно будет от начала выделенной памяти и до конца.
В общем, пишите себе как принято с передачей в функции указателя на элемент и максимального кол-ва элементов, иначе в один прекрасный день передадут указатель на третий элемент и функция поломается.
Если делать нормальный массив в языке, то там добавятся и функции и проверка на выход за границы и прочие радости, которые просадят производительность, что не будет соответствовать фишке плюсов.

Квадратные скобки - признак массива. Указатель то одинаков, что на массив, что на его элемент. Но освобождают их разными операторами и только один из них читает размер массива. И проверка на выход за границы не обязательна при поддержке массивов, она делается только при поддержке ограниченных массивов.

[Croessmah]

Указатель то одинаков, что на массив, что на его элемент.

да ладно?

    int arr [10] ;
    int * p = arr+3 ;//Вот он указатель на int, а попутно и на элемент массива
    int (*p_arr)[10] = &arr ;//а вот указатель на массив

Квадратные скобки - признак массива.

квадратные скобки не только с массивами связаны.