明示的なコピーコンストラクタを使用するようにコンパイラを強制するには？

Question

私は、自己定義コンストラクタ、デストラクタ、コピーコンストラクタ、代入演算子も含むサンプルクラスを持つ小さなテストプログラムを作成しました。私はコピーコンストラクタが、すべてで呼び出されていなかったことに気づいたとき、私は私がObject o1; Object o2(o1);のように私のクラスの戻り値を持つ関数や線を実装していても、驚いた

innerclass.hpp：

#include <iostream> 

class OuterClass 
{ 
public: 
OuterClass() 
{ 
    std::cout << "OuterClass Constructor" << std::endl; 
} 
~OuterClass() 
{ 
    std::cout << "OuterClass Destructor" << std::endl; 
} 
OuterClass(const OuterClass & rhs) 
{ 
    std::cout << "OuterClass Copy" << std::endl; 
} 
OuterClass & operator=(const OuterClass & rhs) 
{ 
    std::cout << "OuterClass Assignment" << std::endl; 
} 

class InnerClass 
{ 
public: 
    InnerClass() : m_int(0) 
    { 
     std::cout << "InnerClass Constructor" << std::endl; 
    } 
    InnerClass(const InnerClass & rhs) : m_int(rhs.m_int) 
    { 
     std::cout << "InnerClass Copy" << std::endl; 
    } 
    InnerClass & operator=(const InnerClass & rhs) 
    { 
     std::cout << "InnerClass Assignment" << std::endl; 
     m_int = rhs.m_int; 
     return *this; 
    } 
    ~InnerClass() 
    { 
     std::cout << "InnerClass Destructor" << std::endl; 
    } 
    void sayHello() 
    { 
     std::cout << "Hello!" << std::endl; 
    } 

private: 
    int m_int; 
}; 

InnerClass innerClass() 
{ 
    InnerClass ic; 
    std::cout << "innerClass() method" << std::endl; 
    return ic; 
} 
}; 

innerclass.cpp：

#include "innerclass.hpp" 

int main(void) 
{ 
std::cout << std::endl << "1st try:" << std::endl; 


OuterClass oc; 
OuterClass oc2(oc); 
oc.innerClass().sayHello(); 

std::cout << std::endl << "2nd try:" << std::endl; 

OuterClass::InnerClass ic(oc.innerClass()); 
ic = oc.innerClass(); 
} 

出力：

1st try: 
OuterClass Constructor 
OuterClass Copy 
InnerClass Constructor 
innerClass() method 
Hello! 
InnerClass Destructor 

2nd try: 
InnerClass Constructor 
innerClass() method 
InnerClass Constructor 
innerClass() method 
InnerClass Assignment 
InnerClass Destructor 
InnerClass Destructor 
OuterClass Destructor 
OuterClass Destructor 

A私は、コンパイラが明示的に定義されたコピーコンストラクタを使用するという保証はない、と私は読んでいます。私はこの行動を理解していません。コピーコンストラクタはなぜ呼び出されるのかわからないと、それでも存在しますか？コンパイラはそれを使用するかどうかをどのように決定しますか？

さらに、コンパイラに自己定義コピーコンストラクタを使用させる方法がありますか？

Answer 1

ただ、他の回答との完全を期すために、標準のコンパイラがコピーを省略することができます（戻り値の最適化または名前付き戻り値の最適化 - RVO/NRVOと呼ばれるもの）：

個の

12.8コピークラスのオブジェクト、段落15の一時的なクラス・オブジェクトがコピーコンストラクタを使用してコピーされるたびに（C++ 98）

、このオブジェクトとコピーは同じCV-非修飾型が、実装されますクラスコピーコンストラクタまたはデストラクタが副作用を持っていても、オリジナルとコピーを同じオブジェクトを参照する2つの異なる方法として扱い、コピーをまったく実行しないことを許可しました。クラス戻り型の関数の場合、return文の式がローカルオブジェクトの名前で、ローカルオブジェクトのcv非修飾型が関数の戻り値の型と同じ場合、実装では作成を省略できますクラスコピーコンストラクタまたはデストラクタに副作用があっても、関数の戻り値を保持する一時オブジェクト。このような場合、オブジェクトは、オリジナルとコピーが最適化されずに破棄された後に破棄されます。

だからあなたinnerClass()方法では、あなたがリターンで呼ばれることだろうと思うかもしれませんコピーコンストラクタを離れて最適化することが許可されている：

InnerClass innerClass() { 
    InnerClass ic; 
    std::cout << "innerClass() method" << std::endl; 
    return ic; // this might not call copy ctor 
} 

Answer 2

特定の状況で呼び出される（または呼び出されない）コピーコンストラクタに依存して、クラスを設計しないでください。コンパイラーは、あらゆる場所でコピーコンストラクター呼び出しを削除または追加することができます。実際には、それらを追跡する必要はありません。

なぜなら、1つの井戸が必要な理由として、コンパイラーはコピーが必要であると判断し、コピーコンストラクターはそれを行うために使用するものです。コピーコンストラクタ呼び出しの利点は、パフォーマンスコピーは通常非常に高価な操作です。

Answer 3

Object o1();は、オブジェクトを作成せず、関数名o1、void引数、戻り値の型をObjectとして持つ関数プロトタイプを定義します。あなたは実際の問題を見つけるためにいくつかのコードを投稿する必要があります。

Answer 4

私はNeilに同意します。呼び出されるコピーコンストラクタに依存するクラスを書くべきではありません。つまり、コンパイラは多くの戻り値のシナリオでコピーコンストラクタを完全に回避する "名前付き戻り値の最適化"（link）のようなことを行うことができるからです。コピーコンストラクタの呼び出しを強制するには、C++コンパイラを "トリッキー"にするための多くのコードを記述する必要があります。いい考えではない。

特定のシナリオでは、コピーコンストラクタの呼び出しを強制する場合は、明示的な呼び出しを行うことができます。

Object SomeFunc() { 
    Object o1 = ... 
    return Object(o1); 
} 

Answer 5

いくつかのコードを投稿してください。私はいくつかの誤った構文を使用していると思います。

コピーコンストラクタは正確に次のシグネチャが必要です。

MyObject(const MyObject&) 

その後、あなたはコピーコンストラクタは次のコードで呼び出されたかどうかを確認することができます

MyObject m1; 
MyObject m2(m1); 

あなたが使用を許可されていませんMyObject m1();それは関数宣言です。

Answer 6

これが問題ですか？

OuterClass(const OuterClass & rhs) 
{   
std::cout << "OuterClass Constructor" << std::endl; 
==> 
std::cout << "OuterClass Copy Constructor" << std::endl; 

} 

OuterClass & operator=(const OuterClass & rhs) 
{  
std::cout << "OuterClass Constructor" << std::endl; 
==> 
std::cout << "OuterClass Assignment operator" << std::endl; 
} 

コピー貼り付けエラー！

コードをデバッグして正確に何が起こっているかを確認することをお勧めします。デバッグは実際に問題を見つけるのに役立ちます。

EDIT：内部クラスの問題のため：

他の人が既にこの名前戻り値の最適化（NRVO）の場合で指摘したように。

InnerClass innerClass() 
{  
    InnerClass ic;   
    std::cout << "innerClass() method" << std::endl;   
    return ic; 
} 

コンパイラは、このように、それは、クラスオブジェクトの値によってリターンとクラスのコピーコンストラクタを呼び出す必要があるの両方を排除

void innerClass(InnerClass &namedResult) 

{ 
std::cout << "innerClass() method" << std::endl; 

} 

に機能を変換することができます。

NRVOにもっと理解するために、2つのリンクの下に通過してください：

• MSDN NRVO
• Stan Lippman's BLog