std :: move는 effeciency에 대한 return 문에 사용해야합니까?

Question

다음 코드에서 std :: move가 아무런 효과가 없거나 완전히 잘못되었는지 파악할 수 없습니까? 클래스 Object에는 이동 및 복사 생성자가 모두 정의되어 있습니다. 여기

template<typename T> template<typename F> 
Object<T>& Object<T>::operator*=(const F& rhs) 
{ 
    for(int i = 0; i < dimension ; i++) 
    { 
     _inner[i] *= rhs; 
    } 
    return *this; 
} 

는 공동이다

첫째

template<typename T> template <typename F> 
const Object<T> Object<T>::operator*(const F& rhs) const 
{ 
    return std::move(Object(*this) *= rhs); // We end in move constructor 
} 

번째 : 이동없이 : 이동과 마찬가지로

template<typename T> template <typename F> 
const Object<T> Object<T>::operator*(const F& rhs) const 
{ 
    return Object(*this) *= rhs; // We end in copy constructor 
} 

*= 오퍼레이터 정의 드 그것을 테스트하는 데 사용

Object<double> test(4); 
Object<double> test2(test * 4); 
std::cout << test2; // works fine 

결과 우리가 이동 생성자 단부 제 경우와 제에 우리가 복사 생성자에서 끝난다.

두 경우 모두 코드가 컴파일됩니다.

새로운 개체를 복사하는 대신 밖으로 이동하는 것이 더 빠르다고 가정하기 때문에 다른 하나보다 효율적입니까?

추가 정보 : 나는 다음과 같은 컴파일러를 사용 : 나는 가정 것이기 때문에 g ++ (우분투/리나 4.7.3-1ubuntu1는) 4.7.3

Answer 1

이 다른 쪽보다 더 효율적입니다 새로운 객체를 복사하는 대신 빠르게 옮길 수 있습니까?

예, std::move을 사용하면 오브젝트가 복사보다 이동이 더 효율적이라고 가정 할 때 여기에서보다 효율적입니다.

일반적으로 임시 또는 로컬 변수를 반환하면 이동 의미가 자동으로 사용됩니다. 그러나이 경우 일시적으로 직접 반환하지는 않지만 왼쪽 값 참조는 operator*=으로 반환됩니다. 왼쪽의 값은 이동하지 않으므로이 경우 std::move이 필요합니다. 의 값인으로 변경해야합니다.

그러나 const 값을 반환하면 반환 값이 다른 개체를 이동 초기화 (또는 이동 할당)하는 데 사용되지 않으므로 값을 반환하지 않아야합니다. 귀하의 예제는 test2을 으로 복사하고을 복사 할 수 있지만 반환 값은 생략 할 수 있습니다.

또는 로컬 변수를 사용하여 구현할 수 :

template<typename T> template <typename F> 
Object<T> Object<T>::operator*(const F& rhs) const 
{ 
    Object lhs(*this); 
    lhs *= rhs; 
    return lhs; 
} 

뿐만 아니라이 반환 값은 이동 될 수 있지만, 이동 자체가 생략 될 수있다.