【C++底层剖析】++a vs a++：到底谁是左值，谁是右值？

在 C++ 编程中，我们经常使用 ++a 和 a++ 来实现自增操作。乍一看它们只是"先加还是后加"的语法糖，但你真的理解它们的底层机制 、返回值类型 和左值右值属性吗？

1. ++a 和 a++ 的基础区别

表达式	名称	语义	返回值类型	左值 / 右值
++a	前置自增	先将 a 加 1，再返回	引用（本体）	✅ 左值
a++	后置自增	先返回 a 原值，再加 1	值（副本）	❌ 右值

---

2. 什么是左值？什么是右值？

• 左值（lvalue）：表达式拥有持久地址，可以被赋值或取引用。

• 右值（rvalue）：临时值，不能取地址，也不能作为赋值目标。

前置 ++a 是左值

int a = 10;
++a = 20;     // ✅ 合法，++a 是左值
int* p = &++a; // ✅ 合法，可以取地址

后置 a++ 是右值

int a = 10;
a++ = 20;     // ❌ 错误，右值不能赋值
int* p = &a++; // ❌ 错误，不能取右值地址

---

3. 如果我们重载 ++ 运算符呢？

class Counter {
public:
    int val;
    
    // 前置 ++
    Counter& operator++() {
        ++val;
        return *this;  // 返回本体（左值）
    }

    // 后置 ++（注意 int 是哑元区分前后）
    Counter operator++(int) {
        Counter temp = *this;
        val++;
        return temp;   // 返回临时对象（右值）
    }
};

测试代码：

Counter c;
++c = Counter();  // ✅ 合法
c++ = Counter();  // ❌ 编译错误

---

4. 本质原理：编译器背后做了什么？

在 C++ 中，运算符重载 允许开发者为类自定义 ++ 操作。编译器通过你写的函数签名自动判断调用的是前置还是后置：

形式	实质调用函数原型	说明
++a	T& operator++()	前置自增：返回引用（左值）
a++	T operator++(int)	后置自增：返回副本（右值）

注：后置 ++ 的函数参数列表中有一个 占位参数 int，它只是用来占位以便区分前置和后置版本，在函数体内不使用。

自定义前置 ++

class Counter {
public:
    int val;
    Counter(int v) : val(v) {}

    Counter& operator++() { // 前置++
        ++val;
        return *this;
    }
};

• 返回引用（自身）是为了效率与连续操作支持：++++a;

• 无副本，操作直接作用在当前对象上。

---

自定义后置 ++

class Counter {
public:
    int val;
    Counter(int v) : val(v) {}

    Counter operator++(int) { // 后置++
        Counter temp = *this; // 保存旧值
        val++;                // 再加一
        return temp;          // 返回旧副本
    }
};

• 返回值是对象副本；

• 适用于int a = b++;这种"先用后改"的语义；

• 编译器根据函数签名自动选择合适版本。

5. 常见面试陷阱

题目：下面代码是否正确？

int a = 3;
(++a) += 5;

✔️ 正确！因为 ++a 是左值，可以赋值。

int a = 3;
(a++) += 5;

❌ 错误！a++ 是右值，不能赋值。

---

6. 附：如何判断左值右值？

可用以下方法判断：

int a = 1;
decltype(++a) x1 = a;  // int&
decltype(a++) x2 = a;  // int

也可以直接测试是否能取地址：

int* p = &++a;  // ✅
int* q = &a++;  // ❌