1

Если мы явно определяем оператор перемещения, то мы обязаны перед самим перемещением освободить динамическую память в классе, если таковая имеется, иначе произойдет утечка памяти:

struct Example {

    int* m_ptr;

    /*...*/

    Example& operator=(Example&& another) {
        // Если тут не освободить память, то после перемещения
        // В классе не останется указателей на эту память
        delete m_ptr;
        m_ptr = another.m_ptr;
        another.m_ptr = nullptr;
    }

}

В связи с этим мне стало интересно как ведет себя сгенерированный компилятором оператор перемещения. В интернете я без проблем нашел правила генерации оператора, но я не нашел того, как он выглядит внутри и освобождает ли он память. Если применяет, то есть ли для этого какие-то правила? Не может же сгенерированный оператор применить delete для переменной-не-указателя, это вызовет ошибку

3
  • 1
    Конечно, нет. Он просто вызовет перемещение (где сможет) для всех полей, только и всего.
    – Harry
    24 ноя 2021 в 17:16
  • @Harry то есть если у нас в классе есть указатель на динамическую память, то мы не можем полагаться на генерацию оператора и обязаны определить свою версию с оператором delete?
    – ComeInRage
    24 ноя 2021 в 17:17
  • 5
    Задумайтесь на минуту — откуда генерируемый оператор может знать, на что указывает этот указатель? На выделенную через new память или на какой-то адрес глобальной переменной, например? Да, вдогонку — и обнулять поля он тоже не станет.
    – Harry
    24 ноя 2021 в 17:20

1 ответ 1

5

По умолчанию он выглядит примерно так:

Example &operator=(Example &&another) noexcept
{
    m_ptr = std::move(another.m_ptr);
    return *this;
}

То есть ничего не удаляет, а просто вызывает = для каждого поля.

Для сырого указателя m_ptr = std::move(another.m_ptr); эквивалентно m_ptr = another.m_ptr;.


Совет раз - используйте copy&swap idiom. В 99% случаев он позволяет не думать, что писать в operator=:

Example &operator=(Example other) noexcept
{
    std::swap(m_ptr, other.m_ptr);
    return *this;
}

Такой оператор может работать и как копирующий (если есть копирующий конструктор), и как перемещающий (если есть перемещающий конструктор). И он выдерживает бросок исключения из конструктора.


Совет два - никогда не вызывайте сами new и delete, если только вы не пишете свой контейнер или умный указатель.

Используйте стандартные контейнеры и умные указатели.

14
  • 2
    ага, мув конструктор копирует переменные класса:) он их перемещает. Другое дело, что для указателя перемещение==копированию.
    – KoVadim
    24 ноя 2021 в 17:36
  • классно, два плюса этому вопросу показывает, что мув сементику у нас люди знают очень плохо. Очень жаль
    – KoVadim
    25 ноя 2021 в 7:28
  • @KoVadim только сейчас заметил, что у него копирование. Ну опечатался человек) Я так понимаю что он, возможно, не понял вопрос и написал про оператор копирования, поэтому он и написал про copy&swap, ведь для перемещения эта идиома не имеет смысла
    – ComeInRage
    25 ноя 2021 в 9:51
  • возможно, возможно.
    – KoVadim
    25 ноя 2021 в 10:06
  • @KoVadim Только сейчас понял, про что был ваш первый комментарий. Здесь move все равно ничего не делает, но для ясности вернул его. 25 ноя 2021 в 10:39

Ваш ответ

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

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