4

Здравствуйте, при работе с динамическими массивами приходится выделять память под переменную, чтобы запомнить размер этого массива. Но ведь оператор new[] выделяет из кучи не только память под массив, но непосредственно перед массивом выделяется место под размер этого массива, чтобы delete[] смог выполнить нужное количество деструкторов. Так вот у меня появилась мысль:"а зачем собственно дважды выделять место для сохранения размера массива?"

Как пример, вот такой вот код:

class A
{
public:
    ~A(){}//предположим, что некий деструктор определен
};
class B
{
    A* pa;
    //int sz; ведь нам не нужно хранить размер массива
public:
    B(int n) //динамически конструируем массив, получив его размер
    {
        pa=new A[n];
        //sz=n; операция стала лишней - ещё и размер кода сокращается! 
        //мелочь, а приятно
    }
    void go() //проходим по массиву
    {
        //for(int i=0;i<sz;i++); нет, это не наш метод, обойдемся без sz
        for(int i=0;i<*(((int*)pa)-1);i++);//совсем другое дело
    }
    ~B(){delete[] pa;}
};

Класс B имеет в распоряжении массив объектов класса A. Нет необходимости добавлять лишний член класса для сохранения размера, он уже записан оператором new в выделенную из кучи память.
Если счет объектов B идет на тысячи (как например в задаче, которая меня натолкнула на эту мысль), счет сэкономленной памяти идет на килобайты!
Что вы об этом думаете?:)

4 ответа 4

5

Нельзя закладываться на то, что по смещению -1 лежит размер массива. Кажется это не гарантируется стандартом. Да и килобайты не волнуют никого уже давно.

ЗЫ: по-моему даже в реализации vector из gcc хранится три указателя, на начало, конец и конец выделенной памяти (хотя это не по делу, там malloc-ом память выделяется).

2

Из пушки по воробьям, по-моему. Позаботьтесь о будущих поколениях - напишите проще.

2

Полагаться нельзя, и вот почему: когда я перегружал оператор new, то заметил интересное поведение компилятора от MS. Если в классе A пользователь не определил деструктор, то памяти выделялось ровно столько, сколько нужно для размещения объектов, без "хвостика", в котором записывается кол-во объектов, для которых была выделена память. Предположение очевидно - этот "хвостик" нужен для того, чтобы в delete получить адреса всех объектов и вызвать для них деструкторы, а раз пользователь деструктор не определил, стало быть, можно очистить все тривиальным образом и "хвостик" не нужен. Теперь представьте что пользователь не определил деструктор и по смещению "-1" фактически лежит мусор. Как вариант можно сделать класс B шаблонным и проверять есть ли у класса А определенный пользователем деструктор или нет, но тогда можно забыть об использовании неPOD-типов.

Понятно, что это уже внутренняя оптимизация, наличие или отсутствие которой не гарантируется в других компиляторах или компиляторах других версий.

Т.ч. лучше, как уже было сказано, делать все "легальным" путем.

1

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

8
  • В VC++ влияет. Если не определить деструктор явно, то оператор new уже не запишет размер перед выделенным массивом. 30 мар 2012 в 12:12
  • Антон, не может такого быть! Это приводило бы к огромным утечкам, а то и вообще к нарушению доступа к памяти. То, что написано на Си, не имело бы шансов работать (я имею ввиду plain-массивы, разумеется). 30 мар 2012 в 12:16
  • Только что перепроверил: это именно так, при отсутствии явно определенного деструктора, размер массива не записывается. И я не понимаю, как это может повлиять на работоспособность Си кода... 30 мар 2012 в 12:24
  • Какая у вас версия компилятора? 30 мар 2012 в 12:26
  • Откуда утечки, откуда нарушения? То что выделено new[] должно удаляется delete[], как это может пересекаться с Си кодом? Оно не должно быть освобождено, например, с помощью free(). Такое действие в принципе не приведет ни к чему хорошему... память освободится, но деструкторы не исполнятся... 30 мар 2012 в 12:27

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.