C++ 智能指针及其在长时间运行方法中的应用

C++ 智能指针及其在长时间运行方法中的应用,c++,this,smart-pointers,C++,This,Smart Pointers,有一些相关的问题,如,但他们不处理我的情况。所有这些问题都是关于在引用计数智能指针的情况下暴露原始this指针。然而,我的问题不是我公开了这个,而是只在方法中使用它,但可能会使用更长的时间 考虑以下代码: class X{ void foo(){...} //Performs some long running task } shared_ptr<X> x; void bar(){ x->foo(); } X类{ void foo(){…}//执行一些长时

有一些相关的问题,如,但他们不处理我的情况。所有这些问题都是关于在引用计数智能指针的情况下暴露原始this指针。然而,我的问题不是我公开了这个,而是只在方法中使用它,但可能会使用更长的时间

考虑以下代码:

class X{
    void foo(){...} //Performs some long running task
}

shared_ptr<X> x;

void bar(){
    x->foo();
}
X类{
void foo(){…}//执行一些长时间运行的任务
}
共享_ptr x;
空条(){
x->foo();
}
好的,一些代码调用对象x的
foo
方法。考虑到X后面实例的唯一智能引用是一个SysDypPTR X。现在,foo执行一些长时间运行的任务,调用其他函数和东西

现在,考虑一下,当FoO正在运行时,另一个线程、一个信号处理程序,甚至是一个递归调用,在<代码> FoO 中更改或清除引用<代码> x<代码>。这将触发删除该对象。现在,

foo的调用堆栈上的
this
指针指向一个已删除的对象。因此,在
foo
中进一步执行代码将产生不可预测的结果

如何避免这种情况?我的意思是,每当执行一个通过引用计数处理的对象的方法时,都存在这样的危险,即某些代码可能清除对该对象的引用,并且方法调用将失败或产生奇怪的结果。问题在于语义:引用计数认为不再有对对象的引用,因此将其删除,但事实并非如此-仍然存在
this
引用,但遗憾的是,它不是智能指针

我知道有些东西像
从\u this
启用\u shared\u,但我是否应该总是重写所有可能被引用计数的对象的方法,以便首先从
this
获取共享指针,然后使用该指针来避免此问题?这将使所有的方法代码变得混乱,此外,它可能仍然会失败:如果在调用foo之后但在方法中的第一条语句(获取共享实例)执行之前(可能是另一个线程),事件清除了
x
,那么事情将再次失败

因此,一般问题是: 当使用任何类型的智能指针时,在对托管对象进行方法调用期间,如何确保安全?如何确保方法中的
指针不会失效?重写所有方法以使用
enable\u shared\u from\u this
在它们的第一个语句中是一个好的解决方案吗


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

共享很重要:获取新的变量共享

shared_ptr<X> x;

void bar()
{
    shared_ptr<X> my_x = x;
    my_x->foo();
}
shared_ptr x;
空条()
{
共享\u ptr my_x=x;
我的_x->foo();
}

共享就是关心:获取变量的新共享

shared_ptr<X> x;

void bar()
{
    shared_ptr<X> my_x = x;
    my_x->foo();
}
shared_ptr x;
空条()
{
共享\u ptr my_x=x;
我的_x->foo();
}

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

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

我能看到的唯一一个问题是,代码中显示
x
是类数据成员:

class C {
    shared_ptr<X> x;
public:
    void method1() { x.reset; }
    void method2() {
        x->foo();
    }
};
C类{
共享_ptr x;
公众:
void method1(){x.reset;}
void方法2(){
x->foo();
}
};

在这种情况下,如果可以从
X::foo
调用
method1
,则必须获取
X
的本地副本。这只是在类中存储共享指针时的问题,并且只影响该类上的方法。

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

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

我能看到的唯一一个问题是,代码中显示
x
是类数据成员:

class C {
    shared_ptr<X> x;
public:
    void method1() { x.reset; }
    void method2() {
        x->foo();
    }
};
C类{
共享_ptr x;
公众:
void method1(){x.reset;}
void方法2(){
x->foo();
}
};

在这种情况下,如果可以从
X::foo
调用
method1
,则必须获取
X
的本地副本。这只是在类中存储共享指针时的问题,并且只影响该类上的方法。

是的,但是,无论何时使用任何智能指针,我都必须首先创建本地副本。这不会扰乱对象的方法代码,但可能会严重扰乱所有客户机代码…@gexicide:它之所以被称为“共享指针”是有原因的。如果不想共享资源,则需要更改设计。那么,这是否是使用智能指针的合理一般规则:无论何时通过智能指针调用某个方法-如果该指针是对象或全局变量中的字段-创建本地副本first@gexicide当前位置没有一般规则。但是,如果希望对象以lo的形式存在