Блог

В следующем коде C должно быть три выделения кучи, поскольку в swap() функции также создается один временный строковый объект. Почему в этом коде только два выделения кучи?

Без использования семантики перемещения

 #include <iostream>
#include <unordered_map>

using namespace std;


static uint32_t allocations = 0;

void *operator new(size_t size)
{
    allocations  ;
    cout << "Allocating " << size << " bytesn";
    return malloc(size);
}


void swapUsingMove(stringamp; arg1, stringamp; arg2)
{
    string temp = arg1;
    arg1 = arg2;
    arg2 = temp;
    cout << allocations << endl;
}

int main()
{
    string str1{"ABCDEFGHIJKLMNOPQRSTUVWXYZ"};
    string str2{"ZYXWVUTSRQPONMLKJIHGFEDCBA"};

    swapUsingMove(str1, str2);
    cout << str1 << " " << str2;
    return 0;
}
 

Вывод

 Allocating 51 bytes
Allocating 51 bytes
2
ZYXWVUTSRQPONMLKJIHGFEDCBA ABCDEFGHIJKLMNOPQRSTUVWXYZ
 

С помощью семантики перемещения

 #include <iostream>
#include <unordered_map>

using namespace std;


static uint32_t allocations = 0;

void *operator new(size_t size)
{
    allocations  ;
    cout << "Allocating " << size << " bytesn";
    return malloc(size);
}


void swapUsingMove(stringamp; arg1, stringamp; arg2)
{
    string temp = move(arg1);
    arg1 = move(arg2);
    arg2 = move(temp);
    cout << allocations << endl;
}

int main()
{
    string str1{"ABCDEFGHIJKLMNOPQRSTUVWXYZ"};
    string str2{"ZYXWVUTSRQPONMLKJIHGFEDCBA"};

    swapUsingMove(str1, str2);
    cout << str1 << " " << str2;
    return 0;
}
 

Вывод

 Allocating 51 bytes
Allocating 51 bytes
2
ZYXWVUTSRQPONMLKJIHGFEDCBA ABCDEFGHIJKLMNOPQRSTUVWXYZ
 

Даже без использования семантики перемещения, почему существует только два выделения кучи? Где временная строка получает выделенную память? Если в обоих случаях имеется два выделения кучи, то в чем преимущество использования std:: move() здесь?

Скорее всего, вы используете реализацию, которая ведет себя в соответствии со стандартом C 98/03 и которая реализует копирование при записи std::string .

Живая демонстрация: https://godbolt.org/z/rP7M77

Если это так, ваш вопрос не должен быть помечен c 11 , поскольку копирование при записи с тех пор запрещено. (Обычно вместо этого реализуется единый вход, но это другая история.)

Если вы переключитесь на более новый GCC, вы увидите 3 распределения: https://godbolt.org/z/b5q1MM