为什么需要在 C++20 中使用 std::span？

作者

在 C++20 中引入的 std::span 为我们提供了一种无所有权、轻量级的连续内存视图，解决了许多传统 C++ 代码中对数组或容器的传递、边界检查以及性能损耗的痛点。以下从使用场景、实现细节、性能优势以及与已有技术的对比四个方面展开讨论。

1. 典型使用场景

  1. 函数参数
    传统上，若要让函数接受数组或容器的一段内容，常见做法是传递指针和长度，或者传递 `std::vector

    ` 的引用。两种方式都不够直观，且容易出现指针越界。`std::span` 允许直接以 `span` 形式接收，内部保持指向起始元素的指针和长度，既安全又易读。

  2. 临时数组
    在处理临时数据或与第三方 C API 对接时，常需把 C 风格数组转换为可安全使用的容器。std::span 可以将 T arr[10] 或 T* ptr 与长度直接包装，避免拷贝。

  3. 迭代器的替代
    对于只读或可变访问连续内存块，使用 std::span 代替 std::begin/std::end 能够让代码更显式地表明意图，同时保持与容器的互操作性。

2. 内部实现细节

template<class T>
class span {
    T* ptr_;
    std::size_t size_;
public:
    constexpr span() noexcept : ptr_(nullptr), size_(0) {}
    template<std::size_t N>
    constexpr span(T (&arr)[N]) noexcept : ptr_(arr), size_(N) {}
    constexpr span(T* ptr, std::size_t n) noexcept : ptr_(ptr), size_(n) {}

    constexpr T& operator[](std::size_t i) const noexcept { return ptr_[i]; }
    constexpr T* data() const noexcept { return ptr_; }
    constexpr std::size_t size() const noexcept { return size_; }
    constexpr bool empty() const noexcept { return size_ == 0; }
    // 迭代器支持
    constexpr T* begin() const noexcept { return ptr_; }
    constexpr T* end() const noexcept { return ptr_ + size_; }
};
  • 无所有权：span 不负责内存管理，只是视图；使用者必须保证底层数据在 span 生命周期内有效。
  • 轻量级：只有两个指针/整数，和普通指针几乎同等大小，复制成本极低。
  • constexpr：在编译期可完全展开，适用于 constexpr 函数与编译期数组操作。

3. 性能优势

场景 传统做法 使用 span
传递数组 T* ptr, std::size_t n `std::span
`
返回子区 需要 `std::vector
或std::array拷贝 | 直接返回std::span`
迭代 for(auto& e : container) for(auto& e : std::span(container))
边界检查 手动检查 内置在 operator[] 中（若开启 -Warray-bounds）
  • 无额外拷贝：std::span 只是一个视图，避免了在返回子区时复制整个容器。
  • 编译期安全：使用 constexpr 版本可以在编译期进行边界检查，减少运行时开销。
  • 内存局部性：保持对原始数据的连续访问，有利于 CPU 缓存命中率。

4. 与已有技术的对比

技术 主要特点 与 std::span 的区别
std::array<T, N> 固定大小，拥有所有权 span 视图，大小在运行时可变
`std::vector
| 动态大小，拥有所有权 |span` 视图，不能自动扩容
`std::initializer_list
| 只读，大小固定 |span可读写，并可从std::initializer_list` 自动构造
std::span 无所有权，轻量级 与上述相比，最接近 C 风格数组但更安全

5. 实际案例

#include <span>
#include <iostream>
#include <vector>

void print_first_n(std::span <int> s, std::size_t n) {
    n = std::min(n, s.size());
    for (std::size_t i = 0; i < n; ++i)
        std::cout << s[i] << ' ';
    std::cout << '\n';
}

int main() {
    int arr[5] = {1, 2, 3, 4, 5};
    std::vector <int> vec = {10, 20, 30, 40, 50, 60};

    print_first_n(arr, 3);          // 1 2 3
    print_first_n(vec, 4);          // 10 20 30 40
    print_first_n(vec.subspan(2), 2); // 30 40
}
  • arr 自动转换为 `span `，无需显式构造。
  • vec.subspan(2) 返回从第 3 个元素开始的视图。

6. 何时不适合使用 std::span

  • 所有权需求：若需要管理内存生命周期（如返回子容器给调用方），span 不是合适的选择。
  • 非连续存储：span 只能表示连续内存块，若容器内部存储不连续（如链表），不可直接使用。
  • 多线程写：若多线程同时修改同一 span，需要自行加锁；span 本身不提供同步。

7. 未来展望

随着 C++23 的进一步发展，std::span 可能会获得更多特性，如 constexpr 友好的 subspan、与 std::bit_cast 的结合，甚至扩展到多维视图（std::mdspan）。但即便在 C++20，std::span 已经成为了处理连续内存的首选工具，帮助我们写出更安全、更高效、更易读的代码。

结语：在日益复杂的 C++ 生态中，std::span 以其简单的接口和强大的安全性，为我们提供了一种“无所有权视图”的通用方案。无论是对传统 C 风格数组的现代化改造，还是在高性能计算与系统编程中的细粒度内存管理，std::span 都值得一试。

发表评论