함수에서 값으로 클래스의 객체 반환

함수에서 클래스의 객체를 값으로 반환하는 경우를 생각해 보세요. 값. 이 시나리오에서 반환된 개체는 일반적으로 lvalue로 간주됩니다. 즉, 메모리에 이름과 주소가 있음을 의미합니다. 그러나 특정 상황에서는 반환된 개체가 이름이나 주소가 없는 임시 개체인 rvalue로 처리될 수 있습니다.

암시적 이동 규칙

C는 값으로 객체를 반환할 때 적용될 수 있는 암시적 이동 규칙입니다. 이 규칙은 다음 조건이 충족되는 경우를 명시합니다.

• 반환된 표현식은 xvalue(lvalue가 아닌 임시 개체를 나타내는 표현식)입니다.
• 반환된 객체에는 이동 생성자가 있습니다.
• 이동 생성자에 액세스할 수 있습니다.

이러한 경우 복사 생성자 대신 이동 생성자가 호출됩니다. 이 동작은 불필요한 복사를 방지하여 성능을 최적화하기 위한 것입니다.

예제 1

이 예에서 반환된 객체 i는 lvalue이므로 복사 생성자 test( const test&z)가 호출됩니다:

class test {
public:
    test(int y) { printf("test(int y)\n"); }
    test() { printf("test()\n"); }
    test(const test& z) { printf("test(const test&z)\n"); }
};
test Some_thing() {
    test i;
    return i;
}

출력:

test()
test(const test&z)

예제 2

그러나 다음 예에서는 반환된 객체 i가 xvalue로 처리되고 이동 생성자 test( test&& s)는 객체가 임시적이고 이동 생성자가 실행 가능하기 때문에 호출됩니다.

class test {
public:
    test(int y) { printf("test(int y)\n"); }
    test() { printf("test()\n"); }
    test(test&& s) { printf("test(test&& s)\n"); }
};
test Some_thing() {
    test i;
    return i;
}

출력:

test()
test(test&& s)

예제 3

이동 생성자가 제공되지 않거나 명시적으로 삭제된 경우 암시적 이동 규칙을 적용할 수 없으며 프로그램이 컴파일에 실패합니다:

class test {
public:
    test(test&& z) = delete;
    test(int y) { printf("test(int y)\n"); }
    test() { printf("test()\n"); }
    test(const test& z) { printf("test(const test&z)\n"); }
};
test Some_thing() {
    test i;
    return i;
}

결론

객체를 값으로 반환할 때 특정 조건에서 암시적 이동 규칙이 적용되어 이동 생성자가 호출될 수 있습니다. 코드를 최적화하고 컴파일 오류를 방지하려면 이 동작을 이해하는 것이 중요합니다.