C++ 03의 반환 값

Question

약 의 값인 및 lvalue에 대해 몇 시간을 보냈습니다. 여기에 내가

int main() 
{ 
    //..... 
    Foo foo = Bar1(); 
    foo = Bar2(); 
    //...... 
} 

Foo Bar1() 
{ 
    //Do something including create foo 
    return foo; 
} 

Foo& Bar2() 
{ 
    //Do something including create foo 
    return foo; 
} 

는 C++ 03에서 Bar1()가 (단지 반환 전) 반환 객체를 복사 한 다음 복사 된 객체의 주소를 반환 이해하는 것입니다; 파괴 될 개체의 낭비적인 복사본을 실행합니다. Bar2()은 함수 내에서 생성 된 객체를 반환합니다.

C++ 11에서, Bar1() 및 Bar2()은 본질적으로 동일합니다 (또한 C++ 03의 Bar2()과 동일).

맞습니까? 그렇지 않다면 자세히 설명하십시오.

Answer 1

rvalues ​​및 lvalues의 개념은 이전 C++에서 C++ 11로 변경되지 않았습니다. "C++ 03"로 설명하는 것은 일어날 일입니다. 일부 컴파일러 최적화는 불필요한 복사 생성자 호출을 포함하여 불필요한 사본의 수를 줄일 수 있지만 그렇지 않은 경우에는 동일합니다.

C++ 11에서는 rvalue-reference (T&&)의 개념이 도입되었습니다.

당신이 여기에 예를 들어, 최대 구글 수 거기에 몇 가지 기사가 있습니다

http://thbecker.net/articles/rvalue_references/section_01.html

Answer 2

이들은 동일하지 않습니다. Bar2()은 두 표준 모두에 의해 UB입니다. 참조로 스택에 생성 된 객체를 반환 할 수 없습니다.

C++에서 03 Bar1()은 RVO를 이용할 수 있으며 아무 것도 복사되지 않습니다. C++ 11에서는 Bar1()도 RVO를 사용하거나 RVO를 사용할 수없는 경우 이동 생성자를 사용합니다.

Answer 3

BAR2() 함수 내에서 생성 된 객체를 반환합니다.

분명히 잘못되었습니다. Bar2()은 어떤 개체에 참조을 반환합니다. (주 : 객체가 스택 안의 Bar2() 내부에 생성되면 UB가됩니다).

C++ 11에서 Bar1()과 Bar2()는 본질적으로 동일합니다 (또한 C++ 03의 Bar2()와 등가 임).

C++ 11에서의 의미는 같습니다.

Foo Bar3() 
{ 
    //Do something 
    return std::move(foo); 
} 

이 복사 생성자를 실행하지,하지만 이동 생성자 - 더 적은 자원을 배가해야한다 : 당신이 정말 관심은 이동의 의미입니다.

Answer 4

이 문서에 대한 흥미로운 일이 될 수 있습니다 : C++ 03, Bar1() 개체를 복사 할 수 있습니다 (그러나 이것은 소위 복사 생략에 멀리 최적화 - 링크 참조) Want Speed? Pass by Value.

에서.

C++ 11에서는 기본적으로 아무 것도 변경되지 않았습니다.컴파일러는 Foo의 복사 생성자 또는 Foo의 이동 생성자를 호출하거나 elision을 복사 할 수 있습니다. 그러나 C++ 03에서도 복사가 생략되므로 Bar1()은 C++ 11 및 C++ 03에서 동일한 작업을 수행합니다.

Bar2() 반환 값은 C++ 11과 다르지 않습니다. 참조를 반환하는 것이 중요 할 수 있습니다. foo이 로컬 값이면 이미 파괴 된 변수에 대한 참조가 반환되며 절대 반환되지 않습니다.

Answer 5

Bar2()은 어떤 사본을 만들지 않습니다 중 하나를 C++ 2003 또는 Bar1()foo의 복사본이 생성됩니다를 들어 C++ 2011 모두 C++ 2003 및 C++ 2011이를 rvalue 참조의 사용은 당신이 실제로를 rvalue를 할 때 또는 적용 만약 당신이 왼쪽으로 돌아가려는 좌변가를 가지고 있다면 그것은 돌려 주어집니다.

물론 foo이 반환되는 것은 초기화되는 foo이기 때문에 예제는 정의되지 않은 동작입니다. 다시 말하면, foo이 무엇을 의미하는지 알려주지 않으면 예제가 엉망이되는 것 같습니다. 각각의 기능을 가정하면 지역 변수 foo을 가지고, Bar2()은 정의되지 않은 동작은 모두 표준에 따라이며 Bar1() 다소 다르다 : C++ 2003 사용할 수있는 반면

이

• Foo의 이동 생성자가있는 경우, ++ 2011 C는 이동 생성자를 사용할 수있다 카피 생성자.
• 이동 생성자 또는 복사 생성자 중 하나가 사용되는지 여부는 나머지 함수 및 컴파일러에 따라 다릅니다. Bar1()에있는 모든 return 문이 대부분 foo을 반환하면 대부분의 컴파일러에서 여분의 객체 생성이 생략됩니다.