gsl-lite v1.0.0 发布：现代C++安全编程库的重大更新

gsl-lite 是一个轻量级的 C++ 库，旨在为开发者提供核心指导支持库（GSL）的功能，同时保持对旧版编译器的兼容性。它实现了 C++ 核心指南中提出的安全编程概念，如范围检查、资源管理和契约式编程等。最新发布的 v1.0.0 版本标志着该库的一个重要里程碑，引入了多项重大变更和改进。

命名空间与头文件的重大调整

gsl-lite v1.0.0 最显著的变化是其命名空间和头文件的重新组织。现在，所有符号都位于 gsl_lite 命名空间中，主头文件也变更为 <gsl-lite/gsl-lite.hpp>。这一改变使得 gsl-lite 能够与 Microsoft GSL 或其他 GSL 实现共存。

为了减轻迁移影响，库引入了可选的 GSL 兼容模式，通过定义 gsl_FEATURE_GSL_COMPATIBILITY_MODE=1 来启用。但需要注意的是，这种模式不应在库的公共头文件中使用，因为它会阻止同一翻译单元中使用 Microsoft GSL。

span 类的重大改进

v1.0.0 中的 span<> 类实现了静态范围（static extents）特性，这是通过从 Microsoft GSL 移植实现并向后兼容 C++98 和旧版编译器完成的。此外：

• span<>::iterator 现在是一个完整的类而非指针
• 迭代器操作现在使用 gsl_ExpectsDebug() 进行检查
• 移除了不安全的 as_span<>() 成员函数

配置选项的默认值变更

新版本调整了多项配置选项的默认值，使其更符合现代 C++ 实践：

• 默认禁用字符串 span 和 byte 类型支持，因为这些已不再是 GSL 规范的一部分
• 默认使用 std::ptrdiff_t 作为索引类型，符合 GSL 规范
• 默认禁用 span 比较操作，与 C++20 的 std::span<> 保持一致
• 默认启用 not_null<> 的显式构造函数和透明行为
• 默认在窄化转换截断时抛出异常
• 默认使用断言而非终止来处理契约违反

新增功能与改进

• narrow<>() 和 narrow_failfast<>() 现在支持非全序类型，如 std::complex<>
• 当配置选项可能改变二进制接口时，库会发出警告
• 在 Windows 平台上，MSVC 现在使用 #pragma detect_mismatch() 来检测 ABI 不兼容问题
• 契约检查宏现在总是展开为表达式或语句，避免了编译器警告

废弃与移除的功能

v1.0.0 移除了多项已废弃的功能，包括：

• Owner() 和 implicit 宏
• C++98 下的 finally(), on_error() 和 on_return() 实现
• 多个已废弃的 span 成员函数和构造函数重载
• 非模板化的 finally(), on_return() 和 on_error() 函数

总结

gsl-lite v1.0.0 是一个重要的版本更新，它不仅改进了功能实现，还通过命名空间和头文件的调整提高了与其他 GSL 实现的兼容性。对于现有用户，建议参考官方迁移指南逐步更新代码，特别是注意新的命名空间和契约检查宏的变化。这些改进使 gsl-lite 更加符合现代 C++ 的最佳实践，同时保持了其轻量级和向后兼容的特性。