指针 NULL 在C++中的函数

Question

class A {
public:
    int value = 1;
    void foo() { ... };
};
int main() {
A *a = NULL;
int temp = a->value;   // Crash!
a->foo();              // OK
}

将指针 NULL 分配给指针变量后发生了什么？我认为在我通过新的为它分配内存之前，什么都做不了。但是，它仍然可以调用成员函数 foo（），但在调用成员变量时崩溃。

谁能告诉我这里发生了什么？谢谢！

Answer 1

两者都调用未定义的行为，无论您观察到的行为如何，因为当它是 UB 时，一切皆有可能。

但是，一种解释是为什么它在第二种情况下不会崩溃，可能是因为调用：

nullptr->foo(); //a == nullptr, becomes implicit 'this' inside foo()

翻译成：

foo(nullptr);   //the implicit 'this' passed as first argument

由编译器提供，这似乎很好（对编译器而言），因为您没有访问函数内的任何成员数据。如果您访问成员数据，则崩溃的机会会增加。 编译器只是尽可能容忍你的错误行为。

Answer 2

取消引用 NULL 指针是未定义的行为。你很不幸，你在第二个陈述中通过了它。

在这种情况下，它似乎有效，因为 this pointer 不指向有效对象，未在foo中使用。如果它碰巧指的是this那么堆栈溢出的帖子就会少一个。