コピーコンストラクタについて

Question

コピー代入演算子の中でdelete mFoo; としている理由を教えてください。

#include <iostream>

class   Foo
{
    int     mData;
public:
    Foo(int iData) : mData(iData) { }
    int get() { return mData; }
};

class Bar
{
    Foo*    mFoo;
public:
    Bar() : mFoo(nullptr) { }
    Bar(Foo* iFoo) : mFoo(iFoo)
    {
        std::cout << "new Foo =" << mFoo << std::endl;
    }
    ~Bar()
    {
        if (mFoo != nullptr)
        {
            std::cout << "delete mFoo = " << mFoo << std::endl;
            delete mFoo;
            std::cout << "deleted." << std::endl;
        }
    }
    int get() { return (mFoo)?mFoo->get():-1; }
#if 0
    Bar& operator=(Bar& iRhs)
    {
        mFoo = iRhs.mFoo;
        iRhs.mFoo = nullptr;
        return *this;
    }
#else
    Bar& operator=(Bar const& iRhs)
    {
        if (this != &iRhs)
        {
            delete mFoo;
            mFoo = new Foo(*iRhs.mFoo);
        }
        return *this;
    }
#endif
};

int main()
{
    Bar bar0(new Foo(123));
    Bar bar1;

    std::cout << "bar0 : " << bar0.get() << "\n";
    std::cout << "bar1 : " << bar1.get() << "\n";
    bar1 = bar0;
    std::cout << "bar0 : " << bar0.get() << "\n";
    std::cout << "bar1 : " << bar1.get() << "\n";
}

Answer 1

そうしないと、上書きする前のオブジェクトは参照不能となって、メモリリークします。

C++は、直接ポインタを扱った場合には、ガベージコレクションなんていう親切なことはしてくれません。

Comments

[user012]

なるほど！
今回の場合はコピー先のmFooにはnullが入ってるから影響はなくて
コピー先がアドレスを持ってたらこの記述が必要ということですか。

[maisumakun]

> 今回の場合はコピー先のmFooにはnullが入ってるから影響はなくて

どういう意味でしょうか？

[user012]

mainでbar1;として宣言してるので引数なしの場合bar1.mFooにはnullptrが
入るのようになってるのでmFooをdelete mFoo；は効力をあまり発揮しなくて,
bar1.mFooがアドレスを持ってる場合効力を発揮すると思ったのですが何か勘違いをしていましたら指摘お願いします、

[maisumakun]

改めて確認してみたら、元のコード自体がよくなかったですね。

Bar(Foo* iFoo)のコンストラクタを使った場合、mFooには外部からのポインタをそのまま受け入れることになります。そして、operator=で素性不明なポインタをdeleteしてしまう危険が生じることとなってしまいます。

（なお、delete nullは何も起こさないことが保証されています）