안녕하세요. 이동의미론에 대해 제가 잘 이해했는지 궁금합니다.

Question

testdata는 class명 입니다. 1. testdata t1 = testdata(1);이 예전에는 임시객체를 생성해서 복사 생성을 했었음. 2. 그런데 그게 비용이 비합리적이니까 move sementic이라는게 나왔고 testdata t1 = std::move(testdata(1));을 사용해서 임시객체를 그냥 t1으로 shallow copy시킴. (C++11) 3. 그런데 최근에는 이런 이동의미론 없이 testdata t1 = testdata(1)이라고 써도. 컴파일러가 자동으로 생성자만 호출하는 t1 인스턴스를 생성하는 코드로 평가를 해버림. 제가 잘 이해하고 있는지 궁금합니다 추가 : Test func(Test src): return src;   해당 함수를 실행 시키면, 값을 반환 할 때, 이동 생성자가 호출되는데 반환시는 해당 콜스택이 사라지는 시점이기 때문에 이전까지는 좌측값이였지만, 다음 라인에 사라지게 될 src를 우측값 취급을 해서 임시객체를 생성하는것으로 이해했습니다. 이렇게 해석해도 괜찮을까요?

널널한 개발자 · Answer

아래 코드를 살펴보시기 바랍니다. class TestData { public: TestData() { std::cout << "TestData()
"; } TestData(int param) { std::cout << "TestData(int)
"; data = param; } //TestData(TestData& rhs) { // std::cout << "TestData(TestData&)
"; // this->data = rhs.data; //} private: int data = 0; }; int main(void) { TestData t1 = TestData(1); TestData t2(1); TestData t3(TestData(1)); return 0; } 상기 코드에서 호출되는 생성자는 모두 TestData(int) 입니다. 복사 생성자는 호출되지 않습니다. 이는 변수 선언 및 정의와 관련이 되어 있습니다. 변수 선언 시 초깃값 기술을 목적으로 사용되는 '='은 할당 연산이라 할 수 없습니다. 결과적으로 t1 인스턴스는 기본 생성이나 복사 생성이 아니라 매개변수 int를 받는 형태로 초기화 됩니다. 이동 시멘틱이 필요했던 이유는 사라질 임시객체의 값을 복사하는 것보다 생각하는 것처럼 Shallow copy를 하는 것이 더 효율적이기 때문입니다. 1번의 경우만 다시 생각해보시면 되겠습니다. 다시 말씀드리지만 복사 생성이 아닙니다. 이는 구형 표준을 적용해도 마찬가지 입니다.   추가 부분에 대해서는 함수의 반환 값은 l-value가 되지 못합니다. 말 그대로 변수가 아니라 '값'입니다. 이 경우 호출자 함수에 이름이 없는 임시객체 생성을 유발합니다. 이동 생성자가 적용되는 경우는 함수의 반환형 Test 클래스 인스턴스가 r-value에 해당하기 때문입니다. 참고하시기 바랍니다. 😄