简单的介绍到底什么是智能指针
智能指针:
- 用起来像指针(注意, 这里用了“像”)
- 会自己对资源进行释放
自己对资源进行释放
先来写一个简单的例子
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
所谓的智能指针是要解决什么问题呢
显然, 这个对象需要我们手动去释放
int main(){
CStudent *pStu = new Student();
if (pStu != nullptr){
delete pStu;
pStu = nullptr;
}
}
我们想对象创建的时候, 自己去决定什么时候释放, 程序员不用去考虑
所以, 为了达到这个目的,
我们可以创建一个类, 利用该类的构造和析构(进出作用域自动被编译器调用)的机制
来解决资源自动释放的问题
这个类有构造和析构, 不用手动去调用, 编译器会自动调用
随便写一个
class CSmartPtr{
public:
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
}
然后智能指针需要有构造函数, 析构函数
应该这样写
注意CSmartptr()
传入的参数一定要是一个堆对象
因为我们要利用析构去释放它. 构造的时候进行赋值, 析构的时候进行释放
利用这样一个简单的功能, 去完成智能指针的简单功能
// 一定要是一个堆对象, 因为我们要利用析构去释放它. 构造的时候进行赋值, 析构的时候进行释放
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
main函数里这样用智能指针, 直接将new放到sp的构造函数里CSmartPtr sp(new CStudent());
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
}
int main(){
CSmartPtr sp(new CStudent());
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
代码运行:
sp
对象对象里包含CStudent
指针
什么时候sp里的指针会释放呢, 跟智能指针对象一样,智能指针释放, sp所带的堆对象会释放
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
完成了前面的第2个功能 ** 2. 会自己对资源进行释放**
看起来像指针的功能实现
虽然这里可以完成资源的自动释放CSmartPtr sp(new CStudent());
但是还有一个问题 用起来不像一个指针, 因为它是一个对象, 不能写sp->, 因为指针对象有->操作符
而且用起来不像原来的对象, 而只是把对象放到了sp
这里来, 用起来也不是CStudent
对象, 所以用起来感觉也不对
->运算符
所以我们需要怎么做呢
需要想办法让其对象用起来像是一个指针
为了用起来像一个指针, 而且模仿的效果一致
需要写运算符重载->, 像一个指针的写法
按道理应该这样写sp.m_pObj->test
, 因为要使得m_pObj
对象相当于是CStudent
对象, 相当于是这么写sp->test()
, 因为你不能让用户感知到智能指针内部的东西(m_pObj), 按道理, CStudent
的指针相当于是sp
了
相当于-> 返回了内部的指针(m_pObj)
但是如果CStudent* operator->
返回值是CStudent*
那么sp->
返回CStudent*
那又要写一个->
才能找到CStudent*
的test
函数, 即这样写了sp->->test()
, 但是C++里没有->->
语法, 会编译器处理, 自动缩减成->
CStudent* operator->(){
return m_pObj;
}
总代码
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CStudent* operator->(){
return m_pObj;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
sp->test();
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
*运算符
到这里, sp就类似于student形式的指针, 但是, 这显然还不够
指针还可以解引用, (*sp)
重载* (注意: 解引用后, 返回的是解引用对象的引用)
CStudent& operator*(){
return *m_pObj;
}
总代码:
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
sp->test();
(*sp).test();
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
支持bool判断
当然还有哦, 还有指针可以当bool
来用 if (sp), sp是否为空, 空的就是false
operator bool(){
return m_pObj != nullptr;
}
编译通过
总代码:
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
operator bool(){
return m_pObj != nullptr;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
// sp->test();
(*sp).test();
if (sp){
}
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
还有还有, 指针, 可以取地址&
, 就不再展开, 所以慢慢慢慢的就开始向一个指针了
崩溃
到了这里, 对象就完美了吗? 远远不够
还有一个问题, 出现以下的写法会怎么样
CSmartptr sp2 = sp;
崩溃代码:
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
operator bool(){
return m_pObj != nullptr;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
CSmartPtr sp2 = sp;
// sp->test();
// (*sp).test();
// if (sp){
// }
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
分析崩溃原因:
CSmartptr sp2 = sp;
用的是拷贝构造, 而拷贝构造默认用的是浅拷贝, 会把指针赋值称为同一个值, 两个指针在析构的时候,都会释放同一个堆空间, 堆空间被重复释放了2次, 就会出问题
还有赋值构造也会导致奔溃
解决思路1(暴力删除delete)
- 不允许拷贝构造, 直接让
CSmartptr sp2 = sp;
编译不通过.
CSmartPtr(CSmartPtr&) = delete;
- 不允许赋值构造函数, 让
CSmartPtr sp3(new CStudent());
sp3 = sp;
编译不通过
CSmartPtr& operator = (CSmartPtr&) = delete;
下图(拷贝构造函数失效)
下图(赋值构造函数)失效
总代码(拷贝/赋值构造函数delete)
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CSmartPtr& operator = (CSmartPtr&) = delete; // 赋值构造函数delete
CSmartPtr(CSmartPtr&) = delete; // 拷贝构造函数delele
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
operator bool(){
return m_pObj != nullptr;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
CSmartPtr sp3(new CStudent());
sp3 = sp;
// sp->test();
// (*sp).test();
// if (sp){
// }
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
但是这样写太粗暴了, 有一个指针, 凭什么不让我拷贝, 凭什么不让我赋值, 没道理
解决思路2:使用拷贝移动(auto_ptr 98的原型)
什么叫拷贝移动
CSmartPtr& operator= (CSmartPtr& sp) {
if (m_pObj != nullptr){
delete m_pObj;
}
m_pObj = sp.m_pObj;
sp.m_pObj = nullptr;
return *this;
}
总代码
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CSmartPtr& operator= (CSmartPtr& sp) {
if (m_pObj != nullptr){
delete m_pObj;
}
m_pObj = sp.m_pObj;
sp.m_pObj = nullptr;
return *this;
}
CSmartPtr(CSmartPtr&) = delete;
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
operator bool(){
return m_pObj != nullptr;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
CSmartPtr sp3(new CStudent());
sp3 = sp;
// sp->test();
// (*sp).test();
// if (sp){
// }
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
不会再出现崩溃问题, 这样做是可以的, 但是要时时刻刻注意, 赋值完后, 谁没有了, 相当于上述代码, 赋值完后sp
对象就没了
注意: 如果sp是空指针, 且类里函数没有调用赋值操作等, 只是输出操作, 仍然可以调用该函数
class CStudent
{
public:
...
void test()
{
cout << "CStudent" << endl;
}
...
代码:(核心: sp->test()
)
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CSmartPtr& operator= (CSmartPtr& sp) {
if (m_pObj != nullptr){
delete m_pObj;
}
m_pObj = sp.m_pObj;
sp.m_pObj = nullptr;
return *this;
}
CSmartPtr(CSmartPtr&) = delete;
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
operator bool(){
return m_pObj != nullptr;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
CSmartPtr sp3(new CStudent());
sp3 = sp;
sp->test();
// sp->test();
// (*sp).test();
// if (sp){
// }
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
成功运行:
但是对test函数修改
class CStudent
{
public:
...
void test()
{
cout << "CStudent" << endl;
m_nSex = 1;
}
...
};
总代码:
#include <iostream>
using namespace std;
class CStudent
{
public:
CStudent()
{
}
void test()
{
cout << "CStudent" << endl;
m_nSex = 1;
}
private:
char* m_pszBuf;
int m_nSex;
};
// 智能指针雏形 需要管理资源
class CSmartPtr{
public:
// 一定要是一个堆对象
CSmartPtr(CStudent* pObj){
m_pObj = pObj;
}
~CSmartPtr(){
if (m_pObj != nullptr){
delete m_pObj;
}
}
CSmartPtr& operator= (CSmartPtr& sp) {
if (m_pObj != nullptr){
delete m_pObj;
}
m_pObj = sp.m_pObj;
sp.m_pObj = nullptr;
return *this;
}
CSmartPtr(CSmartPtr&) = delete;
CStudent* operator->(){
return m_pObj;
}
CStudent& operator*(){
return *m_pObj;
}
operator bool(){
return m_pObj != nullptr;
}
private:
CStudent* m_pObj; // 将资源放入智能指针类中, 管理起来
};
int main(){
CSmartPtr sp(new CStudent());
CSmartPtr sp3(new CStudent());
sp3 = sp;
sp->test();
// sp->test();
// (*sp).test();
// if (sp){
// }
// CStudent *pStu = new Student();
// if (pStu != nullptr){
// delete pStu;
// pStu = nullptr;
// }
}
就会Segment Fault
所以第2种解决方法, 要时刻注意后面的对象被释放了, 不能再使用了, 这样又加重了程序员的烦恼, 程序员又要记住左边的能用, 右边的不能用
但是这样写是auto ptr的原型
解决思路3: 结合引用技术, 写时拷贝
结合前面的引用技术 以及写时拷贝, 结合后
int main(){
CSmartPtr sp(new CStudent());
CSmartPtr sp3(new CStudent());
sp3 = sp;
...
}
表示sp和sp3, 在sp, sp3不修改的情况下, 二者指的都是同一个指针, 就不存在后面的使用的问题了
新的智能指针写法