我觉得还有一点还没有在这里讨论。

与指针不同，引用在语法上等同于它们所引用的对象，即可以应用于对象的任何操作都适用于引用，并且具有完全相同的语法（当然，初始化是例外）。

虽然这可能看起来很肤浅，但我认为这一特性对于一些C++特性来说至关重要，例如：

模板。因为模板参数是鸭子类型的，所以类型的语法财产才是最重要的，所以通常同一个模板可以同时用于T和T&。（或std:：reference_wrapper＜T＞，它仍然依赖于隐式转换至T&）覆盖T&和T&&的模板更为常见。L值。考虑语句str[0]=“X”；如果没有引用，它只适用于c字符串（char*str）。通过引用返回字符允许用户定义的类具有相同的符号。复制构造函数。从语法上讲，将对象传递给复制构造函数是有意义的，而不是传递给对象的指针。但复制构造函数无法按值获取对象，这将导致对同一复制构造函数的递归调用。这将引用作为此处的唯一选项。操作员过载。通过引用，可以在保留相同的中缀符号的同时，将间接指向引入运算符调用，例如运算符+（const T&a，const T&b）。这也适用于常规重载函数。

这些点赋予了C++和标准库相当大的一部分权力，因此这是参考文献的一个重要属性。

指针和引用之间的差异

指针可以初始化为0，而引用不能初始化。事实上，引用也必须引用对象，但指针可以是空指针：

int* p = 0;

但我们不能有int&p=0；以及int&p＝5；。

事实上，要正确执行此操作，我们必须首先声明并定义了一个对象，然后才能引用该对象，因此前面代码的正确实现将是：

Int x = 0;
Int y = 5;
Int& p = x;
Int& p1 = y;

另一个重要的点是，我们可以在不初始化的情况下声明指针，但是在引用的情况下，不能这样做，因为引用必须始终引用变量或对象。然而，这样使用指针是有风险的，因此通常我们检查指针是否确实指向某个对象。在引用的情况下，不需要这样的检查，因为我们已经知道在声明期间引用对象是强制性的。

另一个区别是指针可以指向另一个对象，但是引用总是引用同一个对象

Int a = 6, b = 5;
Int& rf = a;

Cout << rf << endl; // The result we will get is 6, because rf is referencing to the value of a.

rf = b;
cout << a << endl; // The result will be 5 because the value of b now will be stored into the address of a so the former value of a will be erased

另一点：当我们有一个类似STL模板的模板时，此类类模板将始终返回一个引用，而不是指针，以便使用运算符[]轻松读取或分配新值：

Std ::vector<int>v(10); // Initialize a vector with 10 elements
V[5] = 5; // Writing the value 5 into the 6 element of our vector, so if the returned type of operator [] was a pointer and not a reference we should write this *v[5]=5, by making a reference we overwrite the element by using the assignment "="

指针和引用之间有一个非常重要的非技术性区别：通过指针传递给函数的参数比通过非常量引用传递给函数参数的参数更为可见。例如：

void fn1(std::string s);
void fn2(const std::string& s);
void fn3(std::string& s);
void fn4(std::string* s);

void bar() {
    std::string x;
    fn1(x);  // Cannot modify x
    fn2(x);  // Cannot modify x (without const_cast)
    fn3(x);  // CAN modify x!
    fn4(&x); // Can modify x (but is obvious about it)
}

回到C中，一个看起来像fn（x）的调用只能通过值传递，因此它肯定不能修改x；要修改参数，需要传递指针fn（&x）。所以，如果一个参数前面没有&，你就知道它不会被修改。（相反，&表示已修改，这是不正确的，因为有时必须通过常量指针传递大型只读结构。）

一些人认为，这是读取代码时非常有用的特性，指针参数应该始终用于可修改的参数，而不是非常量引用，即使函数从不期望null指针。也就是说，这些人认为不应该允许像上面的fn3（）这样的函数签名。谷歌的C++风格指南就是一个例子。

“我知道引用是语法糖，所以代码更容易读写”

这引用不是实现指针的另一种方式，尽管它涵盖了大量的指针用例。指针是一种数据类型——通常指向实际值的地址。然而，它可以设置为零，或者使用地址算术等设置在地址之后的几个位置。对于具有自己值的变量，引用是“语法糖”。

C只有传递值语义。获取变量引用的数据的地址并将其发送到函数是一种通过“引用”传递的方法。引用通过“引用”原始数据位置本身在语义上简化了这一过程。因此：

int x = 1;
int *y = &x;
int &z = x;

Y是一个int指针，指向存储x的位置。X和Z表示相同的存储位置（堆栈或堆）。

很多人谈论过这两个（指针和引用）之间的区别，好像它们是同一个东西，用法不同一样。它们完全不同。

1） “指针可以被重新分配任意次数，而引用在绑定后不能被重新分配。”--指针是指向数据的地址数据类型。引用是数据的另一个名称。因此，您可以“重新分配”引用。你不能重新分配它所指的数据位置。就像你不能更改“x”所指的位置一样，你也不能更改“z”。

x = 2;
*y = 2;
z = 2;

相同的。这是一次重新分配。

2） “指针不能指向任何地方（NULL），而引用总是指向对象”——同样令人困惑。引用只是对象的另一个名称。空指针表示（语义上）它没有引用任何内容，而引用是通过表示它是“x”的另一个名称来创建的。自从

3） “你不能像用指针那样获取引用的地址”——是的，你可以。再次带着困惑。如果您试图查找用作引用的指针的地址，这是一个问题——因为引用不是指向对象的指针。他们就是目标。所以你可以得到对象的地址，也可以得到指针的地址。因为它们都在获取数据的地址（一个是对象在内存中的位置，另一个是指向对象在内存位置的指针）。

int *yz = &z; -- legal
int **yy = &y; -- legal

int *yx = &x; -- legal; notice how this looks like the z example.  x and z are equivalent.

4） “这里没有“引用算术”——同样有点混淆——因为上面的例子中z是对x的引用，因此两者都是整数，所以“引用”算术意味着例如将x引用的值加1。

x++;
z++;

*y++;  // what people assume is happening behind the scenes, but isn't. it would produce the same results in this example.
*(y++);  // this one adds to the pointer, and then dereferences it.  It makes sense that a pointer datatype (an address) can be incremented.  Just like an int can be incremented. 

除了语法糖，引用是常量指针（而不是指向常量的指针）。在声明引用变量时，必须确定它所指的内容，以后不能更改它。

更新：现在我再考虑一下，有一个重要的区别。

常量指针的目标可以通过获取其地址并使用常量转换来替换。

引用的目标不能以UB以外的任何方式替换。

这应该允许编译器对引用进行更多优化。

指针是保存另一个变量的内存地址的变量，其中引用是现有变量的别名。（已存在变量的另一个名称）

1.指针可以初始化为：

int b = 15;
int *q = &b;

OR

int *q;
q = &b;

其中作为参考，

int b=15;
int &c=b;

（在一个步骤中声明和初始化）

指针可以分配给null，但引用不能可以对指针执行各种算术运算，而没有所谓的参考算术。指针可以重新分配，但引用不能指针在堆栈上有自己的内存地址和大小，而引用共享相同的内存地址