C++ 없습니다

Question

이 코드를 생각해 보자. 따라서이 메서드를 호출 할 때 복사가 필요하지 않습니다. 따라서 이동이 가능한 unique_ptr으로 이러한 함수를 호출하면됩니다. 그러나 컴파일되지 않습니다이 코드 :

test.cpp:24:34: error: use of deleted function ‘std::unique_ptr<_Tp, _Dp>::unique_ptr(const std::unique_ptr<_Tp, _Dp>&) [with _Tp = int; _Dp = std::default_delete<int>]’ 
    std::unique_ptr<int> b = mov(a); 

가 그래서 C++에서 unique_ptr의 삭제 물론이다 생성자를 복사 호출을 시도하는 것 : 나는 오류가 발생합니다. 그런데 왜 여기에서 사본이 생깁니 까? 이 코드를 컴파일하려면 어떻게해야합니까?

Answer 1

: remove_reference&&없이 사용하여 니얼가 언급 한 바와 같이

template<typename T> 
typename std::remove_reference<T>::type&& mov(T&& t){ 
    return std::move(t); 
} 

, 참조로 반환하는 것도 작동합니다 그리고 mov이 버전의 미세 컴파일하고 문제를 해결, 일 mov

의 반환 형식은 코드 읽어야합니다

#include <utility> 
#include <memory> 
template<typename T> 
typename std::remove_reference<T>::type&& mov(T&& t){ 
    return std::move(t); 
} 

int main(){ 
    std::unique_ptr<int> a = std::unique_ptr<int>(new int()); 
    auto b = mov(a); 
} 

반환 값 시나리오에서 힌트를 얻은 질문은 컴파일됩니다. 나는 그것이 당신의 상황에서 효과가 있을지 확신하지 못합니다.

template<typename T> 
typename std::remove_reference<T>::type mov(T&& t){ 
    return std::move(t); 
} 

Answer 2

나는 마침내 작동하는 해결책을 발견했다. 나는 그 문제가 가치에 의한 반환이 사본을 유발할 것이라고 생각한다. 대신 나는 rvalue 참조에 의해 반환이 필요합니다; 그러면 자동으로 이동이 수행됩니다. 우선이 시도 :

template<typename T> 
T&& mov(T&& t){ 
    return std::move(t); 
} 

을하지만 지금 문제는 반환 형식 T&&이 보편적 참조 아닌를 rvalue 참조 것입니다. 따라서 lvalue 함수를 호출 할 때 실제 서명은 T& mov(T& t)입니다. 그 때문에, 좌변 참조에 std::move을 넣을 수 없기 때문에 본체가 컴파일되지 않습니다. 이 여기에, 무슨 일이 생긴 정확히이었다 오류입니다 :

test.cpp:18:22: error: invalid initialization of non-const reference of type 

‘std::unique_ptr<int>&’ from an rvalue of type ‘std::remove_reference<std::unique_ptr<int>&>::type {aka std::unique_ptr<int>}’ 
    return std::move(t); 

그래서, 내가 반환 유형으로 실제를 rvalue 참조를 필요로했다. 처음에는 그것을 어떻게 구성해야할지 모르지만 마침내 std::remove_reference 유형을 T으로 변경 한 다음 &&을 추가하면 실제 값은 T&&이됩니다. 내가 오류에 생각

template<typename T> 
typename std::remove_reference<T>::type mov(T&& t){ 
    return std::move(t); 
}