Блог

 //code from https://skillsmatter.com/skillscasts/2188-move-semanticsperfect-forwarding-and-rvalue-references
class Widget {
public:
    Widget(Widgetamp;amp; rhs)
        : pds(rhs.pds) // take source’s value
    { 
        rhs.pds = nullptr;  // why??
    }

private:
    struct DataStructure;
    DataStructure *pds;
};
 

Я не могу понять причину установки rhd.pds nullptr .

Что произойдет, если мы удалим эту строку : rhs.pds = nullptr;

Некоторые детали класса были удалены. В частности, конструктор динамически выделяет DataStructure объект, а деструктор освобождает его. Если во время перемещения вы просто скопировали указатель с одного Widget на другой, оба Widget s будут иметь указатели на один и тот же выделенный DataStructure объект. Затем, когда эти объекты будут уничтожены, они оба попытаются delete это сделать. Это привело бы к неопределенному поведению. Чтобы избежать этого, Widget перемещаемый объект имеет свой внутренний указатель для установки nullptr .

Это стандартный шаблон при реализации конструктора перемещения. Вы хотите перенести права собственности на некоторые динамически выделяемые объекты с одного объекта на другой, поэтому вам нужно убедиться, что исходный объект больше не владеет этими выделенными объектами.

Схематически вы начинаете с этой ситуации, желая передать право собственности DataStructure от одного Widget к другому:

     ┌────────┐        ┌────────┐
    │ Widget │        │ Widget │
    └───╂────┘        └────────┘
        ┃
        ▼
 ┌───────────────┐
 │ DataStructure │
 └───────────────┘
 

Если бы вы просто скопировали указатель, у вас было бы:

     ┌────────┐        ┌────────┐
    │ Widget │        │ Widget │
    └───╂────┘        └───╂────┘
        ┗━━━━━━━━┳━━━━━━━┛
                  ▼
         ┌───────────────┐
         │ DataStructure │
         └───────────────┘
 

Если вы затем установите исходный Widget указатель на nullptr , у вас есть:

     ┌────────┐         ┌────────┐
    │ Widget │         │ Widget │
    └────────┘         └───╂────┘
                           ┃
                           ▼
                  ┌───────────────┐
                  │ DataStructure │
                  └───────────────┘
 

Владение успешно передано, и когда оба Widget s могут быть уничтожены, не вызывая неопределенного поведения.

DataStructure Объект, вероятно, «принадлежит» Widget , и сброс указателя предотвращает его случайное удаление при Widget уничтожении.

С другой стороны, принято сбрасывать объекты в «пустое» или «стандартное» состояние при их перемещении, и сброс указателя — это безопасный способ следовать соглашению.

 class Widget {
  public:
    Widget(Widgetamp;amp; rhs)
       : pds(rhs.pds) // take source’s value
    { 
        rhs.pds = nullptr;  // why??
    }
    ~Widget() {delete pds}; // <== added this line

private:
    struct DataStructure;
    DataStructure *pds;
};
 

Я добавил деструктор в вышеуказанный класс.

 Widget make_widget() {
    Widget a;
    // Do some stuff with it
    return std::move(a);
}

int main {
    Widget b = make_widget;
    return 0;
}
 

Чтобы проиллюстрировать, что произойдет, если вы удалите присвоение nullptr, проверьте вышеупомянутые методы. Виджет a будет создан в вспомогательной функции и назначен виджету b.

Поскольку виджет a выходит из области видимости, вызывается его деструктор, который освобождает память, и вы остаетесь с виджетом b, который указывает на недопустимый адрес памяти.

Если вы назначаете nullptr для rhs, также вызывается деструктор, но поскольку delete nullptr ничего не делает, все хорошо 🙂