C++函数参数中&的用法：从原理到实践的全方位解析

1次阅读

没有评论

共计 1789 个字符，预计需要花费 5 分钟才能阅读完成。

在 C ++ 中，函数参数传递主要有三种方式：值传递、指针传递和引用传递。它们各有特点和适用场景。

值传递 ：将实参的值复制给形参，函数内对形参的修改不会影响实参。适用于小型数据类型（如基本类型、小型结构体）。
指针传递 ：传递实参的地址，函数内通过指针间接访问实参。适用于需要修改实参或传递大型数据结构的场景。
引用传递 ：传递实参的别名，函数内对引用的操作直接作用于实参。结合了指针的效率和值传递的语法简洁性。

引用在 C ++ 底层实现上通常是通过指针完成的，但编译器会对其进行特殊处理，使其使用起来更安全、更直观。

编译器处理 ：引用在编译时会被转换为指针，但在语法层面隐藏了指针的复杂性。
与指针的区别 ：
引用必须初始化且不能改变指向的对象
引用不需要解引用操作符 (*)
引用更安全，不容易出现空指针问题
性能特点 ：引用传递避免了值传递的对象拷贝开销，特别是对于大型对象。

我们通过一个简单的测试来比较值传递和引用传递的性能差异：

#include <vector>
#include <chrono>

// 值传递测试
void byValue(std::vector<int> v) {v[0] = 1;
}

// 引用传递测试
void byRef(std::vector<int>& v) {v[0] = 1;
}

int main() {std::vector<int> largeVec(1000000, 0);

    auto start = std::chrono::high_resolution_clock::now();
    byValue(largeVec);
    auto end = std::chrono::high_resolution_clock::now();
    std::cout << "值传递耗时:" 
              << std::chrono::duration_cast<std::chrono::microseconds>(end - start).count() 
              << "微秒" << std::endl;

    start = std::chrono::high_resolution_clock::now();
    byRef(largeVec);
    end = std::chrono::high_resolution_clock::now();
    std::cout << "引用传递耗时:" 
              << std::chrono::duration_cast<std::chrono::microseconds>(end - start).count() 
              << "微秒" << std::endl;
}

测试结果通常显示，对于大型对象，引用传递比值传递快几个数量级，因为避免了不必要的拷贝。

void processLargeObject(const std::vector<int>& data) {
    // 可以读取 data 但不能修改
    int sum = 0;
    for (int num : data) {sum += num;}
    std::cout << "总和:" << sum << std::endl;
}

void increment(int& num) {num++;  // 直接修改调用方的变量}

int main() {
    int x = 5;
    increment(x);
    std::cout << x;  // 输出 6
}

// 错误示例：返回局部变量的引用
int& badExample() {
    int x = 10;
    return x;  // x 的生命周期在函数结束时结束
}

// 正确示例：返回静态变量或成员变量的引用
int& goodExample() {
    static int x = 10;  // 静态变量生命周期持续到程序结束
    return x;
}