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

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++常见问题解答说得最好：与指针不同，一旦引用绑定到对象，就不能将其“重新放置”到另一个对象。引用本身不是一个对象（它没有标识；获取引用的地址可以获得引用的地址；记住：引用是它的引用）。

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

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

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

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

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

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

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

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

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

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

可以重新分配指针：int x=5；整数y=6；int*p；p＝&x；p=&y；*p=10；断言（x==5）；断言（y==10）；引用不能重新绑定，必须在初始化时绑定：int x=5；整数y=6；整数&q；//错误int&r=x；指针变量有它自己的标识：一个独特的、可见的内存地址，可以用一元&运算符获取，还有一定的空间，可以用sizeof运算符测量。对引用使用这些运算符将返回与引用绑定到的任何对象相对应的值；引用自身的地址和大小是不可见的。由于引用以这种方式假定原始变量的身份，因此可以方便地将引用视为同一变量的另一个名称。int x=0；int&r=x；int*p=&x；int*p2=&r；断言（p==p2）；//&x==&r断言（&p！=&p2）；可以将任意嵌套的指针指向提供额外间接级别的指针。引用仅提供一个间接级别。int x=0；整数y=0；int*p=&x；int*q=&y；int**pp=&p；**pp=2；pp=&q；//*pp现在是q**pp=4；断言（y==4）；断言（x==2）；指针可以指定为nullptr，而引用必须绑定到现有对象。如果您足够努力，您可以将引用绑定到nullptr，但这是未定义的，并且行为不一致。/*以下代码未定义；你的编译器可以优化它*不同的是，发出警告，或者干脆拒绝编译*/int&r=*static_cast<int*>（nullptr）；//在GCC 10下打印“空”标准：：cout<<（&r！=空指针? “not null”：“null”）<<std:：endl；bool f（int&r）｛return&r！=nullptr；｝//根据GCC 10打印“非空”标准：：cout<<（f（*static_cast<int*>（nullptr））? “not null”：“null”）<<std:：endl；但是，可以引用值为nullptr的指针。指针可以遍历数组；您可以使用++转到指针指向的下一个项目，使用+4转到第五个元素。这与指针指向的对象的大小无关。指针需要用*解引用以访问它指向的内存位置，而引用可以直接使用。指向类/结构的指针使用->访问其成员，而引用使用。。引用不能放入数组，而指针可以（由用户@litb提及）Const引用可以绑定到临时项。指针不能（不是没有间接指向）：常量int&x=int（12）；//法定C++int*y=&int（12）；//取临时地址是非法的。这使得const&更便于在参数列表等中使用。