このコードでコピーまたは移動コンストラクタを呼び出す必要があります

Question

現在のC++標準では、次の場合の要件は何ですか？

我々は次のコードがあるとします。

#include <iostream> 

struct Foo 
{ 
    Foo() { std::cout << "Foo::Foo()" << std::endl; } 
    Foo(Foo&) { std::cout << "Foo::Foo(Foo&)" << std::endl; } 
    Foo(Foo&&) { std::cout << "Foo::Foo(Foo&&)" << std::endl; } 
    ~Foo() { std::cout << "Foo::~Foo()" << std::endl; } 
}; 

struct Bar 
{ 
    Foo foo; 
}; 

int main() 
{ 
    Bar instance{ Foo{} }; 
} 

は、任意の実装は、標準に従って、ここで何をすべきでしょうか？コンストラクタのコピーと移動の両方が存在する必要があります（削除されません）。どちらを呼びますか？

Answer 1

Foo{}はprvalueであり、コピー初期化を実行するので、回答は使用している標準リビジョンによって異なります。

C++ 14では、移動可能であり削除できないことが必要です。実際の動きはおそらく省略されます。

C++ 17は、メンバーfooを直接初期化するため、コピーと移動の両方が存在していなくてもアクセス可能である必要はありません。

#include <iostream> 

struct Foo 
{ 
    Foo() { std::cout << "Foo::Foo()" << std::endl; } 
    Foo(Foo&) = delete; 
    Foo(Foo&&) = delete; 
    ~Foo() { std::cout << "Foo::~Foo()" << std::endl; } 
}; 

struct Bar 
{ 
    Foo foo; 
}; 

int main() 
{ 
    Bar instance{ {} }; 
}