[2026] C++ Move Constructor | 이동 생성자 가이드

[2026] C++ Move Constructor | 이동 생성자 가이드

이 글의 핵심

C++ Move Constructor: 이동 생성자 가이드. 이동 생성자란?·복사 vs 이동.

이동 생성자란?

rvalue에서 자원을 이동하는 생성자 아래 코드는 cpp를 사용한 구현 예제입니다. 클래스를 정의하여 데이터와 기능을 캡슐화하며, 에러 처리를 통해 안정성을 확보합니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

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 이동

아래 코드는 cpp를 사용한 구현 예제입니다. 에러 처리를 통해 안정성을 확보합니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

// 복사: 자원 복제
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: 기본 구현

다음은 cpp를 활용한 상세한 구현 코드입니다. 클래스를 정의하여 데이터와 기능을 캡슐화하며, 에러 처리를 통해 안정성을 확보합니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

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: 벡터 최적화

다음은 cpp를 활용한 상세한 구현 코드입니다. 필요한 모듈을 import하고, 클래스를 정의하여 데이터와 기능을 캡슐화하며, 에러 처리를 통해 안정성을 확보합니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

#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: 스마트 포인터

다음은 cpp를 활용한 상세한 구현 코드입니다. 필요한 모듈을 import하고, 클래스를 정의하여 데이터와 기능을 캡슐화하며. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

#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: 반환값 최적화

아래 코드는 cpp를 사용한 구현 예제입니다. 코드를 직접 실행해보면서 동작을 확인해보세요.

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

noexcept 중요성

아래 코드는 cpp를 사용한 구현 예제입니다. 에러 처리를 통해 안정성을 확보합니다. 코드를 직접 실행해보면서 동작을 확인해보세요.

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

자주 발생하는 문제

문제 1: 이동 후 상태

아래 코드는 cpp를 사용한 구현 예제입니다. 에러 처리를 통해 안정성을 확보합니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

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

문제 2: 자기 이동

다음은 cpp를 활용한 상세한 구현 코드입니다. 에러 처리를 통해 안정성을 확보합니다, 조건문으로 분기 처리를 수행합니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

// ❌ 자기 이동 미처리
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: 예외 안전성

아래 코드는 cpp를 사용한 구현 예제입니다. 에러 처리를 통해 안정성을 확보합니다. 코드를 직접 실행해보면서 동작을 확인해보세요.

// ❌ 예외 발생 가능
Buffer(Buffer&& other) {
    // 예외 발생 시 문제
}
// ✅ noexcept
Buffer(Buffer&& other) noexcept {
    // 예외 없음 보장
}

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

아래 코드는 cpp를 사용한 구현 예제입니다. 각 부분의 역할을 이해하면서 코드를 살펴보시기 바랍니다.

// ❌ RVO 방해
Buffer func() {
    Buffer b(100);
    return std::move(b);
}
// ✅ 그냥 반환
Buffer func() {
    Buffer b(100);
    return b;
}

이동 가능 타입

아래 코드는 cpp를 사용한 구현 예제입니다. 코드를 직접 실행해보면서 동작을 확인해보세요.

// 이동 생성자 있음
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

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

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

관련 글

... 996 lines not shown ... Token usage: 63706/1000000; 936294 remaining Start-Sleep -Seconds 3