Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате
Форум программистов > C/C++: Для новичков > Функции управления перемещением


Автор: Aoizora 9.4.2017, 14:30
Есть такой простой класс строки:

Код

#include <iostream>
#include <cstring>

class String
{
public:
    String() : buffer(nullptr), length(0) {}
    String(const char *pStr);
    ~String();
    String(const String&);
    String(String&&);
    String& operator=(const String&);
    String& operator=(String&&);
    size_t size() { return length; }

private:
    char *buffer;
    size_t length;

    void free();
    void alloc_and_copy(const char *);
};

String::String(const char *pStr)
{
    alloc_and_copy(pStr);
}

String::~String()
{
    free();
}

String::String(const String& rhs)
{
    alloc_and_copy(rhs.buffer);
    std::cout << "Copy constructor" << std::endl;
}

String::String(String&& str)
{
    buffer = str.buffer;
    length = str.length;

    str.buffer = nullptr;
    str.length = 0;

    std::cout << "Move constructor" << std::endl;
}

String& String::operator=(const String& rhs)
{
    if (this != &rhs)
    {
        free();
        alloc_and_copy(rhs.buffer);
    }
    std::cout << "Assignment operator" << std::endl;
    return *this;
}

String& String::operator=(String&& rhs)
{
    if (this != &rhs)
    {
        buffer = rhs.buffer;
        length = rhs.length;

        rhs.buffer = nullptr;
        rhs.length = 0;
    }
    std::cout << "Move assignment operator" << std::endl;
    return *this;
}

void String::free()
{
    if (buffer)
        delete[] buffer;
}

void String::alloc_and_copy(const char *pStr)
{
    size_t len = std::strlen(pStr);
    char *data = new char[len + 1];

    std::copy(pStr, pStr + len, data);
    data[len] = 0;

    length = len;
    buffer = data;
}

int main()
{
    String a("xxx");
    String b(a);
    //b = std::move(a);
    b = a;
}


Некоторые вещи вызвали у меня недопонимание.

1. Класс я писал не полностью самостоятельно, а глядя на код из статьи, поэтому доверился чьему-то авторитету. Первое недопонимание вызвало то, что в конструкторе перемещения и в операторе присвоения при перемещении не освобождается память объекта, содержимое которого заменяется. Почему? Разве не будет утечки во всех функциях, связанных с rvalue-ссылками?

2. Почему при подборе функции во время выполнения b = a; вызывается не оператор присваивания при перемещении, а копирующий оператор присваивания?

3. И еще. Правильно ли я понимаю, что вся эта move-семантика создана только ради того, чтобы в зависимости от типа аргумента l- или r-value могли вызываться перегруженные функции для r-значений, в которых реализовано перемещение? Это попросту синтаксический сахар над перегрузкой функций?

Автор: volatile 9.4.2017, 22:40
Цитата(Aoizora @  9.4.2017,  14:30 Найти цитируемый пост)
в конструкторе перемещения и в операторе присвоения при перемещении не освобождается память объекта

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

Цитата(Aoizora @  9.4.2017,  14:30 Найти цитируемый пост)
2. Почему при подборе функции во время выполнения b = a; вызывается не оператор присваивания при перемещении, а копирующий оператор присваивания?

ну так и должно быть, это же копирование объекта. Объект "a" никуда не исчезает.

Цитата(Aoizora @  9.4.2017,  14:30 Найти цитируемый пост)
Правильно ли я понимаю, что вся эта move-семантика создана только ради того

Это создано для повышения производительности. Классический оператор копирования может очень дорого стоить, перемещение - гораздо дешевле. (вместо всего объема памяти, копируется только указатель.)

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)