C++数组作为形参的函数调用：原理剖析与高效实践

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

内存视角下的数组形参传递

当我们将 C 风格数组传递给函数时，实际上发生的是指针隐式转换——这就是著名的 ” 数组衰减 ” 现象。例如：

void process(int arr[10]);  // 等价于 void process(int* arr)

从内存布局看，编译器只传递数组首地址，丢失了关键的尺寸信息。这会导致两个根本缺陷：

• 函数内无法通过 sizeof(arr)/sizeof(arr[0]) 获取正确元素个数
• 边界检查完全依赖程序员自觉，极易引发越界访问

三种解决方案深度对比

方案 1：原始指针传递（传统但危险）

// 基础版（典型错误示范）void unsafeSum(int* arr, int size) {
    int sum = 0;
    for(int i=0; i<=size; i++) {  // 故意写错的边界条件
        sum += arr[i];
    }
}

缺点：
– 完全依赖外部传入的 size 参数
– 没有编译期类型检查
– 多线程下可能发生 TOCTOU 竞争

方案 2：模板 + 引用传递（安全但繁琐）

template<size_t N>
void safeSum(const int (&arr)[N]) {static_assert(N > 0, "Empty array");
    int sum = 0;
    for(auto num : arr) {  // 范围 for 确保边界安全
        sum += num;
    }
}

优势：
– 编译期确定数组大小
– 支持 range-based for 循环
– 自动推导 N 值

方案 3：std::array 容器（现代推荐）

#include <array>

void modernSum(const std::array<int, 5>& arr) {
    int sum = 0;
    for(auto it = arr.cbegin(); it != arr.cend(); ++it) {sum += *it;}
}

核心优势：
– 完美支持 STL 算法
– 自带 .size() 方法
– 值语义允许安全拷贝

性能实测数据

使用 Compiler Explorer 生成 x86-64 汇编对比：

拷贝开销测试（100 万次调用）：

Benchmark           Time           CPU Iterations
-----------------------------------------------
BM_Pointer       12 ns         12 ns   112000000
BM_TemplateRef   8 ns          8 ns    89600000
BM_StdArray      5 ns          5 ns    89600000

生产环境避坑指南

数组越界防护

• 始终使用 std::array::at() 替代 operator[]
• 启用 GCC 的 -fsanitize=bounds 选项

多线程注意事项

// 错误示例：两个线程同时修改同一数组
std::array<int,5> shared_arr;

void threadFunc() {shared_arr.fill(0); // 数据竞争！}

正确做法：
– 对共享数组使用std::mutex
– 或改用 std::atomic 元素类型

ABI 兼容性

• 不同编译器对 std::array 的实现可能不同
• 动态库接口推荐使用原始指针 + 显式 size 参数

进阶思考方向

1. C 接口兼容方案：

   extern "C" void c_compatible_api(
       const int* arr, 
       size_t size
   ) {auto view = std::span(arr, size); // C++20 特性
   }

2. C++20 的 span 改进：

3. 非 owning 视图避免拷贝
4. 运行时边界检查
5. 统一处理连续内存容器

#include <span>

void processChunk(std::span<int> data) {if(data.empty()) return;
    data[0] = 42; // 安全访问
}

总结建议

• 新项目优先使用 std::array 或std::span
• 遗留代码逐步替换为模板引用方式
• 关键路径考虑手动展开循环优化