std::span与gsl::span有何区别？为何有人推荐使用后者？

2010年代std::span尚未标准化时，C核心指南项目启动，配套开发了指南支持库（GSL），其中包含gsl::span<T>；2020年std::span正式纳入C20标准。两者看似都是封装指针、size_t长度和便捷方法的连续内存视图，但有人认为std::span是“陷阱”，核心原因是两者在安全约束和设计意图上的差异：

• 空span的默认构造限制
  gsl::span默认不允许空构造（除非显式声明为gsl::span<T, 0>），而std::span支持默认构造出空的span。这种差异可能导致意外：比如开发者不小心默认构造了std::span后直接使用，会触发未定义行为；而gsl::span在编译期就会阻止这种误用。

• 严格的窄化转换检查
  gsl::span在构造时会严格检查长度参数的类型安全：比如当你传入int类型的长度时，会检查是否存在负数、溢出等窄化到size_t的风险；而std::span直接接受size_t，如果传入负数（隐式转成size_t会变成极大值），会导致视图越界，触发未定义行为。

  示例：

  // gsl::span会编译报错，因为负数转size_t是不安全的
  gsl::span<int> bad_span(ptr, -1);
  // std::span不会报错，但运行时会访问超出范围的内存
  std::span<int> bad_std_span(ptr, -1);
  

• 贴合C++核心指南的契约约束
  gsl::span是为C++核心指南量身设计的，会强制执行指南中的安全规则：比如禁止用gsl::span指向单个对象（除非显式指定固定长度为1的gsl::span<T, 1>），避免开发者混淆“单个对象”和“数组视图”的语义；而std::span允许用std::span<T>(&obj, 1)这种写法，虽然合法，但不符合核心指南的设计意图，容易引发语义误解。

• 调试模式下的额外安全检查
  在调试编译时，gsl::span的成员函数（比如subspan、operator[]）会做更严格的边界检查，直接抛出错误或触发断言；而std::span的检查依赖于编译器的调试工具链（比如MSVC的迭代器调试），不同编译器的支持程度不一，安全保障的一致性更差。

所谓“陷阱”，本质是对于严格遵循C++核心指南的开发者来说，std::span缺少gsl::span的安全约束，更容易违反指南中的安全规范，引入潜在的内存安全问题。如果你的代码不需要贴合核心指南，只是需要一个轻量级的连续内存视图，std::span完全是合格的选择；但如果要严格遵循核心指南的安全要求，gsl::span的额外约束能帮你提前规避很多风险。

内容的提问来源于stack exchange，提问作者einpoklum