std::span是C++20引入的标准化非拥有式数组视图，提供安全高效的连续内存引用；gsl::span是其前身，功能相似但边界检查、空指针处理等行为存在差异，现已被官方推荐弃用。
std::span 是 C++20 标准正式引入的数组视图
std::span 是 C++20 标准库新增的轻量级非拥有式容器视图，用于安全、高效地引用一段连续内存（如原生数组、std::array、std::vector 的数据），不管理内存生命周期。它提供 size()、data()、operator[]、subspan 等接口，支持编译期长度推导（如 span
gsl::span 是微软 GSL 库中 std::span 的早期实践版本
gsl::span 来自 Microsoft 的 Guidelines Support Library（GSL），早于 C++20 标准化，目的是在 C++11/14/17 中提供类似 span 的安全数组访问能力。它功能上高度接近 std::span，但存在若干关键差异：
- 默认行为更保守：gsl::span 构造时对空指针 + 零长度组合通常允许（符合“空视图”语义），而 std::span 要求 data() 为非空或 size() 为 0（C++20 标准明确允许 data()==nullptr && size()==0）；但部分早期 gsl 实现对此检查更宽松甚至忽略
- 边界检查策略不同：gsl::span 在 GSL v3+ 中默认启用运行时边界检查（如 operator[] 可能抛出 bounds_error），而 std::span 的 operator[] 始终是未定义行为（UB）——标准明确不保证检查，是否检查取决于实现和编译选项（如 MSVC 的 /guard:cf 或调试断言）
- 静态长度支持更早且更灵活：gsl::span 支持 constexpr 构造和更多编译期约束（如 gsl::at() 的 constexpr 版本），部分场景下比早期 std::span 实现更激进地推动常量表达式支持
-
依赖与生态：gsl::span 需手动引入 GSL 头文件（
），并受 GSL 版本和平台影响；std::span 开箱即用，无需第三方依赖，是统一标准接口
迁移建议：优先使用 std::span，慎用 gsl::span
对于新项目，应直接采用 std::span。它经过标准化打磨，接口稳定、跨平台兼容性好，且主流编译器（GCC 10+、Clang 12+、MSVC 2019 16.8+）均已完整支持。若需兼容旧标准（如 C++17），可考虑用 gsl::span 作为临时替代，但要注意：
- 避免混合使用两者——尤其不要将 gsl::span 传给期望 std::span 的模板函数，反之亦然
- 注意 gsl::span 的异常行为（如 bounds_error）与 std::span 的 UB 语义差异，迁移时需审查所有下标访问和子视图构造逻辑
- GSL 已声明“std::span 是 gsl::span 的标准继任者”，官方推荐逐步弃用 gsl::span
本质演进：从社区实践到标准统一
gsl::span 是 C++ 社区应对裸指针+长度参数反模式的早期响应，推动了“安全视图”理念落地；std::span 则是在充分讨论、权衡 ABI 稳定性、性能和通用性后形成的最小可行标准。二者不是竞争关系，而是演进链条上的前后节点——gsl::span 验证了需求，std::span 实现了共识。如今，std::span 已成为现代 C++ 安全内存访问的事实基础设施，也是编写泛型容器算法、跨层数据传递（如 API 边界）的首选视图类型。
立即学习“C++免费学习笔记（深入）”；
