コピーエリクションとは何ですか？（名前付き）戻り値の最適化とは何ですか？彼らは何を意味しますか？
どのような状況で発生する可能性がありますか？制限とは何ですか？
回答:
技術概要については、この回答にスキップしてください。
コピーエリクションが発生する一般的なケースについては、この回答にスキップしてください。
コピーの省略は、特定の状況で余分な（潜在的に高価な）コピーを防止するために、ほとんどのコンパイラーによって実装される最適化です。これにより、実際には値渡しまたは値渡しが可能になります（制限が適用されます）。
as-ifルールを回避する（ha！）最適化の唯一の形式です。オブジェクトのコピー/移動に副作用があっても、コピーの省略を適用できます。
struct C {
C() {}
C(const C&) { std::cout << "A copy was made.\n"; }
};
C f() {
return C();
}
int main() {
std::cout << "Hello World!\n";
C obj = f();
}コンパイラと設定に応じて、次の出力はすべて有効です。
"こんにちは世界"
コピーが作成されました。
コピーが作成されました。
"こんにちは世界"
コピーが作成されました。
"こんにちは世界"
これは、作成できるオブジェクトの数が少なくなるため、特定の数のデストラクタが呼び出されることに依存することもできないことを意味します。コピー/移動コンストラクタまたはデストラクタの呼び出しに依存できないため、コピー/移動コンストラクタまたはデストラクタ内に重要なロジックを含めないでください。
コピーまたは移動コンストラクターへの呼び出しが省略された場合、そのコンストラクターは依然として存在し、アクセス可能でなければなりません。これにより、たとえば、オブジェクトにプライベートまたは削除されたコピー/移動コンストラクターがあるため、通常はコピーできないオブジェクトのコピーがコピー除外によって許可されなくなります。
C ++ 17：C ++ 17以降、オブジェクトが直接返される場合、コピーエリシオンが保証されます。
struct C {
C() {}
C(const C&) { std::cout << "A copy was made.\n"; }
};
C f() {
return C(); //Definitely performs copy elision
}
C g() {
C c;
return c; //Maybe performs copy elision
}
int main() {
std::cout << "Hello World!\n";
C obj = f(); //Copy constructor isn't called
}あまり技術的ではない見解と概要については、この回答にスキップしてください。
コピーエリクションが発生する一般的なケースについては、この回答にスキップしてください。
コピー省略は標準で次のように定義されています。
なので
31）特定の基準が満たされると、オブジェクトのコピー/移動コンストラクターおよび/またはデストラクタに副作用がある場合でも、実装はクラスオブジェクトのコピー/移動構成を省略できます。そのような場合、実装は、省略されたコピー/移動操作のソースとターゲットを同じオブジェクトを参照する2つの異なる方法として扱い、そのオブジェクトの破棄は、2つのオブジェクトが後であったときに遅くなります。最適化なしで破棄されました。123このコピー/移動操作の省略は、コピー省略と呼ばれ、次の状況で許可されます（複数のコピーを削除するために組み合わせることができます）：
—クラスの戻り値の型を持つ関数のreturnステートメントで、式が関数の戻り値の型と同じcvunqualified型を持つ（関数またはcatch-clauseパラメーター以外の）非揮発性自動オブジェクトの名前である場合、自動オブジェクトを関数の戻り値に直接作成することで、コピー/移動操作を省略できます。
— throw式で、オペランドが、最も内側の囲んでいるtryブロックの終わりを超えて拡張されない（関数またはcatch-clauseパラメーター以外の）不揮発性自動オブジェクトの名前である場合（存在する場合） 1）、自動オブジェクトを直接例外オブジェクトに作成することにより、オペランドから例外オブジェクト（15.1）へのコピー/移動操作を省略できます。
—参照（12.2）にバインドされていない一時クラスオブジェクトが同じcv非修飾タイプのクラスオブジェクトにコピー/移動される場合、一時オブジェクトを直接に作成することにより、コピー/移動操作を省略できます。省略されたコピー/移動のターゲット
—例外ハンドラーの例外宣言（条項15）が例外オブジェクト（15.1）と同じタイプ（cv-qualificationを除く）のオブジェクトを宣言する場合、コピー/移動操作は例外宣言を処理することで省略できます。 exception-declarationで宣言されたオブジェクトのコンストラクタとデストラクタの実行を除いて、プログラムの意味が変更されない場合は、例外オブジェクトのエイリアスとして。
123）2つではなく1つのオブジェクトのみが破棄され、1つのコピー/移動コンストラクターが実行されないため、構築されたオブジェクトごとに1つのオブジェクトが破棄されます。
与えられた例は：
class Thing {
public:
Thing();
~Thing();
Thing(const Thing&);
};
Thing f() {
Thing t;
return t;
}
Thing t2 = f();と説明しました：
ここで、省略の基準を組み合わせて、クラスのコピーコンストラクターへの2つの呼び出しを削除できます。
Thingローカル自動オブジェクトtを関数の戻り値のf()一時オブジェクトにコピーすることと、その一時オブジェクトをオブジェクトにコピーすることt2です。事実上、ローカルオブジェクトの構築は、tグローバルオブジェクトを直接初期化すると見なすことができt2、そのオブジェクトの破棄はプログラムの終了時に発生します。Thingにmoveコンストラクターを追加しても同じ効果がありますが、それは一時オブジェクトからt2省略されるmove構築です。
技術概要については、この回答にスキップしてください。
あまり技術的ではない見解と概要については、この回答にスキップしてください。
（名前付き）戻り値の最適化は、コピー省略の一般的な形式です。これは、メソッドから値によって返されたオブジェクトのコピーが省略されている状況を指します。標準に示されている例は、オブジェクトに名前が付けられているため、名前付き戻り値の最適化を示しています。
class Thing {
public:
Thing();
~Thing();
Thing(const Thing&);
};
Thing f() {
Thing t;
return t;
}
Thing t2 = f();一時が返されると、通常の戻り値の最適化が行われます。
class Thing {
public:
Thing();
~Thing();
Thing(const Thing&);
};
Thing f() {
return Thing();
}
Thing t2 = f();コピーの省略が行われる他の一般的な場所は、一時が値で渡される場合です。
class Thing {
public:
Thing();
~Thing();
Thing(const Thing&);
};
void foo(Thing t);
foo(Thing());または例外がスローされ、値によってキャッチされたとき：
struct Thing{
Thing();
Thing(const Thing&);
};
void foo() {
Thing c;
throw c;
}
int main() {
try {
foo();
}
catch(Thing c) {
}
}ほとんどの商用グレードのコンパイラーは、コピー省略＆（N）RVOをサポートします（最適化設定に依存）。
コピー削除は、オブジェクトの不要なコピー/移動を削除するコンパイラー最適化手法です。
次の状況では、コンパイラーはコピー/移動操作を省略できるため、関連するコンストラクターを呼び出せません。
#include <iostream>
using namespace std;
class ABC
{
public:
const char *a;
ABC()
{ cout<<"Constructor"<<endl; }
ABC(const char *ptr)
{ cout<<"Constructor"<<endl; }
ABC(ABC &obj)
{ cout<<"copy constructor"<<endl;}
ABC(ABC&& obj)
{ cout<<"Move constructor"<<endl; }
~ABC()
{ cout<<"Destructor"<<endl; }
};
ABC fun123()
{ ABC obj; return obj; }
ABC xyz123()
{ return ABC(); }
int main()
{
ABC abc;
ABC obj1(fun123());//NRVO
ABC obj2(xyz123());//NRVO
ABC xyz = "Stack Overflow";//RVO
return 0;
}
**Output without -fno-elide-constructors**
root@ajay-PC:/home/ajay/c++# ./a.out
Constructor
Constructor
Constructor
Constructor
Destructor
Destructor
Destructor
Destructor
**Output with -fno-elide-constructors**
root@ajay-PC:/home/ajay/c++# g++ -std=c++11 copy_elision.cpp -fno-elide-constructors
root@ajay-PC:/home/ajay/c++# ./a.out
Constructor
Constructor
Move constructor
Destructor
Move constructor
Destructor
Constructor
Move constructor
Destructor
Move constructor
Destructor
Constructor
Move constructor
Destructor
Destructor
Destructor
Destructor
Destructor コピーの省略が行われ、copy- / move-constructorが呼び出されない場合でも、それは存在し、アクセス可能でなければならず（最適化がまったく行われなかったかのように）、そうでない場合はプログラムの形式が正しくありません。
ソフトウェアの監視可能な動作に影響を及ぼさない場所でのみ、このようなコピーの省略を許可する必要があります。コピーの省略は、観察可能な副作用を許可する（つまり、排除する）最適化の唯一の形式です。例：
#include <iostream>
int n = 0;
class ABC
{ public:
ABC(int) {}
ABC(const ABC& a) { ++n; } // the copy constructor has a visible side effect
}; // it modifies an object with static storage duration
int main()
{
ABC c1(21); // direct-initialization, calls C::C(42)
ABC c2 = ABC(21); // copy-initialization, calls C::C( C(42) )
std::cout << n << std::endl; // prints 0 if the copy was elided, 1 otherwise
return 0;
}
Output without -fno-elide-constructors
root@ajay-PC:/home/ayadav# g++ -std=c++11 copy_elision.cpp
root@ajay-PC:/home/ayadav# ./a.out
0
Output with -fno-elide-constructors
root@ajay-PC:/home/ayadav# g++ -std=c++11 copy_elision.cpp -fno-elide-constructors
root@ajay-PC:/home/ayadav# ./a.out
1GCCには、-fno-elide-constructorsコピーの省略を無効にするオプションがあります。コピーの省略を回避したい場合は、を使用してください-fno-elide-constructors。
現在、最適化が有効になっている場合（および他のオプションが無効に設定されていない場合）、ほとんどすべてのコンパイラーがコピーの省略を提供しています。
コピーが削除されるたびに、1つのコピーとそれに対応する1つのコピーの破棄が省略されるため、CPU時間を節約でき、1つのオブジェクトが作成されないため、スタックフレームのスペースを節約できます。
ABC obj2(xyz123());はそれがNRVOまたはRVOですか？一時的な変数/オブジェクトと同じではありませんか ABC xyz = "Stack Overflow";//RVO