小さなref-countingバッファクラスのメモリ破損

Question

私はメモリバッファを保持する単純な参照カウントクラスを持っています。これは次のようになります。

#include <algorithm> 

template<typename T> 
struct buffer 
{ 
    // create a buffer of length n 
    buffer(unsigned n) : rc(*(new unsigned(1))), data(new T[n]) { } 

    buffer(const buffer<T> & rhs) : rc(++rhs.rc), data(rhs.data) { } 

    buffer<T>& operator=(buffer<T> rhs) 
    { 
     std::swap(rc, rhs.rc); 
     std::swap(data, rhs.data); 
     return *this; 
    } 

    ~buffer() 
    { 
     if (--rc == 0) { 
      delete [] data; 
      delete (&rc); 
     } 
    } 

private: 
    mutable unsigned & rc; 
    T * data; 
}; 


int main() { 
    typedef buffer<int> numbers; 
    numbers n1(10); 
    numbers n2(20); 
    numbers n3(30); 
    n1 = n2 = n3 = n2; 
} 

コードに間違いはありません。しかし、Visual Studioとvalgrindはメモリ破損に苦情を言います。

私はこのコードをあまりにも長く見過ごしています。誰もがエラーを見つけることができますか？

Answer 1

1つの問題は、swap(rc, rhs.rc);の場合、実際には参照ではなく、再カウントの内容を入れ替えていることです。あなたswap(rc, rhs.rc);、参照カウントが足さへの参照が同じままになり、そして数自体がスワップするとき

：

は、あなたがこのような状況を持っている想像してください。これは、2つのスワップ後に取得されるものです：

バッファ・ポインタはcorrrectですが、参照カウントが足さへの参照がまだ同じunsignedオブジェクトを参照してください。これらのオブジェクトの値はスワップされました。スワップされたオブジェクトの1つから見たときにバッファBがrefcount 2をどのように持ち、底部から見たときにrefcount 1になるかに注目してください。

refcountにポインタを使用し、内容ではなくポインタをスワップする必要があります。