c – 我可以拥有非拥有的共享指针吗？

介绍

问题产生于对条件接口的需求.可能是因为我陷入了XY问题,但是(底线)我最终需要一个共享指针(基于运行时选择)管理或不管理(拥有或不拥有)资源.

到目前为止工作

以下是对非拥有共享指针的一些想法

>使用新的展示位置,例如：

struct MyStruct {}; 
MyStruct ms1; 
std::shared_ptr<MyStruct> sp(new(&ms1) MyStruct);

>使用虚拟删除器

std::shared_ptr<MyStruct> spn(new MyStruct,[](MyStruct*){});

题

>是否有标准的提议方式？
>有“不做”的规则吗？
>至少有更好的方法吗？

笔记

我的类布局(将使用非拥有共享指针)如下所示：

template<typename T>
struct blah
{
    shared_ptr<T> _m;
};

现在,_m成员可能拥有或不拥有基于运行时选择的资源.我没有使用weak_ptr的原因是因为_m实际上可能是一个拥有指针.

解决方法

placement new显然是UB,因为它会在你的代码片段中尝试删除堆栈上的东西.空删除器版本将起作用,但将分配引用计数块.

诀窍是使用shared_ptr的疯狂(ok,aliasing)构造函数：

template< class Y > 
shared_ptr( const shared_ptr<Y>& r,T *ptr );

构造一个拥有r拥有者的shared_ptr,但指向ptr指向的东西,即：

std::shared_ptr<MyStruct> sp(std::shared_ptr<MyStruct>(),p);

这是保证不受标准的限制,并且不会分配任何东西.该标准甚至还有一个说明

[ Note: This constructor allows creation of an empty shared_ptr
instance with a non-null stored pointer. —end note ]