C++智能指针

为什么需要智能指针？

• 存在异常安全问题。
• 在涉及资源管理的代码中，如果代码在malloc和free之间抛异常，那么就有内存泄漏的风险。

智能指针的使用及原理

RAII

• RAII（Resource Acquisition Is Initialization）是一种利用对象生命周期来控制程序资源（如内存、文件句柄、网络连接、互斥量等等）的简单技术。
• 在对象构造时获取资源，接着控制对资源的访问使之在对象的生命周期内始终保持有效，最后在对象析构的时候释放资源。借此，我们实际上把管理一份资源的责任托管给了一个对象。这种做法有两大好处：
  • 不需要显式地释放资源。
  • 采用这种方式，对象所需的资源在其生命期内始终保持有效。

智能指针的原理

• RAII特性
• 重载operator*和opertaor->，具有像指针一样的行为。

1. std::auto_ptr

• auto_ptr的实现原理：管理权转移的思想。
• 当对象拷贝或者赋值后，前面对象就为空了。

2. std::unique_ptr

• unique_ptr的实现原理：简单粗暴的防拷贝，不让拷贝和赋值。

3. std::shared_ptr

• shared_ptr的原理：是通过引用计数的方式来实现多个shared_ptr对象之间共享资源。
• shared_ptr在其内部，给每个资源都维护了着一份计数，用来记录该份资源被几个对象共享。
• 在对象被销毁时(也就是析构函数调用)，就说明自己不使用该资源了，对象的引用计数减一。
• 如果引用计数是0，就说明自己是最后一个使用该资源的对象，必须释放该资源。
• 如果不是0，就说明除了自己还有其他对象在使用该份资源，不能释放该资源，否则其他对象就成野指针了。

std::shared_ptr的线程安全问题

• 智能指针对象中引用计数是多个智能指针对象共享的，两个线程中智能指针的引用计数同时++或–，这个操作不是原子的，引用计数原来是1，++了两次，可能还是2。这样引用计数就错乱了。会导致资源未释放或者程序崩溃的问题。所以只能指针中引用计数++、–是需要加锁的，也就是说引用计数的操作是线程不安全的。
• 智能指针管理的对象存放在堆上，两个线程中同时去访问，会导致线程安全问题。

std::shared_ptr的循环引用

struct ListNode 
{    
	int _data;    
	shared_ptr<ListNode> _prev;    
	shared_ptr<ListNode> _next;
    ~ListNode(){ cout << "~ListNode()" << endl; } 
};
 
int main()
{
	shared_ptr<ListNode> node1(new ListNode);    			
	shared_ptr<ListNode> node2(new ListNode);    
	cout << node1.use_count() << endl;    
	cout << node2.use_count() << endl;
    node1->_next = node2;    
    node2->_prev = node1;
    cout << node1.use_count() << endl;    
    cout << node2.use_count() << endl;
    return 0; 
}

循环引用分析：

1. node1和node2两个智能指针对象指向两个节点，引用计数变成1，我们不需要手动delete。
2. node1的_next指向node2，node2的_prev指向node1，引用计数变成2。
3. node1和node2析构，引用计数减到1，但是_next还指向下一个节点。但是_prev还指向上一个节点。
4. 也就是说_next析构了，node2就释放了。
5. 也就是说_prev析构了，node1就释放了。
6. 但是_next属于node的成员，node1释放了，_next才会析构，而node1由_prev管理，_prev属于node2 成员，所以这就叫循环引用，谁也不会释放。

解决方案：在引用计数的场景下，把节点中的_prev和_next改成weak_ptr

• 原理就是，node1->_next = node2;和node2->_prev = node1;时weak_ptr的_next和_prev不会增加 node1和node2的引用计数。

如果不是new出来的对象如何通过智能指针管理呢？

• 设计一个删除器来解决这个问题

// 仿函数的删除器 
template<class T> 
struct FreeFunc {    
	void operator()(T* ptr)    
	{        
		cout << "free:" << ptr << endl;        
		free(ptr);    
	} 
};
 
template<class T> 
struct DeleteArrayFunc {    
	void operator()(T* ptr)    
	{         
		cout << "delete[]" << ptr << endl;        
		delete[] ptr;     
	} 
};
 
int main() 
{    
	FreeFunc<int> freeFunc;    
	shared_ptr<int> sp1((int*)malloc(4), freeFunc);
 
    DeleteArrayFunc<int> deleteArrayFunc;    
    shared_ptr<int> sp2((int*)malloc(4), deleteArrayFunc);        
    return 0;
}

RAII扩展学习

• RAII思想除了可以用来设计智能指针，还可以用来设计守卫锁，防止异常安全导致的死锁问题。

 #include <thread> 
 #include <mutex>
 
template<class Mutex> 
class LockGuard 
{ 
public:    
	LockGuard(Mutex& mtx)        
		:_mutex(mtx)    
	{        
		_mutex.lock();    
	}
 
    ~LockGuard()    
    {        
    	_mutex.unlock();    
    }
 
    LockGuard(const LockGuard<Mutex>&) = delete;
 
private:    
	// 注意这里必须使用引用，否则锁的就不是一个互斥量对象    
	Mutex& _mutex; 
};
 
mutex mtx; 
static int n = 0;
 
void Func() 
{    
	for (size_t i = 0; i < 1000000; ++i)    
	{        
		LockGuard<mutex> lock(mtx);        
		++n;    
	}
}
int main() 
{    
	int begin = clock();    
	thread  t1(Func);    
	thread  t2(Func);
 
    t1.join();    
    t2.join();
 
    int end = clock();
 
    cout << n << endl;    
    cout <<"cost time:" <<end - begin << endl;        
    return 0; 
}