C++20中的 std::span：安全、灵活的数组视图

在现代 C++ 开发中，数据结构的灵活性与安全性往往是最受关注的话题之一。C++20 引入的 std::span 正是为了解决传统数组与容器之间的桥梁问题而设计的。它是一种轻量级、无所有权的“视图”，允许程序员在保持接口简洁的同时，避免了常见的指针与长度耦合带来的错误。

1. `std::span` 的核心思想

std::span 不是容器，而是一种视图（view）。它只包含：

T*   data;     // 指向第一个元素
size_t size;   // 元素个数

这两个成员足以描述任何连续存储的数据块，无论是数组、std::vector、std::array 还是裸指针。由于 std::span 本身不拥有数据，它不会影响底层存储的生命周期，从而使得函数参数更加直观、安全。

2. 基本使用示例

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

void process(std::span <int> s)
{
    // 只读
    for (auto v : s)
        std::cout << v << ' ';
    std::cout << '\n';
}

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

    process(arr);          // 直接传递数组
    process(vec);          // 传递 vector
    process(vec.data(), 3); // 传递 vector 的前 3 个元素

    return 0;
}

运行结果：

1 2 3 4 5 
10 20 30 40 50 
10 20 30

3. 静态与动态大小

C++20 支持 std::span<T, N>，其中 N 是编译期已知的大小。若 N 为 std::dynamic_extent，则视图大小在运行时确定。

void print_fixed(std::span<int, 5> s) { /* ... */ } // 必须正好 5 个元素
void print_dynamic(std::span <int> s) { /* ... */ } // 任意长度

当你确信某个函数只需要固定大小的数据时，使用静态大小可以让编译器在编译期做更多检查。

4. 兼容性与性能

无运行时开销：std::span 的实现通常是一个 POD 结构体，编译器可以将其 inline。
对齐要求：由于只存储指针和长度，内存占用极小。
与 STL 容器的无缝对接：std::vector、std::array、甚至 C 风格数组都能直接转换为 std::span。

5. 常见陷阱

生命周期问题
std::span 不管理底层数据，使用时必须确保所指向的数据在 span 生命周期内仍然有效。尤其在回调或异步操作中，容易出现悬空指针。
可变与不可变
`std::span
` 允许修改底层数据；若希望只读，使用 `std::span`。误用会导致未预期的副作用。
对齐与内存布局
对于非 POD 类型，std::span 仍然可用，但要注意对象的构造与析构由原始容器负责，span 仅视图。

6. 进阶：与 `std::array` 及 `std::vector` 的互操作

template<typename Container>
auto to_span(Container& c) {
    return std::span(c.data(), c.size());
}

该工具函数允许任何拥有 data() 与 size() 成员的容器自动转换为 span。使用时：

std::vector <double> dv = {1.1, 2.2, 3.3};
auto sp = to_span(dv); // std::span <double>

7. 结语

std::span 的出现为 C++ 程序员提供了更安全、更直观的数组与容器交互方式。它既保持了传统指针的灵活性，又通过编译时检查和可读性提升降低了错误率。在日常项目中，建议把需要接受数组、向量或其他连续数据的接口改写为 std::span 参数，这不仅能减少错误，也能让代码更易于维护。

1. std::span 的核心思想