オブジェクトジェネレータ呼び出しのr値参照にコピーコンストラクタが必要なのはなぜですか？

Question

Visual Studio 2010 C++で次のコードに問題があります。

makeA（）はC++でちょうどオブジェクト生成イディオムである

#include <stdio.h> 

struct A{ // 7th line 
    A() {} 
    A(A &&) {printf("move\n");} 
    ~A() {printf("~A();\n");} 
private: 
    A(const A &) {printf("copy\n");} // 12th line 
}; 

A makeA() 
{ 
    return A(); 
} 

int main() 
{ 
    A &&rrefA(makeA()); // 22nd line 
    return 0; 
} 

エラーメッセージ

2>d:\test.cpp(22): error C2248: 'A::A' : cannot access private member declared in class 'A' 
2>   d:\test.cpp(12) : see declaration of 'A::A' 
2>   d:\test.cpp(7) : see declaration of 'A' 
2> 

（STD :: make_pairのように）私はmakeA（）は両方ともA（）コンストラクタを呼び出すことを期待します（A & &）のコンストラクタ、makeA（）を呼び出すための22行目、それ以外のものはありません。 （RVOなしの場合） コンパイラはA（const A &）コンストラクタにアクセスする必要はありませんか？

コードに何が問題なのか教えていただけますか？

g ++の最新バージョンでは、 'g ++ -std = C++ 0x'と 'g ++ -std = C++ 0x -fno-elide-constructors'はエラーなしでコードをコンパイルします。

Answer 1

これはオプティマイザのバグです。コンパイラは移動を逃げようとするが、コピーコンストラクタを必要とするようにプログラムされているだけで、コピーコンストラクタが存在していなければならない。

このエラーの修正内容は何であるかはわかりませんが、SP1で修正されている可能性があります。