1

Подскажите есть ли правила хорошего тона или общепринятые соглашения по управлению динамической памятью в C++.

Например есть класс

class SomeData {
private:
  char* internalString_;
public:
          SomeData(char * internalString);
}

Как правильно реализовать конструктор? Класс должен сам выделить память и скопировать в нее строку?

SomeData::SomeData( char* internalString ) {
    internalString_ = new char[strlen(internalString)+1];
    *internalString_ = '\0';
    strcpy( internalString_, internalString);
}

Или можно оставить выделение памяти за тем кто вызывает конструктор? Вот так:

SomeData::SomeData( char* internalString ) {
    internalString_ = internalString;
}

И что делать если это будет не строка а более сложный объект, которые еще как то инициализировать необходимо?

Если можно и так и так, то в каких случаях какой политики придерживаться?

1
  • "есть ли правила хорошего тона" Не использовать new вообще. В крайнем случае, только внутри самописных контейнеров и т.п. 4 сен 2018 в 5:36

2 ответа 2

3

Смотрите - если выделяет кто-то другой, то кто должен освобождать память? Если деструктор - то вы не защищены от того, чтоб не передать случайно адрес массива. Если самостоятельно - надо отслеживать, что все объекты уже уничтожены, и не забыть освободить.

Поэтому в общем случае (исключения, подтверждающие правило, всегда возможны) используется идиома RAII - захват ресурса есть инициализация (а деструкция - освобождение).

Так что в общем случае забирайте ресурсы в конструкторе, а освобождайте в деструкторе.

2
  • Мысль в целом понята. Кода речь идет о внутреннем элементе класса мы конструкторе обязательно создаем копию и следим за ее жизненным циклом. Освобождаем память в деструкторе, следим за копированием и т.д. Вопрос наверное чуть шире. Есть шаблоны проектирования когда к объекту надо относиться как к внутреннему объекту класса, а когда это просто ссылка? На объект со своим жизненным циклом? 4 сен 2018 в 13:03
  • Конечно, бывают и такие варианты - потому я и подчеркивал "в общем случае". Вообще в программировании, пожалуй, нет догм, и всегда надо руководствоваться здравым смыслом, тем более что практически любая задача может быть решена множеством способов. В этом случае просто нужно постараться - желательно на уровне языковых средств - не допустить ситуации со ссылкой на уже мертвый объект, а равно утечки ресурсов. Только и всего. И вообще, любой совет может превратиться со временем в противоположность :) - с развитием языка и компиляторов то, что считалось плюсом, легко может стать минусом...
    – Harry
    4 сен 2018 в 15:40
1

В общем, если у вас в классе есть указатель или ссылька, то в обязательном порядке определите деструктор(освобождать память), конструктор копирования(копировать не указатель, а обьект, на который указывает он), оператор присваивания(присвоить указатель или обьект?...)... Если хотите придерживаться правилам хорошего тона. И ваш класс как минимум будет выглядеть так:

class SomeData {
private:
  char* internalString_;
public:
          SomeData(char * internalString);
          SomeData(const SomeData&);
          SomeData& operator =(const SomeData&);
          ~SomeData() { delete [] internalString_; }
};

А вот в первом определении вашего конструктора наблюдаю ошибку:

*internalString_ = '\0';  

Зачем первому сиволу присваивать символ конца строки?... Просто убрать эту строку

А еще лучше вместо указателей хранить умный указатель, или, для вашего случая, обьект std::string, тогда не нужно будет заморачиваться с копированием и уничтожением

10
  • наблюдаю ошибку - а в чем ошибка?
    – isnullxbh
    4 сен 2018 в 10:55
  • ошибка заключается в попытке присваивать первому символу массива символ конца строки. Правда, вы потом копируете другой символ(весь массив ) строкой strcpy( internalString_, internalString);. Поэтому строка *internalString_ = '\0'; становится просто лишней 4 сен 2018 в 12:02
  • Но в этом нет ошибки. Это гарантирует, что когда Вы попытаетесь прочесть данные из этой строки - это не приведет к тому, что Вы прочтете мусор, потому как в самом начале наткнетесь на 0.
    – isnullxbh
    4 сен 2018 в 12:15
  • Пруф: ideone.com/mrY87l
    – isnullxbh
    4 сен 2018 в 12:19
  • Для каждого особого случая есть свои финты, но это не значит, что этот финт правилен всегда. Конкретно вы пытаетесь инициализировать член класса и конкретно в этом случаи не зачем запрещать читать, а следующим ходом присвоить другую строку. Можно с тем же успехом написать *internalString_ = 0; а потом присвоить адрес обьекта. Смысль?... 4 сен 2018 в 13:23

Ваш ответ

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

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