임시 개체를 사용하여 다른 개체를 초기화할 때 C 11 이동 생성자가 호출되지 않는 이유는 무엇입니까?

C 11 이동 생성자가 호출되지 않음, 기본 생성자가 선호됨

설명:
C 11에서 이동 의미 체계로 작업할 때 가능합니다. 기본 생성자를 위해 이동 생성자를 예기치 않게 건너뛰는 시나리오가 발생합니다. 이 문서에서는 이 문제를 살펴보고 근본적인 이유를 조사하고 해결책을 제공합니다.

문제:
메시지를 출력하는 생성자가 있는 다음 클래스 X를 고려하세요.

<code class="cpp">class X {
public:
    explicit X(char* c) { cout << "ctor" << endl; init(c); }
    X(X& lv)  { cout << "copy" << endl;  init(lv.c_); }
    X(X&& rv) { cout << "move" << endl;  c_ = rv.c_; rv.c_ = nullptr; }

    const char* c() { return c_; }

private:
    void init(char *c) { c_ = new char[strlen(c)+1]; strcpy(c_, c); }
    char* c_;
};</code>

아래 제공된 샘플 사용법에서는 세 개의 객체를 생성합니다.

<code class="cpp">X x("test");
cout << x.c() << endl;
X y(x);
cout << y.c() << endl;
X z( X("test") );
cout << z.c() << endl;</code>

그러나 z에 대해 호출되는 이동 생성자를 보여주는 예상 출력 대신 기본 생성자가 대신 사용됩니다.

표준 적합성:
C 11 표준(§12.8.32)에 따르면 가능하면 복사 의미보다 이동 의미가 선호되어야 합니다. 따라서 이 경우 이동 생성자는 실제로 z에 대해 호출되어야 합니다.

동작 설명:
관찰된 동작은 복사 제거. C 11에서는 컴파일러가 성능 향상을 위해 특정 상황에서 객체 복사/이동을 생략할 수 있습니다. 이러한 상황 중 하나는 임시 객체가 동일한 cv-unqualified 유형을 가진 객체로 복사/이동되는 경우입니다.

샘플 코드의 마지막 줄에서 X("test")는 임시 X를 생성합니다. 객체이며 대상(z)과 동일한 cv-unqualified 유형을 갖습니다. 따라서 컴파일러는 복사 및 이동 생성자를 제거하여 생성자를 호출하지 않고 임시 개체를 z로 직접 생성할 수 있습니다.

해결책:이동 생성자를 강제로 호출되면 std::move()를 사용하여 이동이 발생해야 함을 명시적으로 나타낼 수 있습니다.

<code class="cpp">X z( std::move(X("test")) );</code>

이 수정을 사용하면 예상되는 출력이 생성되어 이동 생성자의 참여를 확인합니다.

위 내용은 임시 개체를 사용하여 다른 개체를 초기화할 때 C 11 이동 생성자가 호출되지 않는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!