一,不带引用计数的智能指针
不带引用计数的智能指针有:auto_ptr, scoped_ptr, unique_ptr。其中:
auto_ptr:是C++11之前标准库就提供的
scoped_ptr, unique_ptr都是C++11提供的。
1,auto_ptr<T>
auto_ptr<T>不推荐我们去使用,因为及其容易使用错误。例如如下代码:
#include <iostream>
#include <memory>
using namespace std;
int main()
{
auto_ptr<int> ptr1(new int);
auto_ptr<int> ptr2(ptr1);
*ptr2 = 30;
cout<< *ptr1 <<endl; //用户会以为通过ptr2改变了ptr1指向的值
}
在这段简单的代码中,由于是不带引用计数的,使用ptr1去初始化ptr2时,其实是先将ptr2指向ptr1的地方,然后会将ptr1置为nullptr。所以上面这段代码试图打印*ptr1是会发生错误的。ptr1已经被释放了。
下面是auto_ptr的主要源码,如下:
template<class _Ty>
class auto_ptr
{ // wrap an object pointer to ensure destruction
public:
typedef _Ty element_type;
explicit auto_ptr(_Ty * _Ptr = nullptr) noexcept
: _Myptr(_Ptr)
{ // construct from object pointer
}
/*这里是auto_ptr的拷贝构造函数,
_Right.release()函数中,把_Right的_Myptr
赋为nullptr,也就是换成当前auto_ptr持有资源地址
*/
auto_ptr(auto_ptr& _Right) noexcept
: _Myptr(_Right.release())
{ // construct by assuming pointer from _Right auto_ptr
}
_Ty * release() noexcept
{ // return wrapped pointer and give up ownership
_Ty * _Tmp = _Myptr;
_Myptr = nullptr;
return (_Tmp);
}
private:
_Ty * _Myptr; // the wrapped object pointer
};
分析下auto_ptr的拷贝构造函数可以发现,auto_ptr解决浅拷贝问题的方式。该拷贝构造函数是调用release()成员方法,该成员方法是将原来的指针先赋给临时变量,再将其置为空,返回原来的指针赋予给构造对象。只有最后一个auto_ptr智能指针持有资源,原来的auto_ptr都被赋nullptr了。
2,scoped_ptr<T>
这个智能指针是C++11后提出的,但是使用的也特别少。主要是解决了auto_ptr可以随意转移资源这个能力。auto_ptr可以使用拷贝构造和拷贝赋值随意的转移资源的使用权,但是这样及其容易出现错误。为了解决这个问题。scoped_ptr<T>处理非常暴力,直接禁止了左值的拷贝构造和拷贝赋值。大概如下:
//更加暴力----直接禁止拷贝构造和拷贝赋值
scoped_ptr(const scoped_ptr<T>&) = delete;
scoped_ptr<T>& operator=(const scoped_ptr<T>&) = delete;
下面是scoped_ptr<T>的主要源码,如下:
template<class T> class scoped_ptr // noncopyable
{
private:
T * px;
/*
私有化拷贝构造函数和赋值函数,这样scoped_ptr的智能指针
对象就不支持这两种操作,从根本上杜绝浅拷贝的发生
*/
scoped_ptr(scoped_ptr const &);
scoped_ptr & operator=(scoped_ptr const &);
typedef scoped_ptr<T> this_type;
/*
私有化逻辑比较运算符重载函数,不支持scoped_ptr的智能指针
对象的比较操作
*/
void operator==( scoped_ptr const& ) const;
void operator!=( scoped_ptr const& ) const;
public:
typedef T element_type;
explicit scoped_ptr( T * p = 0 ): px( p ) // never throws
{
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
boost::sp_scalar_constructor_hook( px );
#endif
}
#ifndef BOOST_NO_AUTO_PTR
/*支持从auto_ptr构造一个scoped_ptr智能指针对象,
但是auto_ptr因为调用release()函数,导致其内部指
针为nullptr*/
explicit scoped_ptr( std::auto_ptr<T> p ) BOOST_NOEXCEPT : px( p.release() )
{
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
boost::sp_scalar_constructor_hook( px );
#endif
}
#endif
/*析构函数,释放智能指针持有的资源*/
~scoped_ptr() // never throws
{
#if defined(BOOST_SP_ENABLE_DEBUG_HOOKS)
boost::sp_scalar_destructor_hook( px );
#endif
boost::checked_delete( px );
}
};
从scoped_ptr的源码可以看到,该智能指针由于私有化了拷贝构造函数和operator=赋值函数,因此从根本上杜绝了智能指针浅拷贝的发生,所以scoped_ptr也是不能用在容器当中的,如果容器互相进行拷贝或者赋值,就会引起scoped_ptr对象的拷贝构造和赋值,这是不允许的,代码会提示编译错误。
auto_ptr和scoped_ptr这一点上的区别,有些资料上用所有权的概念来描述,道理是相同的,auto_ptr可以任意转移资源的所有权,而scoped_ptr不会转移所有权(因为拷贝构造和赋值被禁止了)。
3,unique_ptr<T>
unique_ptr中是禁用了左值的引用的禁止拷贝构造和拷贝赋值。,但是提供了右值引用的拷贝构造和拷贝赋值
unique_ptr(const unique_ptr<T>&) = delete;
unique_ptr<T>& operator=(const unique_ptr<T>&) = delete;
unique_ptr(const unique_ptr<T>&&) {}
unique_ptr<T>& operator=(const unique_ptr<T>&&) {}
unique_ptr智能指针可以通过右值引用进行拷贝构造和赋值操作,或者在产生unique_ptr临时对象的地方,如把unique_ptr作为函数的返回值时,示例代码如下:
// 示例1
unique_ptr<int> ptr(new int);
unique_ptr<int> ptr2 = std::move(ptr); // 使用了右值引用的拷贝构造
ptr2 = std::move(ptr); // 使用了右值引用的operator=赋值重载函数
// 示例2
unique_ptr<int> test_uniqueptr()
{
unique_ptr<int> ptr1(new int);
return ptr1;
}
int main()
{
/*
此处调用test_uniqueptr函数,在return ptr1代码
处,调用右值引用的拷贝构造函数,由ptr1拷贝构造ptr
*/
unique_ptr<int> ptr = test_uniqueptr();
return 0;
}
在实例2中test_uniqueptr()中创建了一个unique_ptr<int> ptr1,返回值是一个右值。主函数中的ptr会自动调用右值引用拷贝构造函数。当允许多个智能指针指向同一个资源的时候,
二,带引用计数的智能指针
带引用计数的智能指针有强智能指针:share_ptr,弱智能指针:weak_ptr。
每一个智能指针都会给资源的引用计数加1,当一个智能指针析构时,同样会使资源的引用计数减1,这样最后一个智能指针把资源的引用计数从1减到0时,就说明该资源可以释放了,由最后一个智能指针的析构函数来处理资源的释放问题,这就是引用计数的概念。
对于整数的++或者- -操作,它并不是线程安全的操作,因此shared_ptr和weak_ptr底层的引用计数已经通过CAS操作,保证了引用计数加减的原子特性,因此shared_ptr和weak_ptr本身就是线程安全的带引用计数的智能指针。
智能指针的交叉引用(循环引用)问题
请看下面的这个代码示例:
#include <iostream>
#include <memory>
using namespace std;
class B; // 前置声明类B
class A
{
public:
A() { cout << "A()" << endl; }
~A() { cout << "~A()" << endl; }
shared_ptr<B> _ptrb; // 指向B对象的智能指针
};
class B
{
public:
B() { cout << "B()" << endl; }
~B() { cout << "~B()" << endl; }
shared_ptr<A> _ptra; // 指向A对象的智能指针
};
int main()
{
shared_ptr<A> ptra(new A());// ptra指向A对象,A的引用计数为1
shared_ptr<B> ptrb(new B());// ptrb指向B对象,B的引用计数为1
ptra->_ptrb = ptrb;// A对象的成员变量_ptrb也指向B对象,B的引用计数为2
ptrb->_ptra = ptra;// B对象的成员变量_ptra也指向A对象,A的引用计数为2
cout << ptra.use_count() << endl; // 打印A的引用计数结果:2
cout << ptrb.use_count() << endl; // 打印B的引用计数结果:2
/*
出main函数作用域,ptra和ptrb两个局部对象析构,分别给A对象和
B对象的引用计数从2减到1,达不到释放A和B的条件(释放的条件是
A和B的引用计数为0),因此造成两个new出来的A和B对象无法释放,
导致内存泄露,这个问题就是“强智能指针的交叉引用(循环引用)问题”
*/
return 0;
}
代码打印结果:
A()
B()
2
2
可以看到,A和B对象并没有进行析构,通过上面的代码示例,能够看出来“交叉引用”的问题所在,就是对象无法析构,资源无法释放,那怎么解决这个问题呢?请注意强弱智能指针的一个重要应用规则:定义对象时,用强智能指针shared_ptr,在其它地方引用对象时,使用弱智能指针weak_ptr。
弱智能指针weak_ptr区别于shared_ptr之处在于:
1,weak_ptr不会改变资源的引用计数,只是一个观察者的角色,通过观察shared_ptr来判定资源是否存在
2,weak_ptr持有的引用计数,不是资源的引用计数,而是同一个资源的观察者的计数
3,weak_ptr没有提供常用的指针操作,无法直接访问资源,需要先通过lock方法提升为shared_ptr强智能指针,才能访问资源
那么上面的代码怎么修改,也就是如何解决带引用计数的智能指针的交叉引用问题,代码如下:
#include <iostream>
#include <memory>
using namespace std;
class B; // 前置声明类B
class A
{
public:
A() { cout << "A()" << endl; }
~A() { cout << "~A()" << endl; }
weak_ptr<B> _ptrb; // 指向B对象的弱智能指针。引用对象时,用弱智能指针
};
class B
{
public:
B() { cout << "B()" << endl; }
~B() { cout << "~B()" << endl; }
weak_ptr<A> _ptra; // 指向A对象的弱智能指针。引用对象时,用弱智能指针
};
int main()
{
// 定义对象时,用强智能指针
shared_ptr<A> ptra(new A());// ptra指向A对象,A的引用计数为1
shared_ptr<B> ptrb(new B());// ptrb指向B对象,B的引用计数为1
// A对象的成员变量_ptrb也指向B对象,B的引用计数为1,因为是弱智能指针,引用计数没有改变
ptra->_ptrb = ptrb;
// B对象的成员变量_ptra也指向A对象,A的引用计数为1,因为是弱智能指针,引用计数没有改变
ptrb->_ptra = ptra;
cout << ptra.use_count() << endl; // 打印结果:1
cout << ptrb.use_count() << endl; // 打印结果:1
/*
出main函数作用域,ptra和ptrb两个局部对象析构,分别给A对象和
B对象的引用计数从1减到0,达到释放A和B的条件,因此new出来的A和B对象
被析构掉,解决了“强智能指针的交叉引用(循环引用)问题”
*/
return 0;
}
代码打印如下:
A()
B()
1
1
~B()
~A()
上面例子中,在引用对象时,使用弱指针weak_ptr,这样析构时如果没有提升为shared_ptr,此时计数器为1,正常析构。
多线程访问共享对象问题
考虑如下代码:
class A
{
public:
A() { cout << "A()" << endl; }
~A() {cout << "~A()" << endl;}
void testA() { cout << "非常好用的方法!" << endl; }
private:
};
//子线程
void handler01(A *q)
{
std::this_thread::sleep_for(std::chrono::seconds(2));
// q访问A对象的时候,需要侦测一下A对象是否存活
q->testA();
}
//main()x线程
int main()
{
A* p = new A();
//开启一个线程
thread t1(handler01, p);
delete p;
//等待线程结束
t1.join();
return 0;
}
打印结果:
A()
~A()
非常好用的方法!
这个是非常不合理的结果,因为对象A已经被析构掉了,结果子线程还能调用A对象的方法。
借助shared_ptr和weak_ptr解决了这样一个问题,多线程访问共享对象的线程安全问题,解释如下:线程A和线程B访问一个共享的对象,如果线程A正在析构这个对象的时候,线程B又要调用该共享对象的成员方法,此时可能线程A已经把对象析构完了,线程B再去访问该对象,就会发生不可预期的错误。
解决方法代码如下:
class A
{
public:
A() { cout << "A()" << endl; }
~A() {cout << "~A()" << endl;}
void testA() { cout << "非常好用的方法!" << endl; }
private:
};
//子线程
void handler01(weak_ptr<A> pw)
{
std::this_thread::sleep_for(std::chrono::seconds(2));
// q访问A对象的时候,需要侦测下A对象是否存活。
shared_ptr<A> sp = pw.lock();
if(sp != nullptr)
{
sp->testA();
}
else{
cout << "A对象已经析构,不能够再访问!"<< endl;
}
}
//main()x线程
int main()
{
{
shared_ptr<A> p(new A());
//开启一个线程
thread t1(handler01, weak_ptr<A>(p) );
t1.detach();
}
std::this_thread::sleep_for(std::chrono::seconds(10));
return 0;
}
打印结果:
A()
~A()
A对象已经析构,不能够再访问!
通过使用shared_ptr来指向对象A,然后子线程参数通过weak_ptr来接收对象A。这样当main()线程已经析构完对象A后,子线程中就肯定无法使用到对象A。保证了安全。如果一定要子线程中使用到对象A的方法,那么可以将子线程参数改成shared_ptr。