介绍
问题产生于对条件接口的需求.可能是因为我陷入了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 ]
