私の現在の理解では、 C++11 の Move および Copy 代入演算子はメモリ リークを防ぐために delete を呼び出す必要がありますが、C++11 の Move および Copy コンストラクターはすべきではありません。
私の理解が正しければ、コンストラクターは を呼び出す必要はありませんが、そのdelete理由はわかりません。次の例を検討してください。
class my_class
{
my_class(int num_data) : my_data{new double[num_data]}, my_data_length{num_data}
{
}
// This class manages a resource
double *my_data;
int my_data_length;
}
// Big 4 go here - see wikipedia example below.
my_class a(10);
my_class b(10);
my_class c(10);
a = b; // Need to delete old storage contained in a before reallocating
a(c); // For some reason we don't need to delete the old storage here? I find this puzzling
このウィキペディアの記事のコード例を見ると、次のことが明らかです。
リソースが転送されるため、Move Constructor はリークしません。有効期限が切れていないクラスによってポイントされた割り当てられたデータは、有効期限が切れるクラスに転送され、有効期限が切れるクラスのデストラクタによって削除されます。
ただし、コピーコンストラクターがリークするかどうかについては混乱しています。
Move代入演算子は、ポインターを交換するだけなので、おそらくリークしません。
コピー代入演算子に再び混乱しています。一時オブジェクトの使用が必要な理由がわかりません。私の推測では、リソースが所有し、この関数の最後に範囲外になる
tmpとother破棄されますか? (そのリソースがクラスtmp内のポインタと交換されていることを除いて?)this
便宜上、これからのコードを以下に示します。
#include <cstring>
#include <iostream>
class Foo
{
public:
/** Default constructor */
Foo() :
data (new char[14])
{
std::strcpy(data, "Hello, World!");
}
/** Copy constructor */
Foo (const Foo& other) :
data (new char[std::strlen (other.data) + 1])
{
std::strcpy(data, other.data);
}
/** Move constructor */
Foo (Foo&& other) noexcept : /* noexcept needed to enable optimizations in containers */
data(other.data)
{
other.data = nullptr;
}
/** Destructor */
~Foo() noexcept /* explicitly specified destructors should be annotated noexcept as best-practice */
{
delete[] data;
}
/** Copy assignment operator */
Foo& operator= (const Foo& other)
{
Foo tmp(other); // re-use copy-constructor
*this = std::move(tmp); // re-use move-assignment
return *this;
}
/** Move assignment operator */
Foo& operator= (Foo&& other) noexcept
{
// simplified move-constructor that also protects against move-to-self.
std::swap(data, other.data); // repeat for all elements
return *this;
}
private:
friend std::ostream& operator<< (std::ostream& os, const Foo& foo)
{
os << foo.data;
return os;
}
char* data;
};
int main()
{
const Foo foo;
std::cout << foo << std::endl;
return 0;
}
これは、(初期化されていない/割り当てられていない) ダングリング ポインターを に設定することが重要である理由のヒントだと思いnullptrます。
これは、移動コンストラクターを介してリソースが転送されるが、有効期限が切れるオブジェクトが割り当てられていないダングリング ポインターを受け取る場合が原因だと思う理由ですdelete。nullptr(no-op)を指します。
私が提起したポイントのいくつかを誰かが明確にすることができますか?