C++引用传参与C取地址传参的差异及底层运行机制疑问

&符号的语义差异 #

你困惑的核心是C++中&符号在不同场景下的完全不同语义：

• 当&出现在类型声明位置时，它不是取地址操作符，是「引用类型」的标记。比如string &str代表str是一个绑定到string类型对象的引用，是原对象的别名，不会独立开辟内存存储新对象。
• 当&出现在变量/对象前面作为操作符时，才是你熟悉的C语言取地址符，返回的是对应对象的内存指针，类型为string*。

传参逻辑解释 #

你写的getline(line)看似是值传递，实际是因为函数声明的参数类型是引用类型，编译器会自动完成绑定操作，不需要你手动取地址：

1. 编译期识别到getline的形参是string&类型，会自动把你传入的line对象的内存地址绑定到形参str上，形参str就是原line对象的别名
2. 你在getline内部对str的所有修改，都是直接操作原line对象的内存空间，不会产生副本

底层实现逻辑 #

绝大多数C编译器的引用底层就是用指针实现的，相当于编译器帮你自动完成了C语言中手动取地址、手动解引用的操作，你写的C代码和等效的C代码对应关系如下：

C++代码 #

// 函数声明
bool getline(string &str);

// 调用逻辑
string line;
getline(line);

// 函数内部修改逻辑示例
bool getline(string &str) {
    str.clear();
    // 写入内容到str
    return true;
}

编译后等效C逻辑 #

// 函数声明
bool getline(struct string* str);

// 调用逻辑：编译器自动帮你加了取地址操作
struct string line;
getline(&line);

// 函数内部修改逻辑示例：编译器自动帮你加了解引用操作
bool getline(struct string* str) {
    (*str).clear();
    // 写入内容到str指向的内存空间
    return true;
}

你之前的猜测有误：string line;就是在栈上分配的完整string对象，不是什么特殊指针，所有的自动操作都是编译器识别到引用类型参数后完成的。

引用和C指针的核心差异 #

• 引用必须在声明时就绑定到有效对象，不允许为空，也不允许后期改绑到其他对象，C指针可以为空、可以随时修改指向的对象
• 引用的使用语法和普通值变量完全一致，不需要额外加解引用符*，代码可读性更高
• 引用本身不占用独立内存（底层指针的存储对开发者透明），对引用取地址拿到的就是它绑定的原对象的地址

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