От куда оператор delete берет размер массива, чтобы освободить всю память, которая была выделена под массив?

[Arigato]

Возник вот какой вопрос. Допустим, пользователь задает число элементов и мы создаем массив динамически:

int n;
cin>>n;
int * a=new int[n];

Для того, чтобы провести какие-либо манипуляции с массивом, в функцию надо передать ссылку на массив и его размер. Скажем, заголовок функции вывода элементов массива на экран может выглядеть так:

void array_write(int a[], int n)

Но удаление массива осуществляется без указания размера:

delete [] a;

От куда оператор delete берет размер массива, чтобы освободить всю память, которая была выделена под массив? Можно ли как-то получить доступ к этой информации, чтобы не передавать в функции размер массива? То есть функцию вывода объявить так:

void array_write(int a[])

А уже внутри тела функции получить n - размер массива.

[Serge_Bliznykov]

погуглил. на stackoverflow много про это.
короче.
a - это не массив, это указатель.
delete знает, сколько выделено памяти (берёт из соответствующей структуры).

по нормальному нужно в C++ использовать std:vector() вместо указателя на массив.

как хакерский вариант, есть такое решение:

Well there is actually a way to determine the size, but it's not "safe" and will be diferent from compiler to compiler.... so it shouldn't be used at all.

When you do: int* arr = new int[256];

The 256 is irrelevant you will be given 256*sizeof(int) assuming for this case 1024, this value will be stored probably at ( arr - 4 )

So to give you the number of "items"

int* p_iToSize = arr - 4;

printf("Number of items %d", *p_iToSize / sizeof(int));

For every malloc, new, whatever before the continuos memory block that you receive, there is also allocated a space reserved with some information regarding the block of memory you were given.

Но это грязный хак и зависит от компилятора (и от его опций).


Так что, передавайте n и не парьтесь!

[Arigato]

Получается, что размер массива фактически находится как бы в -1 элементе. Чем-то напоминает паскалевские строки, где размер строки хранится в нулевом символе. Странно, что нет стандартной функции определения размера массива, если это можно сделать достаточно просто и это делается при вызове delete.

[Alex11223]

В С++ лучше использовать подходящий контейнер, а не так.

[waleri]

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

Странно, что нет стандартной функции определения размера массива

Это уходит корнями еще в С - там тоже отсутствуют средства получения размера выделенного блока. Далеко не всегда нужно знать размер, а если стандарт будет вас заставлять его хранить, то это уже лишний overhead.
Соответственно new/delete выкручиваются сами как могут, но стандарт опять же не заставляет их хранить размер именно в -1 элементе. Компилятор волен использовать любую другую схему.

Скорость - наше все.
Если вы пишете на С++ и используете напрямую new, delete и * то значит у вас (большие) проблемы.

[taras-proger77]

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

Получается, что размер массива фактически находится как бы в -1 элементе. Чем-то напоминает паскалевские строки, где размер строки хранится в нулевом символе. Странно, что нет стандартной функции определения размера массива, если это можно сделать достаточно просто и это делается при вызове delete.

Это не языкастая функция, а то ли системная, то ли транслятора. И не факт, что она знает размер элемента. Вот должна ли она быть доступна каждому приложению – отдельный вопрос. И кто ж мешает вложить размер в класс, в него же завернуть динамический массив, а передавать по ссылке, или по константной ссылке?

[Arigato]

Со статическими массивами можно узнать размер. Но если массив передать в функцию (а передаются они как указатели), то размер уже не узнать:

#include <cstdlib>
#include <iostream>

using namespace std;

void func(int A[]){
	cout<<"FUNC: "<<sizeof(A)/sizeof(A[0])<<endl;
}

int main()
{
	int A[]={1,2,3,4,5,6,7,8,9,0};
	cout<<"MAIN: "<<sizeof(A)/sizeof(A[0])<<endl;
	func(A);
	return 0;
}

[waleri]

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

Со статическими массивами можно узнать размер. Но если массив передать в функцию

Не совсем понял - это утверждение или вопрос?

Формально в С++ 11 можно сделать шаблонную функцию/метод куда будет передаваться ссылка на массив с размером, но это только для статических массивов.
Строго говоря, в С/С++ нет массивов, все делается через указатели, т.е. размер нужно передавать самому. Квадратные скобки это скорее выделение памяти.

[Arigato]

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

Не совсем понял - это утверждение или вопрос?

Это комментарий к примеру кода ниже.

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

размер нужно передавать самому

Вопрос темы не в том, нужно или нет передавать размер, а в том, что оператор delete [] сам узнает размер, ему ничего передавать не надо.

[Dekay]

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

Если вы пишете на С++ и используете напрямую new, delete и * то значит у вас (большие) проблемы.

Ну-ка. Почему это?