C++学习笔记----6、内存管理(五)---- 智能指针(4)

3、weak_ptr

        在C++中还有一个与shared_ptr相关的智能指针叫做weak_ptr。weak_ptr可以包含一个被shared_ptr管理的资源的引用。weak_ptr自身不拥有资源,所以shared_ptr不被禁止释放资源。当weak_ptr被破坏时(如当其不在活动范围内),weak_ptr不破坏指向的资源;然而,它可以用于决定资源是否被相关shared_ptr释放。weak_ptr的构造函数要求shared_ptr或者另一个weak_ptr作为参数。要访问存储在weak_ptr中的指针,需要将其转化为shared_ptr。有两种方式:

  • 在weak_ptr实例上使用lock()成员函数,它返回一个shared_ptr。如果weak_ptr同时被释放的话它就会返回一个nullptr。
  • 生成一个新的shared_ptr实例,将weak_ptr作为参数传递给shared_ptr构造函数。如果weak_ptr与之相联的shared_ptr被释放的话就会抛出一个std::bad_weak_ptr的例外。

以下的示例展示的weak_ptr的用法:

import std;
using namespace std;

class Simple
{
public:
	Simple() { println("Simple constructor called!"); }
	~Simple() { println("Simple destructor called!"); }
};

void useResource(weak_ptr& weakSimple)
{
	auto resource{ weakSimple.lock() };
	if (resource) {
		println("Resource still alive.");
	}
	else {
		println("Resource has been freed!");
	}
}

int main()
{
	auto sharedSimple{ make_shared() };
	weak_ptr weakSimple{ sharedSimple };

	// Try to use the weak_ptr.
	useResource(weakSimple);

	// Reset the shared_ptr.
	// Since there is only 1 shared_ptr to the Simple resource, this will
	// free the resource, even though there is still a weak_ptr alive.
	sharedSimple.reset();

	// Try to use the weak_ptr a second time.
	useResource(weakSimple);
}

结果如下:

Simple constructor called!
Resource still alive.
Simple destructor called!
Resource has been freed!

weak_ptr也支持C风格的数组,与shared_ptr一样。

4、传参给函数

        只有在传递属主或者属主共享存在的时候,能够接受指针作为其参数也应该接受智能指针。为了共享shard_ptr的属主,只接受通过值的shared_ptr作为参数。同样的,为了传递unique_ptr的属主,只接受通过值的unique_ptr作为参数。后者要求使用move的语法,我们以后再讨论。

        如果既没有属主传递也没有属主共享介入,函数只有reference-­to-­non-­const或者 reference-­to-­const参数指向其背后的资源,或者是一个原始指南指向它,如果nullptr是有效参数的话。像const shared_ptr& 或者const unique_ptr&这样的参数类型是没有什么道理的。

5、函数返回值

        标准智能指针shared_ptr,unique_ptr,以及weak_ptr通过值可以容易且有效地从函数返回,得益于强制与非强制的拷贝省略以及移动的语法。移动的语法目前并不重要。重要的是这些方式从函数中返回一个智能指针都是高效的。例如,可以写出如下的create()函数,在main()中如示例使用:

import std;
using namespace std;

class Simple
{
public:
	Simple() { println("Simple constructor called!"); }
	~Simple() { println("Simple destructor called!"); }
};

unique_ptr create()
{
	auto ptr{ make_unique() };
	// Do something with ptr...
	return ptr;
}

int main()
{
	unique_ptr mySmartPtr1{ create() };
	auto mySmartPtr2{ create() };
}

6、enable_shared_from_this

        从std::enable_shared_from_this继承一个类允许成员函数被在一个安全返回shared_ptr或者weak_ptr给自身的对象调用。没有这个基类,一种方式就是返回一个有效的shared_ptr或者weak_ptr给this,通过给类加一个weak_ptr作为成员,返回其复本或者返回由其构造的shared_ptr。enable_shared_from_this类添加了如下的两个成员函数给其继承的类:

  • shared_from_this():返回一个共享对象属主的shared_ptr。
  • weak_from_this():返回一个跟踪对象属主的weak_ptr。

        这个高级属性我们不进行详细讨论,但是下面的代码展示了其用途。share_from_this()与weak_from_this()为公共成员函数。然而,你可能会发现from_this部分在公共接口时有点令人搞不懂,只是作为一个展示,下面的Foo类定义了它自身的成员函数getPointer():

import std;
using namespace std;

class Foo : public enable_shared_from_this
{
public:
	shared_ptr getPointer() {
		return shared_from_this();
	}
};

int main()
{
	auto ptr1{ make_shared() };
	auto ptr2{ ptr1->getPointer() };
}

        注意:只有在指针已经被保存在shared_ptr时才可以在对象上使用shared_from_this();否则的话,就会抛出bad_weak_ptr的例外。在上面的例子中,make_shared()在main()中用于生成一个叫做ptr1的shared_ptr,它包含一个Foo的实例。shared_ptr生成之后,允许在Foo实例上调用shared_from_this()。另一方面,调用weak_from_this()总是可以的,只是如果在一个没有存储在shared_ptr的指针上的对象进行调用就可能会返回空的weak_ptr。

下面的代码是对getPointer()成员函数的彻头彻尾的错误应用:

class Foo
{
public:
    shared_ptr getPointer() {
        return shared_ptr(this);
    }
};

        如果像刚展示的那样在main()中使用同样的代码,对Foo的应用就会产生双重删除。两个完全独立的shared_ptr(ptr1与ptr2)指向了同一个对象,都会在其不在活动范围时尝试去删除该对象。

7、智能指针与C风格的函数的互操作性(c++23特性)

        通常情况下,C风格的函数使用返回类型来显示函数是否正确执行或者是否有错误。既然返回类型早就用于报告错误,那另外的输出参数就用于函数返回其他的数据。例如:

using errorcode = int;

errorcode my_alloc(int value, int** data)
{
	*data = new int{ value };
	println("Allocated");
	return 0;
}

errorcode my_free(int* data)
{
	delete data;
	println("Freed");
	return 0;
}

        这种C风格的API,my_alloc()函数返回了一个errorcode,在输出的data参数中返回了分配的数据。在c++23之前,不能在my_alloc()中直接使用智能指针,比如unique_ptr。那你可以这样做:

		unique_ptr myIntSmartPtr(nullptr, my_free);
		int* data{ nullptr };
		my_alloc(42, &data);
		myIntSmartPtr.reset(data);

        这个也比较容易吧。c++23引入了std::out_ptr与inout_ptr()函数来帮助做这些,定义在中,使用该函数,上面的代码片断就可以写得更优雅:

		unique_ptr myIntSmartPtr(nullptr, my_free);
		my_alloc(42, inout_ptr(myIntSmartPtr));

        如果你确信传递给inout_ptr的指针为nullptr,也可以使用out_ptr。

8、旧的已经移除的auto_ptr

        旧的,c++11之前的标准库包含了一个智能指针的基本实现,叫做auto_ptr。很不幸,auto_ptr有很严重的缺点。其中一个就是当在比如vector这样的标准库构造函数中使用时不能正确工作。c++官方废除了auto_ptr,从c++17开始,从标准库中完全移除掉了。它被unique_ptr与shared_ptr替换掉了。这里提到auto_ptr是为了确认你了解这一点并且 确认不会用到它。

        不要使用旧的auto_ptr智能指针!要使用unique_ptr,如果需要共享属主就使用shared_ptr。

你可能感兴趣的:(c++,学习,笔记,开发语言)