關於C++中淺拷貝的問題

Question

假設我有一個帶有int指針成員變量「i」的struct「s」。我在s的缺省構造函數中爲堆分配內存。後來在代碼的其他部分中，我通過值將某個s的實例傳遞給某個函數。我在這裏做一個淺拷貝嗎？假設我沒有實現任何複製構造函數或賦值運算符或任何s ...只是默認的構造函數。

Answer 1

爲了跟進@ [don.neufeld.myopenid.com]的說法，它不僅是一個淺拷貝，而且可以是（選擇）內存泄漏或懸掛指針。

// memory leak (note that the pointer is never deleted) 
class A 
{ 
    B *_b; 
    public: 
    A() 
    : _b(new B) 
    { 
    } 
}; 

// dangling ptr (who deletes the instance?) 
class A 
{ 
    B *_b; 
    public: 
    A() 
    ... (same as above) 

    ~A() 
    { 
    delete _b; 
    } 
}; 

要解決這個問題，有幾種方法。

始終在使用原始內存指針的類中實現複製構造函數和operator =。

class A 
{ 
    B *_b; 
    public: 
    A() 
    ... (same as above) 

    ~A() 
    ... 

    A(const A &rhs) 
    : _b(new B(rhs._b)) 
    { 
    } 

    A &operator=(const A &rhs) 
    { 
    B *b=new B(rhs._b); 
    delete _b; 
    _b=b; 
    return *this; 
}; 

不用說，這是一個重大的痛苦，有相當多的細微之處得到正確的。我甚至不確定我在這裏做了什麼，而且我已經做了幾次。不要忘記你必須複製所有的成員 - 如果你稍後添加一些新成員，不要忘記添加它們！

在您的課堂上製作複製構造函數和operator = private。這是「鎖門」解決方案。它簡單而有效，但有時過度保護。

class A : public boost::noncopyable 
{ 
    ... 
}; 

切勿使用原始指針。這很簡單有效。這裏有很多的選擇：

• 使用字符串類，而不是原始字符指針
• 使用std :: auto_ptr的，提高:: shared_ptr的，提高:: scoped_ptr的等

例子：

// uses shared_ptr - note that you don't need a copy constructor or op= - 
// shared_ptr uses reference counting so the _b instance is shared and only 
// deleted when the last reference is gone - admire the simplicity! 
// it is almost exactly the same as the "memory leak" version, but there is no leak 
class A 
{ 
    boost::shared_ptr<B> _b; 
    public: 
    A() 
    : _b(new B) 
    { 
    } 
}; 

Answer 2

是的，這是一個淺的副本。你現在有兩個s（調用者中的一個，堆棧中的一個作爲參數），每個都包含一個指向同一塊內存的指針。

Answer 3

您將有s結構的兩個副本，每一個都會有自己的i指針，但兩者i指針將指向內存中的同一地址相同的值 - 所以，是的，這將是一個淺拷貝。