可以使用动态分配的内存初始化引用成员吗？

Question

我在这里引起内存泄漏还是可以这样做？我应该使用智能指针成员而不是参考吗？

class A 
{ 
public: 

    A() : b_(*(new B)) 
    {} 

private: 
    B& b_; 
}; 

int main() 
{ 
    A a; 
    return 0; 
} 

Answer 1

该语言允许这样做，但是，如您所写，存在内存泄漏。你有一个new，但没有相应的delete - 你需要在这里写析构函数，是这样的：

A::~A() { 
    delete &b_; 
} 

现在，虽然这是合法的，很是怪异。一个指针也可以做得很好，并且可能会更好地表达正在发生的事情。智能指针可以帮助您避免泄漏，并且可能适用。

Answer 2

你当然在泄漏记忆;每个new需要与delete匹配。

除非有一个很好的理由来动态分配它，否则你最好是让b_成为一个对象。否则，请根据您的建议使用智能指针，或者在您的析构函数中使用智能指针（或不推荐）delete，记住要使复制构造函数和复制指派正常工作。在最后一种情况下，它是有效的（但有点不寻常），因为它是一个参考而不是指针。

这个决定实际上取决于您希望课程在复制时的表现。在第一种情况下，它会复制整个对象;在第二种情况下，它将如智能指针所定义的那样工作;在第三种情况下，它的行为将与您实施的复制构造函数/赋值相同。

Answer 3

是的，它在C++中是允许的。

当然，使用智能指针更安全。

然后你不应该担心在析构函数中清理分配的内存。

像这样：

#include <memory> 

class A { 
public: 
    A() : p_b(new B()) 
    {} 
    someMethod() { 
     return p_b->something(); 
    } 
private: 
    std::auto_ptr<B> p_b; 
}; 
int main() 
{ 
    A a; 
    return 0; 
} 

Answer 4

我想补充到说了些什么，唯一的一点是，即使你是在这意味着b总是以一个值开始，在构造函数中分配内存我会稍微改变贾斯汀写的东西。在我致电delete之前，我总是检查NULL，然后在释放它之后将指针设置为NULL。在析构函数设置中，指向NULL的指针是毫无意义的，但是为了一致性而存在。

class A 
{ 
public: 

    A():b_(new B) 
    ~A() { if (b) { delete b; b = NULL; } } 
    {} 

private: 
    B* b_; 

}