**如何在C++20中使用std::span实现高效的数组切片**

作者

在C++20之前，若需在函数间传递子数组，常见做法是使用指针和长度或者自定义结构体。随着C++20引入的std::span，可以在不复制数据的前提下，以安全、简洁的方式表达“对已有数组的视图”。本文将从概念、使用场景、实现细节以及性能优化四个角度，系统阐述std::span的使用方法，并给出常见 pitfalls 与解决方案。

1. 什么是 std::span？

std::span 是一种轻量级的非拥有容器，内部仅保存指向元素的指针和长度。它不负责内存分配，完全依赖调用者维护底层数组的生命周期。其定义大致如下：

template<class ElementType, std::size_t Extent = std::dynamic_extent>
class span {
    ElementType* ptr_;
    std::size_t sz_;
};
  • ElementType：元素类型，可为任何可拷贝/移动类型。
  • Extent：数组长度，若为 std::dynamic_extent，长度动态决定。

span 既支持 C 风格数组，又支持 std::array、std::vector、std::string、std::deque 等容器，只要能得到连续存储的数据。

2. 典型使用场景

2.1 函数参数

void process(span <int> data) {
    for (auto& v : data) v += 1;
}

使用 std::span 作为参数类型，既能接受数组、指针长度，又能接受容器视图，调用者无需担心内存拷贝。

2.2 函数返回值

std::span <int> subarray(std::vector<int>& vec, std::size_t start, std::size_t len) {
    return std::span <int>(vec.data() + start, len);
}

返回 span 允许调用者在不复制的情况下使用子数组。需注意返回的 span 仅在 vec 的生命周期内有效。

2.3 多维数组切片

std::span<std::span<int>> rows(vec.data(), vec.size() / width);

组合 span 可快速构造二维切片，适用于行列遍历。

3. 性能与安全注意

3.1 内存拷贝避免

span 本身只存储指针与长度，大小为 16 字节（64 位系统）。与 std::vector 等容器相比，它不涉及任何内存管理操作。

3.2 生命周期管理

  • span 只是视图，不能延长底层容器的生命周期。若底层对象被销毁，span 将悬空。
  • 在返回 span 时，确保底层容器的生命周期比 span 长。

3.3 指针合法性

  • 传递指针 + 长度时，必须保证指针指向的内存至少有 len 个元素。
  • 对于 std::vector，在 push_back 后可能会导致内部缓冲区重新分配，从而使已有 span 失效。若需持续使用，需在操作前复制或使用 reserve。

4. 常见陷阱与解决方案

陷阱 说明 解决方案
悬空 span 通过 subarray(vec, ...) 直接返回 span，但 vec 过期后使用。 返回 `std::vector
或者返回std::optional<std::span>` 并在使用前检查容器存活。
多余拷贝 在函数内部将 span 复制到 std::vector，导致不必要的拷贝。 直接在函数内部使用 span，或使用 std::span 的视图。
不支持非连续容器 std::deque、std::list 不满足连续存储。 只能使用 std::vector 或者将其转化为 std::vector 后再切片。
对齐问题 对于 SIMD 加速，需要 span 的元素对齐。 使用 std::aligned_storage 或 std::aligned_alloc，或在 std::span 构造时指定 std::align_val_t。

5. 代码示例：使用 std::span 进行矩阵转置

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

void transpose(std::span<std::span<int>> src, std::span<std::span<int>> dst) {
    for (size_t i = 0; i < src.size(); ++i) {
        for (size_t j = 0; j < src[i].size(); ++j) {
            dst[j][i] = src[i][j];
        }
    }
}

int main() {
    constexpr size_t M = 3, N = 4;
    std::vector <int> data(M * N);
    // 初始化
    for (size_t i = 0; i < M * N; ++i) data[i] = i;

    // 构造 3x4 span
    std::span <int> raw(data.data(), M * N);
    std::vector<std::span<int>> rows;
    rows.reserve(M);
    for (size_t i = 0; i < M; ++i)
        rows.emplace_back(raw.subspan(i * N, N));

    // 目标 4x3
    std::vector <int> dstData(N * M);
    std::span <int> dstRaw(dstData.data(), N * M);
    std::vector<std::span<int>> dstRows;
    dstRows.reserve(N);
    for (size_t i = 0; i < N; ++i)
        dstRows.emplace_back(dstRaw.subspan(i * M, M));

    transpose(rows, dstRows);

    // 输出
    for (size_t i = 0; i < N; ++i) {
        for (size_t j = 0; j < M; ++j) {
            std::cout << dstRows[i][j] << ' ';
        }
        std::cout << '\n';
    }
}

该示例展示了如何利用 span 视图完成矩阵转置，完全避免了额外的拷贝操作。

6. 结语

std::span 以其简洁的语义和零成本的实现，成为 C++20 生态中不可或缺的工具。它既可以提升代码的可读性，又能避免常见的指针/长度错误。掌握 span 的使用与生命周期管理，是现代 C++ 开发者必须具备的技能之一。希望本文能帮助你在项目中更好地利用 std::span。

发表评论