std::span能否修改原数组取决于其元素类型是否为非const：若为std::span（t非const），则可通过s[i]=x等操作修改原数组；若为std::span，则编译报错。
std::span 修改原数组数据的前提是它必须是非 const 的
std::span 本身不拥有数据，它只是对已有内存的一层轻量视图。能否修改原数组，**完全取决于 span 构造时绑定的指针类型**：如果底层是 int*（或更一般地，非 const 指向可写内存的指针），就能改；如果是 const int*，编译器直接报错。
常见错误现象：error: assignment to read-only location —— 往往是因为你从 std::vector<const int></const>、std::array<const t n></const> 或字面量字符串（如 "hello"）构造了 std::span<const char></const>，却试图写入。
- 确保源容器/数组本身可写（比如
std::vector<int> v = {1,2,3};</int>，不是const std::vector<int></int>） - 用非 const 类型构造 span：
std::span<int> s{v};</int>或std::span s{v};（C++20 类模板参数推导会推导出int，不是const int） - 避免隐式降级：
std::span<const int> sc = v; s[0] = 42;</const>会失败 ——sc是只读视图，不能通过它改数据
修改元素的几种安全写法
只要 span 类型是 std::span<t></t>（T 非 const），所有标准访问方式都允许就地修改：
-
s[i] = x;—— 下标赋值，最常用 -
s.data()[i] = x;—— 直接操作原始指针，等价但更底层 -
*s.begin() = x;或s.front() = x;—— 对首元素赋值 - 配合算法：
std::fill(s.begin(), s.end(), 42);或std::transform(s.begin(), s.end(), s.begin(), [](int x){return x*2;});
注意：s.data() 返回的是 T*，不是 const T* —— 这正是它能写的依据。如果编译器提示 data() 返回 const 指针，说明你的 span 类型本身就是 const T。
容易踩坑的边界情况
看似在改 span，实际没改到原数组，通常源于生命周期或类型错配：
- 从临时对象构造 span：
std::span<int> s{std::vector<int>{1,2,3}};</int></int>——std::vector临时对象在该行结束就被销毁，s持有悬空指针，后续读写都是未定义行为 - 跨类型强制转换：
reinterpret_cast<:span>>(some_span_of_char)</:span>—— 即使内存布局兼容，也绕过了类型安全，且可能违反 strict aliasing - 误用
std::as_const：auto s = std::as_const(v); std::span s2{s};→s2是std::span<const int></const>，无法写入 - 数组退化陷阱：
int arr[3] = {1,2,3}; std::span s{arr+1, 2};—— 这个 span 指向arr[1]开始的两元素，修改s[0]就是改arr[1]，没问题；但若写成std::span s{&arr[1], 2}，效果相同，可读性略差
验证是否真改到了原数组
最直接的办法：修改 span 后，用原容器接口检查值是否同步变化。
std::vector<int> v = {10, 20, 30};
std::span<int> s{v};
s[1] = 999;
// 此时 v[1] 也变成 999
assert(v[1] == 999); // 成功通过
</int></int>
如果 assert 失败，说明 span 绑定的不是你认为的那个内存块 —— 回头检查构造 span 的表达式，重点看变量是否 const、是否为临时对象、是否用了 std::as_const 或 std::span<const t></const>。
真正要注意的不是“怎么写”，而是“怎么确保写的是你想要的那一块内存”—— span 太轻量，它不会替你做所有权管理或生存期检查。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
