智能指针的作用:管理一个指针,因为存在以下情况,申请的空间在函数结束时忘记释放,造成内存泄露。使用智能指针可以很大程度上避免这个问题,因为智能指针就是一个类,当超出了类的作用域,类会自动调用析构函数,析构函数会自动释放资源,所以智能指针的作用原理就是在函数结束时自动释放内存空间,不需要手动释放。
1 auto_ptr(c++11已抛弃)
auto_ptr< string> p1 (new string ("I reigned lonely as a cloud.”));
auto_ptr<string> p2;
p2 = p1; //auto_ptr不会报错.
此时不会报错,p2剥夺了p1的所有权,但是当程序运行时访问p1将会报错,所以auto_ptr的缺点就是:存在潜在的内存崩溃问题。
2 unique_ptr
unique_ptr实现独占时拥有严格拥有的概念,保证同一时间内只有一个智能指针可以指向该对象,对于避免资源泄露特别有用。
unique_ptr<string> p3 (new string("yuanchao"));
unique_ptr<string> p4;
p4 = p3;//Error
编译器认为p4=p3非法,避免了p3不再指向有效数据的问题。因此,unique_ptr比auto_ptr更安全。
另外unique_ptr还有更聪明的地方:当程序试图将一个 unique_ptr 赋值给另一个时,如果源 unique_ptr 是个临时右值,编译器允许这么做;如果源 unique_ptr 将存在一段时间,编译器将禁止这么做,比如:
unique_ptr<string> pu1(new string ("hello world"));
unique_ptr<string> pu2;
pu2 = pu1; // #1 not allowed
unique_ptr<string> pu3;
pu3 = unique_ptr<string>(new string ("You")); // #2 allowed
其中#1留下悬挂的unique_ptr(pu1),这可能导致危害。而#2不会留下悬挂的unique_ptr,因为它调用 unique_ptr 的构造函数,该构造函数创建的临时对象在其所有权让给 pu3 后就会被销毁。这种随情况而已的行为表明,unique_ptr 优于允许两种赋值的auto_ptr 。
注:如果确实想执行类似与#1的操作,要安全的重用这种指针,可给它赋新值。C++有一个标准库函数std::move(),让你能够将一个unique_ptr赋给另一个。例如:
unique_ptr<string>ps1(new string("hello"));
ps2 = move(ps1);
unique_ptr<string>ps1(new string("world"));
cout << *ps2 << *ps1 << endl;
在将ps1移动给ps2后,ps1为NULL;
3 shared_ptr
shared_ptr实现共享式拥有的概念。多个智能指针可以指向相同对象,该对象和其相关资源会在”最后一个引用被销毁“的时候释放。其使用计数机制来表明资源被几个指针共享。通过成员函数use_count()来查看资源的所有者个数。除了通过new来构造,还可以通过传入auto_ptr,unique_ptr,weak_ptr来构造。当调用release()时,当前指针会释放资源所有权,计数减一。当计数为0时,资源会被释放。
shared_ptr解决了unique_ptr和auto_ptr在对象所有权上的局限性,在使用引用计数的机制上提供了可以共享所有权的智能指针。
成员函数:
use_count 返回引用计数的个数
unique 返回是否是独占所有权( use_count 为 1)
swap 交换两个 shared_ptr 对象(即交换所拥有的对象)
reset 放弃内部对象的所有权或拥有对象的变更, 会引起原有对象的引用计数的减少
get 返回内部对象(指针), 由于已经重载了()方法, 因此和直接使用对象是一样的.如 shared_ptr sp(new int(1)); sp 与 sp.get()是等价的。
4 weak_ptr
waek_ptr的设计目的是为配合shared_ptr,是用来协助shared_ptr工作的智能指针。其不控制对象生命周期,指向一个shared_ptr管理的对象,它只可以从shared_ptr或另一个weak_ptr对象构造,其构造和析构不会引起引用技术的增加或减少。weak_ptr是用来解决shared_ptr相互引用时的死锁问题,如果说两个shared_ptr相互引用,那么这两个指针的引用计数永远不可能下降为0,资源永远不会释放。它是对对象的一种弱引用,不会增加对象的引用计数,和shared_ptr之间可以相互转化,shared_ptr可以直接赋值给它,它可以通过调用lock函数来获得shared_ptr。
class B;
class A
{
public:
shared_ptr<B> pb_;
~A()
{
cout<<"A delete\n";
}
};
class B
{
public:
shared_ptr<A> pa_;
~B()
{
cout<<"B delete\n";
}
};
void fun()
{
shared_ptr<B> pb(new B());
shared_ptr<A> pa(new A());
pb->pa_ = pa;
pa->pb_ = pb;
cout<<pb.use_count()<<endl;
cout<<pa.use_count()<<endl;
}
int main()
{
fun();
return 0;
}
可以看到fun函数中pa ,pb之间互相引用,两个资源的引用计数为2,当要跳出函数时,智能指针pa,pb析构时两个资源引用计数会减一,但是两者引用计数还是为1,导致跳出函数时资源没有被释放(A B的析构函数没有被调用),如果把其中一个改为weak_ptr就可以了,我们把类A里面的shared_ptr pb_; 改为weak_ptr pb_; 运行结果如下,这样的话,资源B的引用开始就只有1,当pb析构时,B的计数变为0,B得到释放,B释放的同时也会使A的计数减一,同时pa析构时使A的计数减一,那么A的计数为0,A得到释放。
注意的是我们不能通过weak_ptr直接访问对象的方法,比如B对象中有一个方法print(),我们不能这样访问,pa->pb_->print(); 英文pb_是一个weak_ptr,应该先把它转化为shared_ptr,如:shared_ptr p = pa->pb_.lock(); p->print();
5 智能指针实现
unique_ptr
template<typename T>
class MyUniquePtr
{
public:
// 构造函数
// explicit抑制隐式类型转换
MyUniquePtr(T* ptr = nullptr)
:mPtr(ptr)
{
}
// 析构函数
~MyUniquePtr()
{
if (mPtr)
{
delete mPtr;
}
}
// 将拷贝构造函数删掉
MyUniquePtr(const MyUniquePtr &p) = delete;
// 将赋值运算符删掉
MyUniquePtr& operator=(const MyUniquePtr &p) = delete;
// 建立移动构造函数
MyUniquePtr(MyUniquePtr &&p) noexcept;
// 重载移动赋值运算符
MyUniquePtr& operator=(MyUniquePtr &&p)noexcept;
// 重载*
T* operator*()const noexcept { return mPtr; }
// 重载->
T& operator->()const noexcept { return *mPtr; }
// 重载bool
explicit operator bool()const noexcept { return mPtr; }
void reset(T* q = nullptr)noexcept
{
if (q != mPtr)
{
if (mPtr)
delete mPtr;
mPtr = q;
}
}
T* release()noexcept
{
T* res = mPtr;
mPtr = nullptr;
return res;
}
T* get() const noexcept { return mPtr; }
void swap(MyUniquePtr &p) noexcept
{
using std::swap;
swap(mPtr, p.mPtr);
}
private:
T* mPtr;
};
template<typename T>
MyUniquePtr<T>::MyUniquePtr(MyUniquePtr && p) noexcept
:mPtr(p.mPtr)
{
p.mPtr = NULL;
}
template<typename T>
MyUniquePtr<T> & MyUniquePtr<T>::operator=(MyUniquePtr &&p) noexcept
{
swap(p);
return *this;// 返回后,右值p将被销毁,从而指向delete p.mPtr
}
class test
{
public:
int n;
test(int i) :n(i)
{
std::cout << "test 构造" << n << std::endl;
}
~test()
{
std::cout << "test 析构 " << n << std::endl;
}
};
int main()
{
MyUniquePtr<test> p1(new test(1));
MyUniquePtr<test> p2=new test(2);
MyUniquePtr<test> p3 (move(p1));
cout << p3.get()->n << endl;
p3 = move(p2);
cout << p3.get()->n << endl;
cout << "swap测试" << endl;
MyUniquePtr<test> p4(new test(4));
MyUniquePtr<test> p5 = new test(5);
p4.swap(p5);
cout <<"p4=="<< p4.get()->n << endl;
cout << "p5==" << p5.get()->n << endl;
return 0;
}
shared_ptr
template<typename T>
class Counter
{
private:
T *mPtr;
int cnt;
// 友元类声明
template<typename T>
friend class SmartPtr;
// 构造函数
Counter(T* p)
{
mPtr = p;
cnt = 1;
}
// 析构函数
~Counter()
{
delete mPtr;
}
};
// 智能指针类
template<typename T>
class SmartPtr
{
private:
T* mPtr;
Counter<T>* ptr_cnt;
public:
// 普通构造函数
SmartPtr(T* p)
:mPtr(p), ptr_cnt(new Counter<T>(p))
{
}
// 拷贝构造函数
SmartPtr(const SmartPtr& other)
: mPtr(other.mPtr), ptr_cnt(other.ptr_cnt)
{
ptr_cnt->cnt++;
cout << "拷贝构造" << endl;
}
// 移动构造函数
SmartPtr(SmartPtr&& other)
: mPtr(std::move(other.mPtr)), ptr_cnt(std::move(other.ptr_cnt))
{
other.ptr_cnt = nullptr;
}
// 赋值重载
SmartPtr& operator=(const SmartPtr& rhs)
{
if (ptr_cnt != rhs.ptr_cnt)
{
if (ptr_cnt != nullptr)
{
ptr_cnt->cnt--;
if (ptr_cnt->cnt == 0)
{
delete ptr_cnt;
}
}
ptr_cnt = rhs.ptr_cnt;
mPtr = rhs.mPtr;
rhs.ptr_cnt->cnt++;
cout << "赋值重载" << endl;
}
return *this;
}
// 移动赋值重载
SmartPtr& operator=(SmartPtr && rhs)
{
if (ptr_cnt != rhs.ptr_cnt)
{
std::swap(this, rhs);
}
return *this;
}
// 析构函数
~SmartPtr()
{
if (ptr_cnt != nullptr)
{
ptr_cnt--;
if (ptr_cnt->cnt == 0)
{
delete ptr_cnt;
}
}
}
T& operator*() const { return *(mPtr); }
T* operator&() const { return mPtr; }
size_t use_count() const { return ptr_cnt->cnt; }
bool unique() const { return (ptr_cnt->cnt == 1); }
T* get() const { return mPtr; }
};
class test
{
public:
int n;
test(int i) :n(i)
{
std::cout << "test构造成功" << n << std::endl;
}
~test()
{
std::cout << "test析构成功 " << n << std::endl;
}
};
int main(int argc, char** argv) {
SmartPtr<test> p1 = new test(1);//构造
std::cout << "P1的引用数量"<<p1.use_count() << std::endl; //1?
SmartPtr<test> p2 = p1;//复制构造
std::cout << "P1的引用数量" << p1.use_count() << std::endl;//2?
std::cout << "p1的值:"<<p1.get()->n << "p2的值:" << p2.get()->n << std::endl;//11?
SmartPtr<test> p3(std::move(p2));//移动构造
std::cout << "P1的引用数量" << p1.use_count() << std::endl;//2?
//std::cout << "P2的引用数量" << p2.use_count() << std::endl;//2?
std::cout << "P3的引用数量" << p3.use_count() << std::endl;//2?
SmartPtr<test> p4 = new test(2);
p3 = p4;//赋值
std::cout << "P1的引用数量" << p1.use_count() << std::endl;//1?
std::cout << "P3的引用数量" << p3.use_count() << std::endl;//2?
std::cout << "P4的引用数量" << p4.use_count() << std::endl;//2?
return 0;
}