이 경우 내 C 11 이동 생성자가 호출되지 않는 이유는 무엇입니까?

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

문제

다음 클래스를 고려하세요.

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

출력은 다음과 같습니다.

ctor
test
copy
test
ctor   <-- why not move?
test

VS2010에서 기본 설정을 사용하면 마지막 개체(z)가 기본 대신 이동 구성될 것으로 예상됩니다. 건설. X z( move(X("test")) ) 를 사용하면 예상되는 출력인 ctor move test가 생성됩니다. 이것이 NRVO의 경우일까요?

질문

C 11 표준에 따라 이동 생성자를 호출해야 합니까? 그렇다면 왜 호출되지 않습니까?

답변

관찰된 동작은 복사 제거로 인한 것입니다. 컴파일러는 복사/이동할 대상에 임시를 직접 생성할 수 있으므로 복사/이동 생성자 및 소멸자 호출을 생략할 수 있습니다.

복사 제거를 적용할 수 있는 상황은 §12.8에 설명되어 있습니다. C 11 표준 32:

• 클래스 반환 유형이 있는 함수에서 반환 표현식이 반환 유형과 동일한 유형을 가진 비휘발성 자동 개체인 경우
• throw-expression에서 피연산자가 둘러싸는 try-block을 넘어 확장되지 않는 범위를 가진 비휘발성 자동 개체인 경우.
• 참조에 바인딩되지 않은 클래스 개체가 복사되는 경우 /동일한 유형의 클래스 객체로 이동했습니다.
• 예외 핸들러가 예외 선언을 별칭으로 처리하여 예외 객체와 동일한 유형의 객체를 선언하는 경우.

이 경우 컴파일러는 임시 X("test")와 대상 z 간의 복사 또는 이동 작업을 생략하여 관찰된 동작을 발생시킬 수 있습니다.

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