有关c++对象析构时间的问题.

haohaolin

class A
{
public:
         func()
       {
           printf("this func is in class A\n");
        }
};

void test(void)
{
A* p = new A();
if(1)
{
   A a;
   p = &a;
}
// 这个时候a析构了吗?
// 高质量c++说a已经析构了,
// p是个野指针.是吗?
p->func();
}

foochow

a是一个局部变量,其生命周期在if(1){..}内,一旦离开if(1){.}其生命周期也就结束....

haohaolin

实际上是这样理论.
可是结果p并不是野指针.

cnwalker

你释放掉，但是不一定马上被其他值冲掉的吧。。。不同平台不同实现，但肯定是不对的

whyglinux

>> // p是个野指针.是吗?

是的，此时 p 是野指针是确定无疑的，因为它此时指向的是一个无效的对象（原指向对象的生存期已经结束）。

>> 可是结果p并不是野指针.

p->func();能输出预期的结果并不能证明 p 指向的对象是否有效，因为类中的成员函数其实是不倚赖于对象而存在的，在这一点上与类的非静态数据成员是不同的。比如，甚至可以这样来调用成员函数：((A*)0)->func()。但是我们知道，null指针永远指向的是一个无效的对象。