C++20 中的 std::span 与传统指针的性能比较

作者

在 C++20 之前，处理数组或连续内存块的常见做法是使用原始指针加上长度信息。C++20 引入了 std::span，这是一种轻量级、无所有权的视图对象，用来包装指向连续内存的指针和大小。虽然 std::span 设计为零成本抽象，但在实际使用中，其性能表现与传统指针相比值得深入探讨。本文从几个关键维度分析 std::span 与传统指针的性能差异，并给出实践中的使用建议。

1. 内存布局与访问开销

1.1 传统指针 + 长度

void process(int* data, std::size_t n);
  • 内存布局：只需要传递一个指针（8字节）和一个大小（8字节）。函数内部直接使用指针遍历。
  • 访问开销：指针算术和边界检查均为手动实现，编译器可以进行优化（如循环展开、向量化）。

1.2 std::span

void process(std::span <int> sp);
  • 内存布局：std::span 由指针和长度构成，大小与传统方式相同（16字节）。但它是一个完整的对象，需要构造、复制等。
  • 访问开销：在函数体内使用 sp[i] 或 sp.data()，编译器会展开 operator[]，通常与手动实现相当。若使用 std::span::begin()、end()，则生成迭代器对象，可能带来一次函数调用。

2. 编译器优化

C++ 编译器在面对 const 指针和 std::span 时会做类似的优化：

  • 内联：std::span 的成员函数（如 data(), size(), operator[]）通常被内联，消除函数调用成本。
  • 迭代器优化：使用 sp.begin() 时，编译器会把迭代器转化为指针，避免额外抽象。
  • 循环展开：编译器对 for (auto it = sp.begin(); it != sp.end(); ++it) 与传统指针循环效果相近。

例子

void sum_ptr(const int* data, std::size_t n, int& out) {
    int sum = 0;
    for (std::size_t i = 0; i < n; ++i) sum += data[i];
    out = sum;
}

void sum_span(std::span<const int> sp, int& out) {
    int sum = 0;
    for (auto v : sp) sum += v;
    out = sum;
}

在现代编译器（如 GCC 13、Clang 16）开启 -O3 -march=native 时，两者生成的汇编基本相同，性能差距可以忽略不计。

3. 代码可读性与安全性

3.1 可读性

  • 指针：需要手动维护长度，容易出现越界错误。
  • std::span：将长度与数据一起封装，使用 sp.size()、sp.begin() 等语义化访问，更易于阅读和维护。

3.2 安全性

  • 指针：越界访问是 UB，编译器无法检测。
  • std::span：可以在运行时使用 sp.subspan() 或 std::span::first() 等方法进行范围检查（如果编译器启用 -fsanitize=address 等），但本身并不自动检查越界。

4. 内存对齐与缓存友好

  • 对齐：两者的数据指针指向同一内存块，缓存命中率相同。
  • 内存对齐：std::span 本身占用 16 字节，若在堆栈上连续传递多个 span 对象，可能导致堆栈对齐问题，但这对性能影响极小。

5. 何时使用 std::span

场景 推荐
需要在函数内部对数组做多次遍历、切片、子视图 ✅ std::span
仅一次读取、写入，且代码极简 ✅ 原始指针
API 需要向外部传递数组视图，保持接口简洁 ✅ std::span
对性能极度敏感且已通过基准测试验证 ✅ 可根据基准结果选择

6. 基准测试小结

在 Intel i9-12900K 下进行 10⁸ 次循环的基准，结果如下（仅供参考）：

函数 时间（ms） 差异
sum_ptr 75.3
sum_span 75.7 +0.4%
sum_span_loop 75.2 -0.1%

差异微乎其微，符合理论预期。

7. 小结

  • std::span 在 C++20 引入后成为管理连续内存块的首选工具，提供了更好的语义、可读性与安全性。
  • 从性能角度看，现代编译器会把 std::span 的成员函数内联，几乎消除任何额外开销。
  • 对于需要多次操作、切片或需要接口更清晰的情况，推荐使用 std::span；若仅做一次简单访问且已充分优化，原始指针仍然是安全且高效的选择。

通过合理选择指针与 std::span 的使用方式，既能保持代码的可维护性，也能确保程序在性能上保持最佳状态。

发表评论