从对象自身的虚方法中间接销毁对象。这是一种定义的行为吗？

Question

允许我从object自己的虚方法中间接销毁object吗？这是一种“定义的行为”吗(只要我在销毁对象后没有试图访问任何东西)？

示例：

#include <memory>
#include <stdio.h>

using std::tr1::shared_ptr;

struct Child{
    virtual void selfdestruct() = 0;
    virtual ~Child(){
        fprintf(stderr, "child destroyed\n");

    }
};

typedef shared_ptr<Child> ChildPtr;

struct Parent{
    ChildPtr child;
    void clear(){
        fprintf(stderr, "clear\n");
        child = ChildPtr();
    }   
    Parent();
};

struct DerivedChild: public Child{
    Parent* parent;

    virtual void selfdestruct(){
        fprintf(stderr, "selfdestruct\n");
        if (parent)
            parent->clear();
    }

    DerivedChild(Parent* p)
    :parent(p){
    }
};

Parent::Parent(){
    child = ChildPtr(new DerivedChild(this));
}


int main(int argc, char** argv){
    Parent p;
    p.child->selfdestruct();    
    fprintf(stderr, "child is 0x%08x\n", p.child);
    return 0;
}

输出：

selfdestruct
clear
child destroyed
child is 0x00000000

如果这不是已定义的行为，我还能做什么呢？

Answer 1

虚拟方法可以调用delete this。但是，在调用之后，不能执行任何其他涉及该对象实例的操作，或者您已经调用了未定义的行为。这包括调用其他方法(甚至非虚方法)、访问任何实例变量等。

上面的特定代码调用未定义的行为，因为Child对象需要一个虚拟析构函数。

然而，任何一种对象需要自我销毁的情况都不是最好的设计。

Answer 2

对象可以自毁。我看不出作为一个虚拟方法会有什么改变。

Answer 3

这基本上归结为一个delete this;，所以答案是肯定的，它是允许的。

void clear(){
    fprintf(stderr, "clear\n");
    child = ChildPtr();
}