C++函数调用输入输出：从基础到实战的避坑指南

1次阅读

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

在 C ++ 中，函数参数的传递方式直接影响程序的性能和正确性。常见的传递方式有三种：值传递、引用传递和指针传递。

值传递：参数会被复制一份传递给函数，函数内部对参数的修改不会影响原始数据。
引用传递：参数通过引用传递，函数内部对参数的修改会影响原始数据。
指针传递：参数通过指针传递，函数内部对指针所指向的数据的修改会影响原始数据。

// 值传递
void foo_by_value(int x) {x = 10; // 修改的是副本，不影响原始数据}

// 引用传递
void foo_by_ref(int& x) {x = 10; // 修改的是原始数据}

// 指针传递
void foo_by_ptr(int* x) {*x = 10; // 修改的是原始数据}

int main() {
    int a = 5;
    foo_by_value(a); // a 仍然是 5
    foo_by_ref(a);   // a 变为 10
    foo_by_ptr(&a);  // a 变为 10
    return 0;
}

从汇编层面来看，不同的传递方式会有不同的性能开销：

值传递：需要在栈上分配空间并复制数据，开销较大。
引用传递：通常通过指针实现，但编译器会优化，避免显式的指针操作。
指针传递：直接传递地址，性能与引用传递类似，但语法上更繁琐。

C++11 引入了移动语义和返回值优化（RVO），显著提升了返回值的效率。

RVO 允许编译器省略不必要的拷贝构造，直接构造返回值。

std::string create_string() {
    std::string s = "Hello, RVO!";
    return s; // 编译器可能会优化，避免拷贝
}

C++11 后，对于支持移动语义的类型（如std::string、std::vector），返回值会优先使用移动构造函数而非拷贝构造函数。

std::string create_string() {
    std::string s = "Hello, move semantics!";
    return std::move(s); // 显式使用移动语义
}

悬空引用：引用了一个已经被销毁的对象。

int& get_ref() {
    int x = 5;
    return x; // 错误：x 的生命周期在函数结束后结束
}

不必要的拷贝：对大对象使用值传递会导致性能问题。

void process_data(std::vector<int> data) { // 拷贝整个 vector
    // ...
}

误用 const：忘记加const 可能导致意外的修改。

void print_data(const std::vector<int>& data) { // 正确：使用 const 引用
    // ...
}

以下是一个简单的性能测试，对比不同传递方式的效率：

#include <iostream>
#include <vector>
#include <chrono>

void by_value(std::vector<int> v) {}
void by_ref(const std::vector<int>& v) {}

int main() {std::vector<int> v(1000000, 1);

    auto start = std::chrono::high_resolution_clock::now();
    by_value(v);
    auto end = std::chrono::high_resolution_clock::now();
    std::cout << "by_value:" << std::chrono::duration_cast<std::chrono::microseconds>(end - start).count() << "us\n";

    start = std::chrono::high_resolution_clock::now();
    by_ref(v);
    end = std::chrono::high_resolution_clock::now();
    std::cout << "by_ref:" << std::chrono::duration_cast<std::chrono::microseconds>(end - start).count() << "us\n";

    return 0;
}

测试结果：
– by_value: ~2000 us
– by_ref: ~1 us