C++中引用非对象却可当作对象传递？调用函数参数类型困惑

嘿，这个问题刚好戳中了C++引用最容易让人绕晕的点，我来给你理清楚～

首先得把两个核心概念掰明白：引用本质是变量的别名，不是独立对象，但它的传递规则和值传递完全是两回事。

先回忆引用的本质 #

你写的double &v1 = x1，这里v1就是x1的“小名”——它们在内存里指向同一个东西，对v1做任何操作，本质都是直接操作x1。v1本身不占用额外内存（编译器层面会优化），它只是x1的一个别名而已。

再看函数参数的匹配逻辑 #

回到你的问题：调用bar()时该用bar(double &)还是bar(double)？这完全取决于你想让bar()做什么：

• 如果用bar(double)：不管你传的是普通变量还是引用，都会把变量的值拷贝一份传给函数的形参。函数里修改这个形参，只会影响拷贝出来的临时值，和外面的原变量（比如x1）半毛钱关系都没有。
• 如果用bar(double &)：函数的形参是你传入的变量的别名，和你定义double &v1 = x1的逻辑一样。这时候函数里修改形参，直接就会影响外面的原变量（x1）。

为什么不能直接用bar(double)？ #

不是“不能用”，而是要看你的需求。举个代码例子直观感受下：

#include <iostream>
using namespace std;

// 值传递版本
void bar_value(double val) {
    val = 100; // 修改的是拷贝出来的临时值
}

// 引用传递版本
void bar_ref(double &ref) {
    ref = 100; // 修改的是原变量的别名，等同于直接改原变量
}

int main() {
    double x1 = 10;
    double &v1 = x1; // v1是x1的别名

    bar_value(v1);
    cout << x1 << endl; // 输出10，原变量没被修改
    
    bar_ref(v1);
    cout << x1 << endl; // 输出100，原变量被直接修改
    return 0;
}

你之前的困惑，可能是把引用的初始化逻辑和函数参数传递规则混在一起了：初始化double &v1 = x1是把v1绑定到x1这个对象上，而传递v1给函数时，函数要的是“x1的值”还是“x1的别名权限”，才是决定用哪个参数类型的关键。

内容的提问来源于stack exchange，提问作者bn4365