Šta je semantika pomeranja i kako je koristiti?

Semantika pomeranja (move semantics) u C++11 i novijim verzijama omogućava efikasno prenošenje vlasništva nad resursom iz jednog objekta u drugi, izbegavajući nepotrebno kopiranje. To se postiže korišćenjem rvalue referenci (&&) i operatora std::move.

Ključni aspekti:

• rvalue reference (&&): Referenca na privremeni objekat (tj., rvalue) ili objekat označen kao premeštiv. Omogućava da se veže za objekat koji će uskoro biti uništen.
• Operator pomeranja (std::move): Pretvara lvalue u rvalue referencu. Sam po sebi ne vrši pomeranje, već signalizira kompilatoru da objekat može biti sigurno premešten.
• Konstruktor pomeranja: Specijalan konstruktor koji prihvata rvalue referencu kao argument. "Krade" resurse (npr., pokazivače na dinamičku memoriju) od izvornog objekta, ostavljajući ga u validnom, ali praznom stanju.
• Operator dodele pomeranjem: Slično konstruktoru pomeranja, namenjen za operacije dodele.

Upotreba:

1. Optimizacija: Smanjuje troškove kopiranja velikih objekata ili objekata koji posedaju resurse (npr., kontejnere, stringove, pametne pokazivače).
2. Implementacija efikasnih kontejnera: Omogućava kontejnerima poput std::vector da efikasno upravljaju elementima prilikom promene veličine ili pomeranja.
3. Vraćanje velikih objekata po vrednosti: Kompilator može automatski primeniti pomeranje (return value optimization, RVO ili Named Return Values Optimization, NRVO), ako je vraćeni objekat lokalna promenljiva ili privremeni objekat.

Primer:

#include <iostream>
#include <vector>
#include <string>
#include <utility> // Za std::move

class MyResource {
public:
    std::vector<int> data;

    // Konstruktor
    MyResource(size_t size) : data(size) {
        std::cout << "Konstruktor" << std::endl;
    }

    // Destruktor
    ~MyResource() {
        std::cout << "Destruktor" << std::endl;
    }

    // Konstruktor za pomeranje
    MyResource(MyResource&& other) noexcept : data(std::move(other.data)) {
        std::cout << "Konstruktor za pomeranje" << std::endl;
    }

    // Operator za dodelu pomeranjem
    MyResource& operator=(MyResource&& other) noexcept {
        if (this != &other) {
            data = std::move(other.data);
        }
        std::cout << "Operator za dodelu pomeranjem" << std::endl;
        return *this;
    }
};

int main() {
    MyResource res1(10); // Konstruktor
    std::cout << "---" << std::endl;
    MyResource res2 = res1; // Konstruktor za kopiranje ili operator za kopiranje
    std::cout << "---" << std::endl;
    MyResource res3 = std::move(res1); // Konstruktor za pomeranje
    std::cout << "---" << std::endl;
    MyResource res4(5); // Konstruktor
    res4 = std::move(res3); // Operator za dodelu pomeranjem
    std::cout << "---" << std::endl;

    return 0;
}

U ovom primeru, korišćenjem std::move se pozivaju konstruktor za pomeranje ili operator za dodelu pomeranjem, što omogućava izbegavanje skupog kopiranja sadržaja vektora data.