C++函数调用数组参数：从内存布局到高效传递的最佳实践

1次阅读

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

在 C ++ 中直接传递原生数组时，会遇到几个经典问题。首先是数组退化为指针的现象——当数组作为参数传递时，它会自动转换为指向其首元素的指针，这导致长度信息丢失。比如下面的代码：

void processArray(int arr[]) {// 这里 arr 实际上是指针，sizeof(arr) 返回指针大小而非数组大小
}

长度信息丢失 ：无法在函数内获取数组实际长度，必须额外传递长度参数
边界检查缺失 ：容易发生数组越界访问，引发未定义行为
类型安全薄弱 ：无法防止错误的指针算术运算

void processWithPtr(const int* arr, size_t len) {for(size_t i=0; i<len; ++i) {// 处理元素}
}

优点：兼容 C 语言、零开销
缺点：容易出错，需要手动管理长度

void processVector(const std::vector<int>& vec) {for(auto& elem : vec) {// 安全遍历}
}

优点：自动管理内存、自带边界检查
缺点：vector 有堆分配开销，array 长度固定

void processSpan(std::span<const int> data) {for(auto& elem : data) {// 安全访问}
}

优点：零拷贝、自带长度信息、支持连续内存的任何容器
缺点：需要 C ++20 支持

void safeOperation(std::span<const float> input) {if(input.empty()) return;

    // 自动边界检查
    float first = input.front();
    float last = input.back();

    // 子视图操作
    auto subspan = input.subspan(1, input.size()-2);
}

template<typename T, size_t N>
void processArray(T (&arr)[N]) {
    // N 会被自动推导
    std::span view(arr);
    // ...
}

#include <immintrin.h>

void simdAdd(std::span<float> dst, std::span<const float> a, std::span<const float> b) {assert(dst.size() == a.size() && a.size() == b.size());

    size_t i = 0;
    for(; i+4 <= dst.size(); i+=4) {__m128 va = _mm_load_ps(&a[i]);
        __m128 vb = _mm_load_ps(&b[i]);
        __m128 vc = _mm_add_ps(va, vb);
        _mm_store_ps(&dst[i], vc);
    }

    // 处理剩余元素
    for(; i < dst.size(); ++i) {dst[i] = a[i] + b[i];
    }
}

通过 quick-bench 测试不同传参方式在 1000 次迭代中的表现 (单位 ns/op)：

裸指针传递：142
vector 传递：158
span 传递：143
array 传递：140

结果显示现代方案在保证安全性的同时，几乎无性能损耗。

悬垂指针 ：确保被 span 引用的数据生命周期足够长
迭代器失效 ：vector 扩容会导致 span/ 指针失效
多线程安全 ：span 本身非线程安全，需要外部同步
静态检查 ：使用 clang-tidy 检测潜在问题
```
clang-tidy --checks="-*,modernize-*" your_file.cpp
```

对于多维数组，可以考虑：