std::move, std::forward

std::move와 std::forward는 C++11부터 제공되는 두 가지 유틸리티 함수로, 모두 C++ 템플릿 코드에서 유용하게 사용됩니다.

1. std::move: std::move는 주어진 변수나 객체를 오른값 (R-value)으로 캐스팅하는 역할을 합니다. 이는 주로 객체의 소유권을 이전하거나, 복사 대신 이동(무효화된 객체를 재활용)하려는 상황에서 사용됩니다.

#include <utility>
#include <iostream>
#include <vector>

class MyClass {
public:
    MyClass() {
        std::cout << "Constructor" << std::endl;
    }

    MyClass(const MyClass&) {
        std::cout << "Copy Constructor" << std::endl;
    }

    MyClass(MyClass&&) {
        std::cout << "Move Constructor" << std::endl;
    }
};

int main() {
    MyClass obj1;
    std::vector<MyClass> vec;

    // 1. 복사 대신 이동 (Move) - obj1을 vec에 추가할 때, 복사 생성자가 아닌 이동 생성자가 호출됨.
    vec.push_back(std::move(obj1));

    // 2. obj1은 이동으로 인해 무효화됨. (이후 obj1을 사용하면 안 됨)
    // 이때, obj1은 그대로 남아있지만 무효화된 상태이므로 접근해서는 안 됨.

    return 0;
}

 

1. std::forward: std::forward는 주로 함수 템플릿에서 발생하는 오른값/왼값 유지 문제를 해결하기 위해 사용됩니다. 템플릿 함수가 전달받은 인자를 다른 함수로 전달할 때, 해당 인자가 오른값일 때에는 오른값으로, 왼값일 때에는 왼값으로 전달하기 위한 용도입니다. 주로 함수 오버로딩이나 조건부 실행 등에 활용됩니다.

#include <utility>
#include <iostream>

void processValue(int& value) {
    std::cout << "L-value processed: " << value << std::endl;
}

void processValue(int&& value) {
    std::cout << "R-value processed: " << value << std::endl;
}

template <typename T>
void forwardValue(T&& value) {
    // std::forward를 사용하여 전달된 인자를 다음 함수로 전달하되,
    // 인자의 원래 타입(L-value인지 R-value인지)을 유지합니다.
    processValue(std::forward<T>(value));
}

int main() {
    int x = 42;

    // 1. L-value 전달 - processValue(int&) 함수 호출
    forwardValue(x);

    // 2. R-value 전달 - processValue(int&&) 함수 호출
    forwardValue(100);

    return 0;
}

위의 예시에서 std::forward를 사용하면, 전달된 인자의 원래 타입이 유지되므로, 인자가 L-value일 때에는 L-value 참조를, R-value일 때에는 R-value 참조를 유지하면서 각각의 함수가 호출됩니다. 이렇게 하면 오른값으로 전달된 R-value에 대해서는 불필요한 복사를 피하면서 최적화된 동작이 가능해집니다.