C++ Move Constructor | "이동 생성자" 가이드

이동 생성자란?

rvalue에서 자원을 이동하는 생성자

class Buffer {
    int* data;
    size_t size;
    
public:
    // 이동 생성자
    Buffer(Buffer&& other) noexcept 
        : data(other.data), size(other.size) {
        other.data = nullptr;
        other.size = 0;
    }
};

복사 vs 이동

// 복사: 자원 복제
Buffer(const Buffer& other) {
    data = new int[other.size];
    std::copy(other.data, other.data + size, data);
}

// 이동: 자원 이전
Buffer(Buffer&& other) noexcept {
    data = other.data;
    other.data = nullptr;
}

실전 예시

예시 1: 기본 구현

class String {
    char* data;
    size_t length;
    
public:
    String(const char* str) {
        length = strlen(str);
        data = new char[length + 1];
        strcpy(data, str);
    }
    
    ~String() {
        delete[] data;
    }
    
    // 복사 생성자
    String(const String& other) : length(other.length) {
        data = new char[length + 1];
        strcpy(data, other.data);
        std::cout << "복사" << std::endl;
    }
    
    // 이동 생성자
    String(String&& other) noexcept 
        : data(other.data), length(other.length) {
        other.data = nullptr;
        other.length = 0;
        std::cout << "이동" << std::endl;
    }
};

int main() {
    String s1("Hello");
    String s2 = s1;              // 복사
    String s3 = std::move(s1);   // 이동
}

예시 2: 벡터 최적화

#include <vector>

class Widget {
public:
    Widget() { std::cout << "생성" << std::endl; }
    Widget(const Widget&) { std::cout << "복사" << std::endl; }
    Widget(Widget&&) noexcept { std::cout << "이동" << std::endl; }
};

int main() {
    std::vector<Widget> vec;
    vec.reserve(10);
    
    Widget w;
    vec.push_back(w);              // 복사
    vec.push_back(std::move(w));   // 이동
    vec.emplace_back();            // 생성
}

예시 3: 스마트 포인터

#include <memory>

class Resource {
public:
    Resource() { std::cout << "Resource 생성" << std::endl; }
    ~Resource() { std::cout << "Resource 소멸" << std::endl; }
};

int main() {
    auto ptr1 = std::make_unique<Resource>();
    
    // 이동만 가능 (복사 불가)
    auto ptr2 = std::move(ptr1);
    // ptr1은 nullptr
}

예시 4: 반환값 최적화

Buffer createBuffer(size_t size) {
    Buffer b(size);
    return b;  // 이동 또는 RVO
}

int main() {
    Buffer b = createBuffer(100);
}

noexcept 중요성

// ❌ noexcept 없음
Buffer(Buffer&& other) {
    // std::vector 재할당 시 복사 사용
}

// ✅ noexcept 추가
Buffer(Buffer&& other) noexcept {
    // std::vector 재할당 시 이동 사용
}

자주 발생하는 문제

문제 1: 이동 후 상태

// ❌ 이동 후 유효하지 않은 상태
Buffer(Buffer&& other) noexcept {
    data = other.data;
    // other.data는 여전히 유효 (위험)
}

// ✅ nullptr 설정
Buffer(Buffer&& other) noexcept {
    data = other.data;
    other.data = nullptr;
}

문제 2: 자기 이동

// ❌ 자기 이동 미처리
Buffer& operator=(Buffer&& other) noexcept {
    delete[] data;
    data = other.data;
    other.data = nullptr;
    return *this;
}

// ✅ 자기 이동 체크
Buffer& operator=(Buffer&& other) noexcept {
    if (this != &other) {
        delete[] data;
        data = other.data;
        other.data = nullptr;
    }
    return *this;
}

문제 3: 예외 안전성

// ❌ 예외 발생 가능
Buffer(Buffer&& other) {
    // 예외 발생 시 문제
}

// ✅ noexcept
Buffer(Buffer&& other) noexcept {
    // 예외 없음 보장
}

문제 4: 반환값에 std::move

// ❌ RVO 방해
Buffer func() {
    Buffer b(100);
    return std::move(b);
}

// ✅ 그냥 반환
Buffer func() {
    Buffer b(100);
    return b;
}

이동 가능 타입

// 이동 생성자 있음
std::vector<int>
std::string
std::unique_ptr<int>

// 이동 생성자 없음 (복사)
int
double

FAQ

Q1: 이동 생성자는 언제?

A: rvalue에서 객체 생성 시.

Q2: noexcept 필수?

A:

• 필수 아님
• 성능 최적화 (std::vector)

Q3: 이동 후 상태는?

A: 유효하지만 불확실. nullptr 설정 권장.

Q4: std::move는?

A: lvalue를 rvalue로 캐스팅.

Q5: 성능 향상?

A: 복사 대신 포인터 이동. 큰 객체에서 효과적.

Q6: 이동 생성자 학습 리소스는?

A:

• “Effective Modern C++”
• “C++ Move Semantics”
• cppreference.com

---

같이 보면 좋은 글 (내부 링크)

이 주제와 연결되는 다른 글입니다.

• C++ noexcept | “예외 명세” 가이드
• C++ Rule of Five | “특수 멤버 함수” 가이드
• C++ Exception Performance | “예외 성능” 가이드

관련 글

• C++ Algorithm Sort |
• C++ async & launch |
• C++ Atomic Operations |
• C++ Attributes |
• C++ auto 키워드 |