const std::span仅禁止修改span对象自身，不阻止通过其访问并修改底层元素；真正只读需用std::span<const T>，且传参时依赖CTAD自动推导类型。
为什么 std::span 本身不能靠 const 阻止元素修改
很多人以为写成 const std::span<int></int> 就能禁止函数内改数组内容，其实不是。因为 const 修饰的是 span 对象本身（比如不能改它的 data() 指针或 size()），但不约束它指向的内存——只要底层是可写的 int*，你照样能通过 s[0] = 42 修改原数组。
真正起作用的是 std::span 的模板参数：你需要让元素类型带 const，也就是用 std::span<const int></const>。
-
std::span<int></int>→ 允许读写 -
std::span<const int></const>→ 只读，任何尝试赋值都会编译失败 -
const std::span<int></int>→ 可读写，但不能调用非 const 成员函数（如remove_suffix()）
如何安全地把原始数组传给只读 std::span 函数
传参时类型必须匹配。C++ 不会自动把 int* 转成 const int* 再构造成 std::span<const int></const> —— 这个转换需要显式发生，否则编译报错：
void process(std::span<const int> s) {
// s[0] = 10; // ❌ 编译错误：assignment of read-only location
}
<p>int arr[] = {1, 2, 3};
process(arr); // ✅ 自动推导为 span<const int>{arr}
process(std::span{arr}); // ✅ 同上，CTAD 正常工作
process(std::span<int>{arr}); // ❌ 类型不匹配：不能从 span<int> 隐式转 span<const int>关键点：
立即学习“C++免费学习笔记（深入）”；
- 用 CTAD（类模板参数推导）最省心：
std::span{arr}或直接传数组名 - 避免手动写
std::span<int></int>再塞进去，那会锁死可写性 - 如果源是
std::vector<int></int>，同样适用：process(v)会推导为span<const int></const>
和 const std::vector&、const int* 比有什么区别
std::span<const t></const> 不是替代品，而是更轻量、更通用的只读视图：
- 比
const std::vector<int>&</int>更灵活：支持栈数组、全局数组、std::array、甚至malloc内存（只要你知道长度） - 比
const int*+size_t更安全：自带长度检查，支持范围 for，可直接用subspan() - 零开销：不拥有数据，不分配内存，拷贝就是两个指针大小
- 注意：它不阻止原数据被其他地方修改（比如另一个非 const 引用），只保证当前视图不可写
容易忽略的边界情况：字符串字面量和 std::string_view
字符串字面量是 const char[N]，所以传给 std::span<const char></const> 没问题：
void print_bytes(std::span<const char> s) { /* ... */ }
print_bytes("hello"); // ✅ 推导为 span<const char>{"hello", 6}
但别混用 std::string_view 和 std::span：
-
std::string_view是专为字符串设计的，隐含 null 终止假设（虽然不依赖） -
std::span<const char></const>是通用字节视图，无语义，更适合二进制数据 - 两者不能隐式互转；要转得显式：
std::span{s.data(), s.size()}
真正难缠的是跨函数生命周期管理——std::span 不延长所指对象生命期。哪怕你传了 std::span<const int></const>，如果原数组在函数返回后就销毁了，那这个 span 立刻变成悬垂视图。这点和引用一样，但更容易被忽略，因为看起来“只是个视图”。
