std::move와 std::forward
std::move로 lvalue를 rvalue로 변환하고 std::forward로 값 범주를 보존합니다.
std::move와 std::forward은(는) CoddyKit의 무료 C++ Academy 강의입니다. 이것은 4개 중 3번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 C++ Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
두 사촌, 서로 다른 역할
std::move와 std::forward는 모두 컴파일 시간 형 변환입니다. 비슷해 보이지만 서로 다른 문제를 해결합니다.
std::move: 항상 r값으로 형 변환하기
std::move(x)는 무조건 x를 r값 참조로 형 변환합니다. 그러면 이를 받는 함수가 자원을 훔칠 수 있습니다.
std::string s = "Hello";
std::string t = std::move(s); // move-constructs t from s
// s is now in a valid-but-unspecified statemove를 사용할 때
다음과 같은 경우에 std::move를 사용하십시오:
- 이동 생성자와 이동 대입 연산자
- 이동을 강제로 수행하려는 지역 변수 반환(대부분 필요하지 않음 — 일반적으로 RVO가 적용됩니다)
- 더 이상 필요하지 않은 지역 변수를 소비 함수에 전달할 때
std::move의 구현
실제로는 다음을 감싼 static_cast일 뿐입니다:
template <typename T>
typename std::remove_reference<T>::type&& move(T&& t) noexcept {
return static_cast<typename std::remove_reference<T>::type&&>(t);
}std::forward: 범주 유지하기
전달 참조(T&&)를 사용하는 템플릿에서 std::forward<T>(x)는 x를 원래 범주(l값 또는 r값)로 되돌려 형 변환합니다. 완벽한 전달에 사용됩니다.
template <typename T>
void wrapper(T&& arg) {
target(std::forward<T>(arg)); // forwards as lvalue or rvalue depending on T
}전달이 필요한 이유
템플릿 내부에서는 매개변수에 이름이 있으므로 호출자가 r값을 전달했더라도 l값이 됩니다. std::forward가 원래 범주를 되찾아 줍니다.
std::forward 없이 사용하기
forward가 없으면 모든 인수가 wrapper 내부에서 l값으로 전달되어, 호출자가 원했던 이동 의미론이 제대로 작동하지 않습니다.
template <typename T>
void wrapper(T&& arg) {
target(arg); // always lvalue — wrong
}forward에 템플릿 매개변수를 항상 지정하기
std::forward<T>에는 명시적인 템플릿 인수가 필요합니다. 이를 생략하면 동작이 올바르지 않습니다.
완벽한 전달 예시
생성자 인수를 전달하는 팩토리 함수는 효율성을 위해 r값과 l값의 구분을 유지합니다.
template <typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}한 번만 이동하기
각 객체에서는 최대 한 번만 이동해야 합니다. 이동한 뒤 객체는 유효하지만 상태가 지정되지 않은 상태가 되므로, 일반적으로 다시 대입하거나 소멸시킵니다. 다시 대입하기 전에 이동된 객체를 사용하면 미묘한 버그가 발생할 수 있습니다.
경험 법칙
빠르게 기억할 모델은 다음과 같습니다:
- 구체적인 형식이 있고 이를 이동하려는 경우 →
std::move - 템플릿 매개변수가 있고 범주를 유지하려는 경우 →
std::forward<T>
빠른 확인
매개변수 T&& arg를 받는 템플릿 함수 내부에서 l값/r값 범주를 유지하면서 arg를 전달하려면 어떻게 해야 합니까?
복습
std::move는 무조건 r값으로 형 변환하므로, 자원을 훔치려는 구체적인 객체에 사용하십시오. std::forward<T>는 일반 템플릿 내부에서 값 범주를 유지하므로 완벽한 전달에 사용하십시오.
자주 묻는 질문
“std::move와 std::forward” 강의는 무료인가요?
네 — “std::move와 std::forward” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 C++ Academy 강의 전체를 잠금 해제할 수 있습니다. C++ Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“std::move와 std::forward”에서 뭘 배우나요?
std::move로 lvalue를 rvalue로 변환하고 std::forward로 값 범주를 보존합니다. 브라우저에서 직접 실행하는 실습 코드로 C++ Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
C++ Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 C++ Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 3번째 강의입니다.
“std::move와 std::forward” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 C++ Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 C++ Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.
이 강의의 모든 강의
- lvalue와 rvalue의 차이
- rvalue 참조와 && 구문
- std::move와 std::forward
- 이동 생성자와 이동 대입