オーバーロード=コピーされる値の配列がある場合のC++の演算子

Question

私は多少C++に新しいので、これは非常に基本的な質問です。

私は、このクラスがあるとします。

// file Graph.h 
class Graph { 
public: 
    Graph(int N); // contructor 
    ~Graph();  // destructor 
    Graph& operator=(Graph other); 
private: 
    int * M; 
    int N; 
}; 

// file Graph.cpp 
Graph :: Graph(int size) { 
    M = new int [size]; 
    N = size; 
} 

Graph :: ~Graph() { 
    delete [] M; 
} 

私は[] 内容に配列Mのをコピーします代入演算子を作成するのではなく、私はコピーした後、それを変更したときに、それを上書きしないようにしたいです（これは、実際のポインタをコピーせず、コンテンツだけをコピーすることによって実現され、私が正しいかどうかはわかりません）。これは私が試したものです：

Graph& Graph::operator=(Graph other) { 
    int i; 
    N = other.N; 
    M = new int [N]; 
    for (i = 0; i < N; i++) 
    M[i] = other.M[i]; 
    return *this; 
} 

これは間違いありませんか？これを行う他の方法はありますか？

編集：私が忘れた重要な質問。なぜ私はGraph& operator=(Graph other);のように宣言しなければならないのですか？Graph operator=(Graph other);私の本（C++：The Complete Reference、2版、Herbert Schildt、355-357ページ）に書かれている内容だけではありませんか？

Answer 1

標準的な方法は、自分でメモリを管理しないようにstd::vector<int>を使用することです。しかし、運動のために、あなたが欲しいものを行うには正しい方法は、次のとおりです。

#include <algorithm> 

class Graph 
{ 
public:  
    Graph(size_t n) { data_ = new int[n](); size_ = n; } 

    Graph(Graph const& g) 
    { 
     data_ = new int(g.size_); 
     size_ = g.size_; 
     std::copy(g.data_, g.data_ + g.size_, data_); 
    } 

    ~Graph() { delete[] data_; } 

    void swap(Graph& g) throw() 
    { 
     std::swap(data_, g.data_); 
     std::swap(size_, g.size_); 
    } 

    Graph& operator=(Graph g) { g.swap(*this); return *this; } 

private: 
    int* data_; 
    size_t size_; 
}; 

Googleのコードの理論的根拠のための「コピーおよびスワップイディオム」。あなたのアサイメント演算子はメモリをリークします（元の配列は上書きされますが削除されません）。割り当てに失敗すると、壊れたオブジェクトになります。さらに、x = xは、期待されることをしません。これらの3つの落とし穴は一般的であり、コピー＆スワップスタイルで代入演算子を書くことで回避されます。

編集：他の質問のために、参照を返すと、a = b = cのような組み込み型に有効な割り当てを連鎖させることができます。それはあなたが望むものであるかもしれないし、そうでないかもしれない（それは通常である）。

Answer 2

また、STDを使用することができます::

std::copyよりここにコピーするか、memcpy配列としても

Answer 3

はおそらく、コピーコンストラクタを宣言し、定義したいと思いますすることができます。

実際には、デフォルトのコピーコンストラクタでは、破棄中にダブルdeleteが発生するため、実際には必須です。

私は、代入演算子（コピーの後にスワップが続く）でコンストラクタを使うのはもっと慣れていると思います。

現在のコードは、古いMがdeletedではないため、メモリリークがあります。

Answer 4

graph_a = graph_aと書くことは妥当であることを忘れないでください。あなたのコードは最初にgraph_a.Mのために割り当てられたメモリをリークし、コピー後にMに初期化されていないメモリがあります。

コピーアサインを行う前に、同じオブジェクトをそれ自身にコピーしていないことを確認する必要があります（その場合は、ただ戻ることができます）。

Answer 5

operator=に&が必要です。*thisを返すとコピーが発生しません。より重要な質問は、なぜあなたは何かを返す必要があるということです。答えはa=b=c構文をサポートすることです。

私はmemcpyを組み込みint型の標準配列（またはポインタ）に使うことをお勧めします。この規格では、コンパイラの作者に可能なかぎり最速のプラットフォーム固有の実装を提供する方法を定義しています。型がオブジェクトである場合

は、あなたが構築したオブジェクトへの参照を返す必要があります（コピーコンストラクタと他の悪い事の多くを呼び出すことはありません）

Answer 6

をmemcpyのは使用しないでください。コピーを返した場合は、別のオブジェクトのコピーを作成して、すでに持っているオブジェクトを破棄します。

Answer 7

ほぼすべてが言われているが、いくつかの重要な注意事項があります

• のconst参照としてコンストラクタと代入演算子をコピーするためにパラメータを渡すことをお勧めされ、すなわちconst Graph& other、重いコピーを避けるために、あなたが"copy and swap" idiom
• を使用している場合を除いて、はである必要があります（ほとんどの場合、ほとんどの場合、）は、ctorと代入演算子の両方を提供するか、非公開にして無効にします。それ以外の場合はデフォルトの漏れを引き起こす。
• 最後に、std::vectorを使用しないでください。パフォーマンスに大きな悪影響を与えることなく、この問題をすべて解決します。

このページが役に立つかもしれません - シンプルかつ包括的な：それのC++ Operator Overloading Guidelines

Answer 8

いくつかは、すでに他の人が言ってきたが、我々はあなたが持っている基本的なレイアウトに固執したい場合は、これを変更する必要があります

• メイク「グラフの他の」定数 - >「constのグラフの他の」
• が「他」にチェックを持っている（グッド行うには、あなたが「誤って」「その他」のデータを変更ドントので）それがあなたが割り当てているオブジェクト（Lvalue）と同じオブジェクトでないことを確認してください。ところで（私たちは、メモリリークをしたいドン:)）

ああ>（この==他&）

はM.のメモリを削除した場合 - if文シンプルにすることによってこれを行うことができます。

はこの[それはあなたが見つけるかもしれない:)