C++内存越界问题及解决方法

最新推荐文章于 2024-02-02 17:38:29 发布

转载最新推荐文章于 2024-02-02 17:38:29 发布 · 3.6k 阅读

文章标签：

#c++ #null #多线程 #object #class #c

C++ 专栏收录该内容

71 篇文章

订阅专栏

本文探讨了C++中内存越界及悬挂指针问题，并介绍了如何使用boost::weak_ptr来自动处理对象销毁后的指针状态，确保多线程环境中对象生命周期的安全。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

与内存泄露相比，C++最令人头痛的问题是内存越界，而内存越界很多情况下是由于悬挂指针引起的。

假设一个指针变量：

Object * ptr;

使用ptr时，我们除了要判断ptr是否为0以外，还要怀疑它指向的对象是否有效，是不是已经在别的地方被销毁了。我们希望当它指向的对象被销毁时，ptr被自动置为0。

显然，C++没有这种机制，但是，可以借助于boost::weak_ptr做到这一点。

inline void null_deleter(void const *)
{
}
class X
{
private:
    shared_ptr<X> this_;
    int i_;
public:
    explicit X(int i): this_(this, &null_deleter), i_(i)
    {
    }
    X(X const & rhs): this_(this, &null_deleter), i_(rhs.i_)
    {
    }
    X & operator=(X const & rhs)
    {
        i_ = rhs.i_;
    }
    weak_ptr<X> weak_this() const { return this_; }
};

定义变量：

weak_ptr<X>ptr=x.weak_this();　//x为一个X对象

则当x被销毁时，ptr被自动置为无效。使用方法如下：

if(shard_ptr<X>　safePtr　=ptr.lock())　safePtr->do_something();

这种办法用于单线程中，因为x　对象可能是基于栈分配的。如果需要在多线程中访问X对象，那么最好的办法还是使用shared_ptr来管理对象的生命期。这样的话，对于safePtr,可以保证在safePtr的生命期内，它所指向的对象不会被其它线程删除。