0

Если я перегружаю оператор new[] в своем классе

void *MyString::operator new[](std::size_t size)
{
    //...
}

и далее пытаюсь при помощи new[] создать массив объектов

MyString *myS = new MyString[length];

Что конкретно передается в length? При попытке передать в length количество элементов массива, в реализации оператора переменная size увеличивается. В некоторых источниках говорится, что size это объем памяти, необходимый для массива с учетом размера класса, но при попытке использовать

length = size / sizeof(MyString);

все еще выдает некорректные значения

Полный код

#include <iostream>

using namespace std;

class MyChar
{
public:
    MyChar(){};
    ~MyChar(){};

    void *operator new[](size_t);

private:
    char value = '0';
};

void *MyChar::operator new[](size_t size)
{
    cout << "Size in class: " << size << endl;
    return nullptr;
}

int main() {
    int len = 10;
    
    cout << len << endl;
    MyChar *c = new MyChar[len];
    
    return 0;
}
10
  • ideone.com/YdNnh9 — еще что-то надо пояснять?
    – Harry
    23 мар 2022 в 12:30
  • "При попытке передать в length количество элементов массива, в реализации оператора переменная size увеличивается." - логично же, ведь для чем больше элементов в массиве, тем больше памяти для них нужно выделить. 23 мар 2022 в 12:31
  • В данном случае мне было достаточно убрать свою реализацию данного оператора, что бы моя программа работала корректно, но все же вопрос остается тем же. @harry-from-kiev мой код был написан ровно также, как предложенный вами, но, увы, результаты разные. При вводе длинны, к примеру, 10, size равнялся сначала 9, а потом и вовсе 18 (проблема была конкретно в моей перегрузке, хотя лишних вызовов там не было). Размер класса ровно один байт 23 мар 2022 в 13:11
  • Вот для 1 байта: ideone.com/FNGIUm Приведите код, который дает ваши результаты...
    – Harry
    23 мар 2022 в 13:15
  • @harry-from-kiev я добавил полный код в самом вопросе, в данном случае он выдает 18 23 мар 2022 в 13:26

1 ответ 1

2

При перегрузке operator new [] функция будет получать на вход требуемый размер буфера, в байтах. Этот размер может быть больше, чем размер, непосредственно необходимый для хранения массива, так как в нем же может храниться служебная информация, например размер массива. Потребность в этой служебной информации может возникать например при создании массива объектов с нетривиальным деструктором - при вызове delete [] компилятор должен будет сгенерировать код, который проходится по каждому элементу массива и вызывает деструктор, а размер массива в этот оператор не передается.

#include <iostream>
#include <new>
#include <cstddef>

struct t_Trivial
{
    ~t_Trivial(void) = default;

    void * operator new [](::std::size_t const size)
    {
        ::std::cout << "sizeof(trivial) " << sizeof(t_Trivial)
            << " size: " << size << ::std::endl;
        return ::operator new [](size);
    }
};

struct t_NonTrivial
{
    ~t_NonTrivial(void){}

    void * operator new [](::std::size_t const size)
    {
        ::std::cout << "sizeof(nontrivial) " << sizeof(t_NonTrivial)
            << " size: " << size << ::std::endl;
        return ::operator new [](size);
    }
};

int main()
{
    ::std::size_t const len{10};
    auto p_trivial{new t_Trivial [len]};
    auto p_non_trivial{new t_NonTrivial [len]};
    return 0;
}

sizeof(trivial) 1 size: 10
sizeof(nontrivial) 1 size: 18

online compiler

1
  • зы Из такой перегрузки оператора нельзя возвращать nullptr, только валидный указатель, либо исключение при ошибке. 23 мар 2022 в 14:02

Ваш ответ

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

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