표준 :의 이동 *이 나는이 코드를 할 바보 같은 이해 ...하지만 이해를 위해, 다음을 고려하십시오

Question

클래스 메소드와 필드에 나중에 액세스 :

#include <iostream> 
#include <memory> 
#include <utility> 

struct S; 
void f(S && s); 

struct S { 
    S() : i{std::vector<int>(10, 42)} {} 
    std::vector<int> i; 
    void call_f() { f(std::move(*this)); } 
    void read() { std::cout << " from S: " << i.at(3) << std::endl; } 
}; 

void f(S && s) { std::cout << " from f: " << s.i.at(3) << std::endl; } 

int main() { 
    S s; 
    s.call_f(); 
    s.read(); 
} 

을 이 컴파일 및 g ++ 및 clang ++, 나는 std::vector<int> 이동할 것으로 예상되는 동안 실행합니다. gdb에서 이것을 실행하고 메모리를 보면 의 주소는 std::move 이후에 0으로 설정되지 않았지만, POD가 아닌 유형의 경우에는 0으로 설정됩니다. 따라서이 코드 조각에서 segfault가 예상됩니다.
누구든지이 동작을 설명해 주시겠습니까? s도 내부 필드도 무효화되지 않는 이유는 무엇입니까? this의 기능입니까?

Answer 1

std::move은 실제로 아무 값도 이동하지 않고 단지 으로 바뀌어이 움직일 수있게 허용합니다. (잘못된 이름의 비트이지만 지금은 붙어 있습니다.)

실제 이동 작업을 수행하려는 경우 범위에서 예외가 표시 될 가능성이 높습니다 (std::vector::at).

void f(S && s) { 
    S steal = std::move(s); 
    std::cout << " from f: " << s.i.at(3) << std::endl; 
} 

GCC 6.1이 나에게주는이

terminate called after throwing an instance of 'std::out_of_range' 
    what(): vector::_M_range_check: __n (which is 3) >= this->size() (which is 0) 
bash: line 7: 18043 Aborted     (core dumped) ./a.out 

Answer 2

std::move 아무것도 움직이지 않는다 - 그것은 단지 이동의 ctor 또는 운영자를 이동되도록를 rvalue에 바인딩 할 수있는 동일한 개체를 referenceing가 xValue를 반환 = 호출 할 수 있습니다.

따라서 코드에서 이동은 수행되지 않습니다. f은 동일한 객체에 대한 rvalue 참조에서 작동합니다.

f 값으로 허용하는 경우 값이 이동하면 이동이 발생하며 i이 비어 있습니다.