std::span的extent模板参数决定长度是否编译期可知：动态长度为std::span（等价于std::span），静态长度为std::span（n为编译期常量），二者运行时开销相同，差异仅在于编译期优化能力、类型安全与约束强度。
std::span 的 extent 模板参数决定长度是否编译期可知
动态长度就是 std::span<t></t>（等价于 std::span<t std::dynamic_extent></t>），静态长度是 std::span<t n></t>，其中 N 是编译期常量。区别不在运行时行为——两者都只存两个指针（data() + size()）——而在于编译器能否做优化和约束。
- 静态长度版本能参与模板推导、启用
constexpr构造、支持数组退化检查（比如传入int[5]给std::span<int></int>合法，给std::span<int></int>直接编译失败） - 动态长度更通用，能接收任意大小的连续内存（
std::vector、原始数组、std::array、C 风格字符串等），但失去长度校验能力 - 两者在运行时开销完全一致：都是两个指针，无堆分配，无额外成员
什么时候必须用静态长度？
当接口契约明确依赖长度且需要编译期保障时。典型场景是底层协议解析、硬件寄存器映射、固定尺寸缓冲区操作。
- 函数签名要求精确尺寸：
void parse_header(std::span<:byte> buf)</:byte>，调用者若传std::array<:byte></:byte>或std::span<:byte></:byte>都会失败——前者可隐式转换，后者不行 - 避免越界误用：静态长度让
buf[16]在std::span<t></t>上直接编译报错，而动态长度只能靠运行时断言或未定义行为暴露问题 - 配合
std::to_array或字面量数组使用更自然：auto s = std::span{std::to_array({1,2,3})}推导出std::span<int></int>
动态长度不是“性能妥协”，而是灵活性代价
很多人以为静态长度更快，其实不然：两者生成的汇编几乎一样。真正差异在可优化点和安全边界。
- 编译器对静态长度能做更多假设：比如循环展开、消除边界检查（当确定
i 时）、内联条件分支 - 但这些优化往往需要开启
-O2以上且上下文足够简单；实际项目中，动态长度配合[[likely]]或手动assert(s.size() == expected)效果接近 - 容易踩的坑：把
std::span<t></t>当作“万能容器”传参，结果在关键路径上反复调用size()（虽快，但非零成本），或忽略生命周期管理导致悬垂引用 - 别为了“看起来快”硬塞静态长度：如果函数逻辑本身要处理不同尺寸（比如解析变长 TLV 结构），用
std::span<t></t>+ 显式校验比一堆特化模板更清晰
混合使用的现实策略
不追求统一，按场景分层选择。核心原则是：**能静态就静态，不能静态就显式控制动态行为**。
立即学习“C++免费学习笔记（深入）”；
- 公共 API 接口优先用动态长度（
std::span<const t></const>），内部实现根据具体输入再分发到静态长度重载 - 配置驱动的尺寸（如从 JSON 读取 buffer size）必然用动态长度，但可在进入 hot path 前做一次
if (s.size() == 4096) { process_4k(s); }分支，触发静态优化 - 警惕
std::span<t></t>：它合法但易被误用为“空哨兵”，不如用std::optional<:span>></:span>表达可选语义 - 所有 span 必须绑定到明确生命周期的对象，尤其避免从临时
std::vector构造：foo(std::span{vec})中 vec 若是右值，span 会持有已销毁内存的指针
最常被忽略的是 span 的“零成本”假象——它不管理内存，也不延长生命周期。灵活性和性能平衡点不在 extent 参数本身，而在你是否清楚每一处 span 的来源、尺寸假设和生存期边界。
