引用可以为空吗？

Question

我从维基百科上读到：

“引用不能为空，而指针可以；每个引用都引用某个对象，尽管它可能有效也可能无效。”

但是，我不相信这一点，因为以下代码编译时没有错误：

class person
{
    public:
    virtual void setage() = 0;
};

int main()
{
    person *object = nullptr;
    person &object1 = *object;
}

Answer 1

在您的代码中：

person *object=NULL;
person &object1=*object;

您取消引用 NULL 指针，因此您会得到未定义的行为。为了回答你的问题，不存在 NULL 引用这样的东西。

为了解决问题的另一部分，仅仅因为程序可以编译，并不能保证它是正确的或它会工作。 C++ 编译器甚至不需要尝试诊断代码包含的错误类型。

Answer 2

person &object1=*object 与 person &object1=NULL 不同。也许编译器不够聪明，无法发现您正在取消引用空指针，但无论如何您都会收到运行时错误。所以它们仍然是真实的；）

Answer 3

您可以有一个空引用，不知道为什么有人会说，否则，这是某些操作的令人讨厌的副作用。您只是无法直接创建一个。

Answer 4

那会让你的程序崩溃。你尝试运行它吗？
执行 *object 将遵循空指针，因此实际上您的引用永远不会被分配。

Answer 5

好吧，您可以在 C++ 中做您想做的任何事情。另一个例子：

person &object1 = *( reinterpret_cast<person*>(0) );

除了您提到的情况之外，您在上述情况下还调用了未定义的行为！

Answer 6

clang 3.5 甚至对稍后可能对引用进行 NULL 检查发出警告：

/tmp/person.C:11:6: warning: reference cannot be bound to dereferenced null pointer in well-defined C++ code; pointer may be assumed to
      always convert to true [-Wundefined-bool-conversion]
if (&object1) {}
~~   ^~~~~~~
1 warning generated.

Answer 7

gcc8 会给出警告：

警告：编译器可以假设“object1”的地址永远不会为 NULL [-Waddress]

一个小演示：

#include <iostream>

class person
{
    public:
        virtual void setage()=0;
};

int main()
{
    person *object=NULL;
    person &object1=*object;

    if (&object1 == NULL) {
        std::cout << "NULL object1" << std::endl;
    }

    if (!(&object1)) {
        std::cout << "NULL object1 " << std::endl;
    }
}

编译并运行输出：

g++ -std=c++2a -pthread -fgnu-tm -O2 -Wall -Wextra -学究式 -pthread
-迂腐错误 main.cpp -lm -latomic -lstdc++fs && ./a.out

main.cpp：在函数“int main()”中：

main.cpp:14:18：警告：编译器可以假设地址
'object1' 永远不会为 NULL [-Waddress]

 if (&object1 == NULL) {

              ^

main.cpp:18:19：警告：编译器可以假设地址
'object1' 永远不会为 NULL [-Waddress]

 if (!(&object1)) {

               ^

空对象1

空对象1