引用永远不能为NULL。

为了避免混淆，我想输入一些输入，我确信这主要取决于编译器如何实现引用，但在gcc的情况下，引用只能指向堆栈上的变量的想法实际上并不正确，例如：

#include <iostream>
int main(int argc, char** argv) {
    // Create a string on the heap
    std::string *str_ptr = new std::string("THIS IS A STRING");
    // Dereference the string on the heap, and assign it to the reference
    std::string &str_ref = *str_ptr;
    // Not even a compiler warning! At least with gcc
    // Now lets try to print it's value!
    std::cout << str_ref << std::endl;
    // It works! Now lets print and compare actual memory addresses
    std::cout << str_ptr << " : " << &str_ref << std::endl;
    // Exactly the same, now remember to free the memory on the heap
    delete str_ptr;
}

其输出如下：

THIS IS A STRING
0xbb2070 : 0xbb2070

如果您注意到甚至内存地址都完全相同，这意味着引用成功地指向了堆上的一个变量！现在，如果你真的想变得古怪，这也很有效：

int main(int argc, char** argv) {
    // In the actual new declaration let immediately de-reference and assign it to the reference
    std::string &str_ref = *(new std::string("THIS IS A STRING"));
    // Once again, it works! (at least in gcc)
    std::cout << str_ref;
    // Once again it prints fine, however we have no pointer to the heap allocation, right? So how do we free the space we just ignorantly created?
    delete &str_ref;
    /*And, it works, because we are taking the memory address that the reference is
    storing, and deleting it, which is all a pointer is doing, just we have to specify
    the address with '&' whereas a pointer does that implicitly, this is sort of like
    calling delete &(*str_ptr); (which also compiles and runs fine).*/
}

其输出如下：

THIS IS A STRING

因此，引用是引擎盖下的指针，它们都只是存储一个内存地址，地址指向的位置是不相关的，如果我调用std:：cout<<str_ref；调用delete str_ref后？很明显，它编译得很好，但在运行时会导致分段错误，因为它不再指向有效变量，我们本质上有一个中断的引用仍然存在（直到它超出范围），但没有用。

换句话说，引用只是一个指针，它抽象了指针机制，使其更安全、更容易使用（没有意外的指针数学，没有混淆“.”和“->”等），假设您没有像上面的例子那样尝试任何废话；）

现在，不管编译器如何处理引用，它总是有某种指针，因为引用必须引用特定内存地址处的特定变量，才能按预期工作，因此无法绕过这一点（因此称为“引用”）。

对于引用，唯一需要记住的重要规则是必须在声明时定义它们（头中的引用除外，在这种情况下，必须在构造函数中定义引用，在构造包含引用的对象之后，再定义它就太晚了）。

请记住，我上面的例子只是说明引用是什么的例子，你永远不想以这些方式使用引用！为了正确使用参考文献，这里已经有很多答案，这些答案一针见血

除非我需要以下任何一项，否则我会使用参考资料：

空指针可以用作哨兵价值，通常是一种廉价的方式避免函数重载或使用嘘声。你可以在指针上做算术。例如，p+=偏移量；

指针（*）的基本含义是“地址处的值”，这意味着您提供的任何地址都将在该地址处给出值。一旦你改变了地址，它将给出新的值，而引用变量用于引用任何特定的变量，将来不能改变为引用任何其他变量。

实际上，引用并不像指针。

编译器保持对变量的“引用”，将名称与内存地址相关联；这是编译时将任何变量名转换为内存地址的工作。

创建引用时，只告诉编译器为指针变量指定了另一个名称；这就是为什么引用不能“指向null”，因为变量不能是，也不能是。

指针是变量；它们包含其他变量的地址，或者可以为空。重要的是指针有一个值，而引用只有一个引用的变量。

现在对真实代码进行一些解释：

int a = 0;
int& b = a;

在这里，您没有创建另一个指向；您只需将另一个名称添加到内存内容中，该内存内容的值为a。该内存现在有两个名称，a和b，可以使用任一名称对其进行寻址。

void increment(int& n)
{
    n = n + 1;
}

int a;
increment(a);

当调用函数时，编译器通常为要复制到的参数生成内存空间。函数签名定义了应该创建的空间，并给出了应该用于这些空间的名称。将参数声明为引用只是告诉编译器使用输入变量内存空间，而不是在方法调用期间分配新的内存空间。说你的函数将直接操作在调用作用域中声明的变量似乎很奇怪，但请记住，在执行编译代码时，没有更多的作用域；只有普通的平面内存，函数代码可以处理任何变量。

现在，在某些情况下，编译器在编译时可能无法知道引用，例如使用外部变量时。因此，在底层代码中，引用可以实现为指针，也可以不实现为指针。但在我给你的例子中，它很可能不会用指针实现。

这个程序可能有助于理解问题的答案。这是一个引用“j”和指向变量“x”的指针“ptr”的简单程序。

#include<iostream>

using namespace std;

int main()
{
int *ptr=0, x=9; // pointer and variable declaration
ptr=&x; // pointer to variable "x"
int & j=x; // reference declaration; reference to variable "x"

cout << "x=" << x << endl;

cout << "&x=" << &x << endl;

cout << "j=" << j << endl;

cout << "&j=" << &j << endl;

cout << "*ptr=" << *ptr << endl;

cout << "ptr=" << ptr << endl;

cout << "&ptr=" << &ptr << endl;
    getch();
}

运行程序并查看输出，您就会明白。

另外，抽出10分钟观看以下视频：https://www.youtube.com/watch?v=rlJrrGV0iOg