有相关的问题,比如智能指针+“this”被认为是有害的?但他们不处理我的案子。所有这些问题都是关于在引用计数智能指针的情况下暴露原始 this 指针。但是,我的问题不是我确实暴露this
了,而是仅在方法中使用它,但可能会使用更长的时间。
考虑以下代码:
class X{
void foo(){...} //Performs some long running task
}
shared_ptr<X> x;
void bar(){
x->foo();
}
好的,所以有些代码调用了foo
对象 x 的方法。考虑到 x 后面的实例的唯一智能引用是 shared_ptr x。现在, foo 执行一些长时间运行的任务,调用其他函数和东西。
现在,考虑在 foo 运行时,另一个线程、信号处理程序,甚至是递归调用foo
更改或清除引用x
。这将触发对象的删除。现在,this
调用堆栈上的指针指向foo
已删除的对象。因此,进一步的代码执行foo
将产生不可预测的结果。
如何避免这种情况?我的意思是,每当执行通过引用计数处理的对象的方法时,存在某些代码可能会清除对该对象的引用并且方法调用将失败或产生奇怪结果的危险。问题在于语义:引用计数认为不再有对该对象的引用,因此将其删除,但事实并非如此——仍然存在this
引用,但遗憾的是,它不是智能指针。
我知道有类似的东西enable_shared_from_this
,但是我是否应该始终重写所有可能被引用计数的对象方法,以首先从中获取共享指针this
,然后使用该指针,以免出现此问题?这会使所有方法代码变得混乱,此外,它可能仍然会失败:如果x
在调用 foo 之后但在方法中的第一个语句(获取共享实例)执行之前(可能是另一个线程),事件清除,然后事情会再次失败。
所以一般的问题是:当使用任何类型的智能指针时,如何在对托管对象的方法调用期间安全?如何保证this
方法内的指针不会失效?重写所有方法以enable_shared_from_this
在他们的第一个语句中使用是一个好的解决方案吗?
还是在引用仍在调用堆栈上时清除引用的代码只是格式错误?但如果是这样,那么一旦使用多个线程和复杂的递归调用,就很难编写非格式错误的代码......