1

有相关的问题,比如智能指针+“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在他们的第一个语句中使用是一个好的解决方案吗?

还是在引用仍在调用堆栈上时清除引用的代码只是格式错误?但如果是这样,那么一旦使用多个线程和复杂的递归调用,就很难编写非格式错误的代码......

4

2 回答 2

1

关于多线程:当您在线程之间传递数据时,您应该始终通过复制而不是通过引用传递共享指针。此规则将确保线程不会因另一个线程清除它所引用的共享指针而丢失。

关于递归方法调用:是的,您应该制定一条规则,即每当您通过共享指针调用可能导致其他指向该对象的共享指针被清除的方法时,您在本地都有一个共享指针的副本。如果您按值将共享指针传递给函数,这通常不会成为问题。

我能看到的唯一问题是它出现在您的代码中x是类数据成员:

class C {
    shared_ptr<X> x;
public:
    void method1() { x.reset; }
    void method2() {
        x->foo();
    }
};

在这种情况下,如果可以method1从您那里调用,X::foo则必须获取x. 这仅在您将共享指针存储在类中时才会出现问题,并且只会影响该类上的方法。

于 2012-08-24T13:35:59.817 回答
0

分享就是关怀:获得新的变量份额!

shared_ptr<X> x;

void bar()
{
    shared_ptr<X> my_x = x;
    my_x->foo();
}
于 2012-08-24T08:20:23.723 回答