检查 NULL 值 C++ 的参考

Question

我读过“在 C++ 中检查引用是否等于 null 是没有意义的”——因为引用永远不能有 null 值。但是，我发现这个陈述在我想出的以下示例中不成立：

void InsertNode(struct node*& head, int data)
{
    cout << head << endl;

    node* temp = new node();
    temp->data = data;
    temp->next = NULL;

    if (head == NULL)
        head = temp;
    else
    {
        temp->next = head;
        head = temp;
    }
}

我正在检查if (head == NULL)。尽管 head 作为参考传递，但我正在检查它是否等于 NULL。这与我读过的“检查引用是否等于 null 在 C++ 中毫无意义”的陈述相矛盾 - 任何人都可以解释一下我的理解是否正确吗？谢谢。

Answer 1

你不检查引用是否为空，而是检查它是否引用了一个空指针，这是不同的。

也许举个例子会有所帮助：

int i = 42;
// check if a variable is null
if (i == 0) print("i is null");

// pointer
int* pi = &i;
// check if a pointer is null
if (pi == 0) print("pi is null");
// check if a pointer points to a null
if (*pi == 0) print("i is null");

// reference
int& ri = i;
// check if a reference refers to a null
if (ri == 0) print("i is null");

对引用的另一种描述可能会有所帮助：引用是一个自解引用的非空指针。这意味着您不必编写*pi 来获取它指向的对象，而只需编写ri。这也意味着它保证不为空。请注意，您可以编写违反此保证的程序，但这些程序无论如何都会导致所谓的未定义行为，因此不值得为此烦恼，因此最初使您感到困惑的语句。