> 文章列表 > 智能指针——C++

智能指针——C++

智能指针——C++

智能指针相较于普通指针的区别,就是智能指针可以不用主动释放内存空间,系统会自动释放,避免了内存泄漏。

1、unique_ptr:独占指针

需包含的头文件:#include <memory>

unique_ptr 三种定义方式

先定义一个类

class cat
{cat(std::string name);~cat();void cat_info() const //输出一下成员name的值{std::cout<<"name:"<<this->name<<std::endl;}void set_cat_name(const std::string &name) //修改成员name的值{this->name=name;}std::string get_name() const{return name;}
private:std::string name{"mimi"};
};
  1. 使用std::make_unique的方式:推荐使用的方式
	//方法一 std::make_uniquestd::unique_ptr<cat> u_c_p4 = std::make_unique<cat>("ee");std::string a=u_c_p4->get_name();std::cout << "a:" << a << std::endl;

智能指针——C++

  1. 使用new的方式声明智能指针
	//方法二 newstd::unique_ptr<cat> u_c_p3{ new cat("cc")};std::cout << "-------------" << std::endl;

智能指针——C++
我们只new了这个类对象,并没有delete释放他的地址,但是智能指针会在程序执行结束自动调用这个类的析构函数

  1. 利用普通指针声明
	cat *c_p2 = new cat("xy"); //声明一个普通指针std::unique_ptr<cat> u_c_p2{ c_p2 }; // 声明一个智能指针指向普通指针的地址//正能指针和普通指针的指向的地址相同,两个指针任意一个改变,对方也会跟着改变c_p2->cat_info();u_c_p2->cat_info();c_p2->set_cat_name("aa");c_p2->cat_info();u_c_p2->cat_info();u_c_p2->set_cat_name("bb");c_p2->cat_info();u_c_p2->cat_info();std::cout << "-------------" << std::endl;return 0;

智能指针——C++

用该方法声明智能指针有一个确定,普通指针依然可以使用,如果普通指针改变地址的值,那么智能指针的值也会跟着改变。

unique_ptr 做函数参数

  • unique_ptr不能被复制,只可以move,即当要让unique_ptr 的变量做函数参数,直接将变量放在括号里是不可以的,可以用move函数
void do_unique_value(std::unique_ptr<cat> c)
{c->cat_info();
}
int main()
{//方法一 std::make_uniquestd::unique_ptr<cat> u_c_p4 = std::make_unique<cat>("ee");do_unique_value(u_c_p4);   //直接赋值到括号里是不行的u_c_p4->cat_info(); // 在move之前是可以调用的,但是move之后是不能调用的do_unique_value(std::move(u_c_p4));  //要用move函数进行值传递u_c_p4->cat_info(); //这里就能调用了//但是在move之后这个变量是不能调用的do_unique_value(std::make_unique<cat>()); // 直接构造std::cout << "-------------" << std::endl;return 0;
}

智能指针——C++

如果值是引用的话,可以不用move

void do_unique_value2(std::unique_ptr<cat> &c)
{c->cat_info();
}do_unique_value(u_c_p4);  //参数是引用,就可以直接传值u_c_p4->cat_info();  //并且之后也可以在使用该变量

2、shared_ptr 计数指针、共享指针

shared_ptr基础概念

  • shared_ptr区别于unique_ptr的区别是shared_ptr可以被复制,shared_ptr创建了一个计数器对象,与类对象所指向的内存地址关联。
  • copy一次shared_ptr的计数器就加1,销毁一次计数器就减一
  • 调用shared_ptr计数器的API是use_count()
  1. shared_ptr指针变量的赋值后,use_count()计数值就为1,然后将shared_ptr 变量赋给其他值,本身和另一个值的value值相同,计数值都为2,是在原本shared_ptr值为1的基础上+1。
  2. 如果两个以上存储着相同地址的shared_ptr值,其中一个给赋值为nullptr,的话,那么只有被赋值为空的变量值为空,其余几个value值不变,但是计数值都会在原有基础上-1。
	std::shared_ptr<int> i_p_1 = std::make_shared<int>(10);std::cout << "value:" << *i_p_1 << std::endl;// 第一次赋值计数为1std::cout << "use count:" << i_p_1.use_count() << std::endl; std::cout << "-------------" << std::endl;//结果// value:10// use count : 1//copystd::shared_ptr<int> i_p_2 = i_p_1;std::cout << "i_p_1 value:" << *i_p_1 << std::endl;std::cout << "i_p_2 value:" << *i_p_2 << std::endl;//将i_p_1的值给i_p_2,对该地址有一次进行复制操作,计数+1,i_p_1和i_p_2代表的地址相同,存储值和计数值都相同std::cout << "i_p_1 use count:" << i_p_1.use_count() << std::endl;std::cout << "i_p_2 use count:" << i_p_2.use_count() << std::endl;std::cout << "-------------" << std::endl;//结果://value:10//value:10//use count : 2//use count : 2//修改值*i_p_2 = 30;std::cout << "i_p_1 value:" << *i_p_1 << std::endl;std::cout << "i_p_2 value:" << *i_p_2 << std::endl;std::cout << "i_p_1 use count:" << i_p_1.use_count() << std::endl;std::cout << "i_p_2 use count:" << i_p_2.use_count() << std::endl;std::cout << "-------------" << std::endl;//结果//i_p_1 value : 30//i_p_2 value : 30//i_p_1 use count : 2//i_p_2 use count : 2// 三个值表示同一个地址,将其中一个赋值为nullptrstd::shared_ptr<int> i_p_3 = i_p_1;std::cout << "---------i_p_1 = nullptr befo---------" << std::endl;std::cout << "i_p_1 value:" << *i_p_1 << std::endl;std::cout << "i_p_2 value:" << *i_p_2 << std::endl;std::cout << "i_p_3 value:" << *i_p_3 << std::endl;// 将i_p_1赋值给i_p_3,计数值在2的基础上+1=3std::cout << "i_p_1 use count:" << i_p_1.use_count() << std::endl;std::cout << "i_p_2 use count:" << i_p_2.use_count() << std::endl;std::cout << "i_p_2 use count:" << i_p_3.use_count() << std::endl;i_p_1 = nullptr;std::cout << "------i_p_1 = nullptr after-----------"<<std::endl;//std::cout << "i_p_1 value:" << *i_p_1 << std::endl; //赋空之后不能输出std::cout << "i_p_2 value:" << *i_p_2 << std::endl;std::cout << "i_p_3 value:" << *i_p_3 << std::endl;//i_p_1赋值为空后,i_p_1的计数值直接为0,但是i_p_2和i_p_3的计数值会在原来3的基础上-1std::cout << "i_p_1 use count:" << i_p_1.use_count() << std::endl;std::cout << "i_p_2 use count:" << i_p_2.use_count() << std::endl;std::cout << "i_p_2 use count:" << i_p_3.use_count() << std::endl;// 结果// ---------i_p_1 = nullptr befo---------//i_p_1 value : 30//i_p_2 value : 30//i_p_3 value : 30//i_p_1 use count : 3//i_p_2 use count : 3//i_p_2 use count : 3//------i_p_1 = nullptr after-----------//i_p_2 value : 30//i_p_3 value : 30//i_p_1 use count : 0//i_p_2 use count : 2//i_p_2 use count : 2

shared_ptr函数

shared_ptr变量是可以copy,可以被当做值直接复制给函数,传入函数体后,在函数体内部计数值依然会进行加减操作,但操作尽在函数体内有效,出了函数体,计数值会恢复到原来的数值。但是在函数体里面对指针的值进行修改的话,该值会被修改。

void cat_by_value(std::shared_ptr<cat> cat)
{cat->set_cat_name("ee");cat->cat_info();std::cout << "use count:" << cat.use_count() << std::endl;
}std::shared_ptr<cat> c1 = std::make_shared<cat>("dd");c1->cat_info();std::cout << "c1 use count:" << c1.use_count() << std::endl;std::cout << "-------------" << std::endl;cat_by_value(c1);std::cout << "-------------" << std::endl;c1->cat_info();std::cout << "c1 use count:" << c1.use_count() << std::endl;//结果//cat:dd//name:dd//c1 use count : 1//------------ -//name : ee//use count : 2//------------ -//name : ee//c1 use count : 1//del : ee

3、shared_ptr与unique_ptr

  • 不能将shared_ptr转化为unique_ptr
  • 可以将unique_ptr转化为shared_ptr,使用std::move

如果函数有返回值的话,返回值最好设计为unique_ptr,的类型,应为unique_ptr既可以赋值给shared_ptr,也可以赋值给shared_ptr

  • 可以用move函数将unique_ptr的值赋给shared_ptr类型
  • 也可以将函数返回的unique_ptr类型的数据直接赋值给shared_ptr类型
std::unique_ptr<cat> get_unique_ptr()
{std::unique_ptr<cat> cat_p = std::make_unique<cat>("local cat");return cat_p;
}int main()
{std::unique_ptr<cat> c_p_1 = std::make_unique<cat>("dd");// 使用move的方式赋值std::shared_ptr<cat> c_p_2 = std::move(c_p_1);std::cout << "use count:" << c_p_2.use_count() << std::endl;c_p_2->get_name();std::cout << "use count:" << c_p_2.use_count() << std::endl;std::cout << "-------------" << std::endl;// 函数返回值赋值std::shared_ptr<cat> c_p_3 = get_unique_ptr();c_p_3->get_name();std::cout << "use count:" << c_p_3.use_count() << std::endl;std::cout << "-------------" << std::endl;return 0;
}

weak_ptr

  • weak_ptr没有内存的所有权,所以不能调用->和解引用*
  • weak_ptr可以通过lock()提升为shared_ptr类型

weak_ptr不能单独存在,一般需要借助shared_ptr,来声明

  • 将shared_ptr的值给w_p_1对象,是可以的,并且w_p_1可以调用use_count()计数值,但是在飞w_p_1对象赋值的过程中shared_ptr这个对象的计数值不会+1
  • 使用lock(),将weak_ptr的值赋值给shared_ptr,两者的use_count()计数值都会相加。
	std::shared_ptr<cat> s_p_1 = std::make_shared<cat>("c1");//将shared_ptr的值给w_p_1对象,是可以的,并且w_p_1可以调用use_count()计数值,但是在飞w_p_1对象赋值的过程中shared_ptr这个对象的计数值不会+1std::weak_ptr<cat> w_p_1(s_p_1);std::cout << "s_p_1 count:" << s_p_1.use_count() << std::endl;std::cout << "w_p_1 count:" << w_p_1.use_count() << std::endl;std::cout << "-------------" << std::endl;std::shared_ptr<cat> s_p_2 = w_p_1.lock();std::cout << "s_p_1 count:" << s_p_1.use_count() << std::endl;std::cout << "w_p_1 count:" << w_p_1.use_count() << std::endl;std::cout << "s_p_1 count:" << s_p_2.use_count() << std::endl;
//cat:c1  //构造函数
//s_p_1 count:1
//w_p_1 count:1
//-------------
//s_p_1 count:2
//w_p_1 count:2
//s_p_1 count:2
//del:c1  //析构函数

循环依赖的问题

class cat
{
public:cat();cat(std::string name);~cat();void set_frient(std::shared_ptr<cat> c){m_friend = c;}
private:std::string name{ "mimi" };std::shared_ptr<cat> m_friend;  
};std::shared_ptr<cat> c3 = std::make_shared<cat>("c3");std::shared_ptr<cat> c4 = std::make_shared<cat>("c4");//运行结果//cat:c3		//构造//cat:c4 	//构造//del:c4		//析构//del:c3		//析构如果在c3和c4的类中都定义一个cat类型的变量存储着对方,那么两者就存在着依赖std::shared_ptr<cat> c3 = std::make_shared<cat>("c3");std::shared_ptr<cat> c4 = std::make_shared<cat>("c4");c3->set_frient(c4);c4->set_frient(c3);//运行结果,只够构造、没有析构// cat:c3// cat:c4
解决方式只需将类定义时的shared_ptr类型的对象改为weak_ptr
class cat
{
public:cat();cat(std::string name);~cat();void set_frient(std::shared_ptr<cat> c){m_friend = c;}
private:std::string name{ "mimi" };std::weak_ptr<cat> m_friend; //这需要把这里修改为weak_ptr类型
};// 然后运行相同的代码std::shared_ptr<cat> c3 = std::make_shared<cat>("c3");std::shared_ptr<cat> c4 = std::make_shared<cat>("c4");c3->set_frient(c4);c4->set_frient(c3);//运行结果//cat:c3//cat:c4//del:c4//del:c3