C++中`&`符号用法全解析

C++ 中&符号全解析（结合单例代码逐行讲透）

今天，我们就以一段经典的单例模式代码为例，把其中所有出现的 & 符号，从语法含义到实际作用，一次性掰开揉碎讲清楚。保证即便是新手，也能完全看懂。

先给一个总览：

在 C++ 的世界里，& 这个符号身兼数职，主要有 3 种完全不同的含义。而在我们讨论的单例代码中，用到了其中 最关键的 2 种：

1. 引用（最常用，也是单例模式的核心） → 出现在变量或函数名前面的 &。
2. 取地址运算符 → 在单例模式中极少使用。
3. 按位与运算符 → 与本次主题完全无关。

一、代码逐行解析：每一个&的作用

第一处：赋值运算符重载中的&

S& operator=(const S&) = delete;
// ↑这里                ↑这里

这一行出现了两个 &，它们都代表引用，具体来说是左值引用。

1. `S&`：返回值是引用

• 语法：类型 & 变量名
• 含义：函数返回的是对象本身的一个引用，而不是创建一个新的副本。
• 作用：避免了不必要的对象拷贝，提升了效率。更重要的是，在单例模式中，这确保了赋值操作（虽然这里被禁用了）如果存在，操作的也必须是唯一的那个对象，而不是它的拷贝。

2. `const S&`：参数是常量引用

• 含义：函数接受一个参数的引用，调用时不会复制这个对象，而是直接操作原对象。
• 加 `const` 的意义：承诺在函数内部不会修改这个传入的对象，保证了数据的安全性。
• 作用：同样是出于高效和安全的考虑，避免了传参时产生临时对象，尤其对于大型对象，性能提升显著。

第二处：获取单例函数中的&

static S& gets() { return s1; }
//      ↑这里

• 含义：函数 gets() 的返回值类型是 S&，即返回单例对象 s1 的引用。
• 关键点：这里返回的不是对象的副本！返回的就是全局唯一的那个静态对象 s1 本身。
• 为什么必须这么做：这正是单例模式的灵魂所在——整个程序有且仅有一个该类的实例。如果返回的是值，每次调用都会产生一个拷贝，单例模式就名存实亡了。

第三处：使用单例时定义的&

S& s = S::gets();
// ↑这里

• 语法：类型 & 引用名 = 实体对象;
• 含义：变量 s 是单例对象 s1 的一个别名。你可以认为 s 和 s1 是同一个东西。
• 核心理解：这不是在创建一个新的 S 对象！它不占用额外的对象内存，仅仅是为已有的对象起了一个新名字（引用）而已。

二、核心概念：引用到底是什么？

引用 = 变量的别名

理解引用最形象的比喻就是“别名”。就像一个人有大名“张三”，也有小名“三儿”，但无论叫哪个名字，指的都是同一个人。

int a = 10;
int& b = a; // b 是 a 的引用，即别名

基于这段代码，我们可以总结引用的几个核心特性：

• a 和 b 指向同一块内存，是同一个变量的两个名字。
• 修改 b 的值（例如 b = 20;），a 的值也会同步变成 20。
• 引用本身不占用额外的存储空间来存储对象数据（虽然编译器可能会为实现分配一点开销，但逻辑上可视作不占空间）。
• 引用必须在定义时初始化，不能像指针一样先声明为 nullptr。
• 引用一旦绑定到一个变量，就不能再绑定到其他变量，其“从一而终”。

三、语法格式速查（掌握这4种足矣）

1. 定义引用变量

类型 & 引用名 = 变量名;
// 例如：
int &b = a;
S &s = obj;

2. 函数返回引用

类型 & 函数名() { ... }
// 例如：
S & gets() { ... }

作用：返回对象本身，避免拷贝，常用于支持链式调用或返回类内成员。

3. 函数参数使用引用

void func(const 类型 & 参数名)
// 例如：
void func(const S & obj)

作用：高效传参，尤其适用于传递大型对象（如类、结构体、容器），避免值传递的拷贝开销。加上 const 保证参数在函数内不被修改。

4. 赋值运算符重载（规范写法）

类型 & operator=(const 类型 &)
// 例如：
S & operator=(const S &)

这是为了支持连续赋值（如 a = b = c;）并返回对象自身的引用。

四、单例模式为何必须处处用&？

理解了引用的本质，再来看单例模式，一切就豁然开朗了。其核心原因直指单例模式的灵魂：

单例模式的核心：保证全局唯一实例

如果不用引用，就意味着存在“复制”对象的可能性。一旦发生复制，就产生了第二个实例，单例模式立刻被破坏。

来看一个直观的对比：

错误写法（不用引用 → 复制对象 → 单例失效）

static S gets() { return s1; } // 返回值是 S，不是 S&
S s = S::gets(); // 这里会调用拷贝构造函数，s 是 s1 的一个副本！

问题在于：gets() 返回的是 S 类型的值，这会触发拷贝构造函数，创建一个全新的、独立于 s1 的对象 s。程序里实际上有了两个 S 对象，单例约束荡然无存。

正确写法（用引用 → 操作同一对象 → 单例成立）

static S& gets() { return s1; } // 返回值是 S&，即 s1 的引用
S& s = S::gets(); // s 只是 s1 的一个别名，它们仍是同一个对象

这里的 S& 从定义到使用，形成了一条“引用链”，确保了无论通过哪个名字（s1, gets() 的返回值，或是局部引用 s），最终操作的都是内存中唯一的那一个单例对象。

五、关键辨析：引用 (&) 与指针 (*)

这是初学者最容易混淆的地方。其实可以这样简单理解：

引用 ≈ 更安全、更简洁的指针（自动解引用）

在单例模式中选用引用而非指针，主要目的就是追求安全（避免空指针）、简洁（无需解引用操作符）和语义明确（明确表示“别名”而非“指向”）。

六、总结

单例代码中所有&的含义

统一为：引用（即别名）

具体到语法上，可以归结为三条规则：

1. S& （在函数返回值位置）：表示返回引用，目的是返回对象本身，杜绝拷贝。
2. const S& （在函数参数位置）：表示常量引用参数，目的是高效、安全地传递对象。
3. S& s （在变量定义位置）：表示定义引用变量，即给已有对象起一个别名。

一句话记住精髓：

当 & 符号紧跟在某个类型名后面时（如 S&），它表示的就是“引用”。其核心思想是“别名”——不产生新对象，所有操作都直接作用于原始实体本身。