C++函数调用传参：数组传递的三种高效方式与性能对比

1次阅读

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

在 C ++ 开发中，数组参数传递是一个看似简单却暗藏玄机的操作。不当的传参方式可能导致性能下降、类型信息丢失甚至内存安全问题。本文将深入探讨三种主流方案，通过实际代码示例和性能测试，帮助你写出既高效又安全的代码。

在开始解决方案前，我们先明确数组传参的典型问题：

内存拷贝开销：直接传递数组可能导致整个数组内容的复制，特别是大数组时性能损失明显
类型信息丢失：数组在传参过程中容易退化为指针，丢失长度信息（array decay 问题）
越界风险：缺少长度检查的指针操作容易导致缓冲区溢出

这是 C 风格的传统方法，也是许多旧代码中常见的做法：

// 传递数组指针和大小
void processArray(int* arr, size_t size) {
    // 必须检查空指针！if(!arr || size == 0) return;

    for(size_t i = 0; i < size; ++i) {arr[i] *= 2; // 性能敏感点：连续内存访问
    }
}

// 调用示例
int main() {int data[100] = {...};
    processArray(data, sizeof(data)/sizeof(data[0]));
}

优点：
– 兼容所有 C ++ 版本
– 与 C 语言接口无缝对接

缺点：
– 必须手动传递大小参数
– 缺少类型安全检查
– 指针可为 null，需额外检查

改进建议：
– 添加 const 修饰防止意外修改：const int* arr
– 使用 gsl::not_null 封装非空指针（C++ Core Guidelines）

C++ 模板可以保留数组大小信息：

template<size_t N>
void processArrayRef(int (&arr)[N]) {static_assert(N > 0, "Array size must be positive");

    // 使用范围 for 更安全
    for(auto& elem : arr) {elem *= 2;}

    // 或者使用 STL 算法
    std::transform(std::begin(arr), std::end(arr), 
                  std::begin(arr), [](int x){return x*2;});
}

// 调用示例
int main() {int data[100] = {...};
    processArrayRef(data); // 模板自动推导 N =100
}

优点：
– 保留数组长度信息
– 无需手动指定大小
– 编译时大小检查

缺点：
– 只适用于编译期已知大小的数组
– 模板可能导致代码膨胀

C++11 引入的容器类提供了更好的封装：

#include <array>

void processStdArray(std::array<int, 100>& arr) {// 安全访问：arr.at()会做边界检查
    for(auto& elem : arr) {elem *= 2;}
}

// 通用模板版本
template<typename T, size_t N>
void processAnyArray(std::array<T, N>& arr) {
    // 可以与 STL 完美配合
    std::sort(arr.begin(), arr.end());
}

// 调用示例
int main() {std::array<int, 100> data = {...};
    processStdArray(data);
    processAnyArray(data); // 也可用模板版本

    // 与 C API 互操作
    someCLibFunction(data.data(), data.size());
}

优点：
– 保持 STL 容器接口一致性
– 值语义，支持复制和返回
– 内置迭代器支持

缺点：
– 堆栈分配，不适合超大数组
– C++11 及以上版本支持

使用 Google Benchmark 测试三种方案处理 10000 个整数的耗时（单位纳秒）：

-------------------------------------------------------------------------
Benchmark                              Time             CPU   Iterations
-------------------------------------------------------------------------
PointerPassingBenchmark           14253 ns        14250 ns        49763
ReferencePassingBenchmark         14198 ns        14200 ns        49220
StdArrayPassingBenchmark          14321 ns        14320 ns        48891

关键发现：
1. 三种方案性能差异在 1% 以内
2. 引用传递略快，因编译器可做更多优化
3. std::array 的额外安全性几乎无开销

多线程安全：
如果数组被多线程共享，考虑 std::atomic 或互斥锁
避免同时传递同一数组的非 const 引用
生命周期管理：
不要返回局部数组的指针 / 引用
对于堆分配数组，使用 std::vector 或std::unique_ptr

STL 算法陷阱：

std::array<int, 5> arr = {1,2,3,4,5};
auto it = std::remove(arr.begin(), arr.end(), 3);
// it 之后的位置可能无效，不要直接访问
arr.erase(it, arr.end()); // 编译错误！std::array 大小固定