在 C++20 之前，处理数组或容器的子范围往往需要手动维护指针、长度或使用 std::initializer_list 以及 std::array。这些方法易出现越界错误或难以与算法配合。C++20 引入了 std::span，它是一个轻量级、无所有权的视图，提供了对连续内存区域的安全访问。本文将从概念、实现细节、使用场景以及常见陷阱四个维度，详细介绍 std::span 的特性与实践。
1. std::span 的核心概念
std::span<T, Extent> 由两部分组成：
- 元素类型
T：与底层容器相同（如 int、MyStruct 等）。
- Extent：数组长度。若为
std::dynamic_extent，长度可变；若为固定整数，则编译期固定。
与 T* 或 `std::vector
` 不同，`std::span` 并不拥有数据。它只保存一个指向首元素的指针和长度。可以看作是 `std::array` 与指针的结合。
“`cpp
std::span
s1 = {1,2,3,4,5}; // 从 C 风格数组初始化
std::span
s2(vec); // 从 std::vector 初始化
std::span
s3(&arr[2], 3); // 指向已有数组的子范围
“`
—
### 2. 主要成员函数
| 成员 | 作用 |
|——|——|
| `size()` | 返回元素数 |
| `empty()` | 是否为空 |
| `data()` | 返回底层指针 |
| `operator[]` | 访问元素 |
| `front()` / `back()` | 边界访问 |
| `subspan(n)` / `subspan(n, m)` | 截取子视图 |
| `first(n)` / `last(n)` | 取前 n / 后 n 个元素 |
| `as_bytes()` / `as_writable_bytes()` | 将元素视为字节流 |
其中 `as_bytes` 对安全序列化非常有用，它将任何类型的 span 转为 `span`，而不会导致对齐或别名问题。
—
### 3. 使用场景
1. **函数参数**
为了兼容多种容器，函数参数可声明为 `std::span
`。这样既能接受 `std::vector`、`std::array`，又能接受 C 风格数组。
“`cpp
void process(std::span data) {
for (double v : data) std::cout buffer(1024);
auto bytes = std::as_writable_bytes(std::span(buffer));
// 现在可以直接写入字节流
“`
4. **性能优化**
避免不必要的拷贝，尤其在需要传递大数组给算法时，使用 `span` 可保持 O(1) 复杂度。
—
### 4. 与传统方法的对比
| 传统方式 | 缺点 | `std::span` |
|———-|——|————-|
| 指针 + 长度 | 手动管理长度，易越界 | 自动保存长度，越界检查 |
| `std::initializer_list` | 只能用于初始化，长度不可变 | 兼容多种容器 |
| `std::vector` | 持有所有权，复制开销 | 只是一种视图，零复制 |
—
### 5. 常见陷阱与注意事项
1. **生命周期管理**
由于 `std::span` 不拥有数据，引用的容器必须在 `span` 作用域内保持有效。若传递 `span` 给异步任务，需确保原始容器不提前销毁。
2. **对齐与别名规则**
`std::span` 本身不违反别名规则，但在使用 `as_bytes` 时，要确保目标类型满足 `std::byte` 对齐要求，避免 UB。
3. **固定 Extent**
若使用 `std::span`，编译器会检查长度是否为 N。若传递错误长度会导致编译错误，适合对长度有严格要求的场景。
4. **不可变 vs 可变**
`std::span` 表示只读视图；`std::span` 为可写。切勿将 `const` 视图强行转换为可写，否则违反 const‑正确性。
—
### 6. 代码示例：实现一个通用排序函数
“`cpp
#include
#include
#include
#include
template <typename t typename compare="std::less>
void generic_sort(std::span
data, Compare comp = Compare{}) {
std::sort(data.begin(), data.end(), comp);
}
int main() {
std::vector
vec = {5,2,9,1,7};
generic_sort(vec); // 传递 vector
int arr[] = {3,8,4,6};
generic_sort(std::span(arr)); // 传递 C 数组
std::array ca = {‘a’,’c’,’b’,’e’,’d’};
generic_sort(ca); // 传递 std::array
for (auto v : vec) std::cout
