C ++中的空指针

Question

关于指针，我有几个问题。 第一：

 ObjectType *p; 
 p->writeSomething();

指针未初始化时，为什么可以在对象上调用方法？ 如果运行该代码，我将从控制台窗口中的“ writeSomething（）”获得输出。 第二：

ObjectType *p;
if(p==NULL) 
cout<<"Null pointer";//This is printed out
p = new ObjectType;
delete p;
if(p==NULL)
   cout<<"Null pointer";
else
   cout<<"Pointer is not null";//This is printed out

为什么第二个if语句中的指针不为空，如何检查指针是否未指向任何内存地址？ 我也想知道是否有任何方法可以在程序执行完后检查是否没有释放一些内存。 例如，如果您忘记在代码中编写1条delete语句。

Answer 1

第一个代码是未定义的行为 ，任何事情都可能发生，甚至似乎起作用。 之所以可行，是因为该调用是静态解决的，并且您没有访问该类的任何成员。

对于第二个片段delete它没有将指针设置为NULL ，而是释放了内存。 指针现在悬空了，因为它指向您不再拥有的内存。

Answer 2

您的代码当然表现出未定义的行为，但是以下示例说明了即使没有对象也可能调用成员函数的原因：如果成员函数未引用该类的任何成员对象 ，则它将无需访问未初始化的内存的任何部分。 这意味着您的成员函数本质上是静态的。

如您所知，成员函数可以视为具有隐式实例对象引用参数的普通自由函数。 例如，像这样定义的简单类Foo ，

struct Foo
{
    void bar() { std::cout << "Hello\n"; }
};

可以实现为单个免费功能：

void __Foo_bar(Foo * this)
{
    std::cout << "Hello\n";
}

现在，当您说Foo * p; p->bar(); Foo * p; p->bar(); ，这相当于一个免费的函数调用__Foo_bar(p); 。 您最终将无效的指针传递给该函数，但是由于该函数从不使用该指针，因此不会造成任何危害。

另一方面，如果您的类具有成员对象，例如int Foo::n; ，如果成员函数试图访问它，您的实现会尝试并获得this->n ，这将很可能导致一个现实的问题，因为你实际上可以访问一个空指针。

Answer 3

delete p;

取消分配内存，但不会更改p存储的地址值。

标准C ++中没有方法可以检测到指针指向无效内存。 您有责任不取消引用无效的指针。

您的第一个示例是未定义的行为。 未定义行为的可能结果之一是该程序按照您预期的方式工作。 同样，您的责任是不要编写行为不确定的程序。

在您的代码中， writeSomething()可能是一个非虚拟成员函数，不会取消引用this函数，这就是为什么它在编译器上对您有用。 如果您尝试引用某些成员数据字段，则很可能会遇到运行时错误。

Answer 4

delete会先调用ObjectType的析构函数，然后再取消分配内存，但它不会显式使指针为NULL

作为良好的编程习惯，您必须这样做。