gsl-lite项目v1.0.0版本发布：现代C++安全编程的重要升级

gsl-lite是一个轻量级的C++库，旨在为开发者提供Guidelines Support Library（GSL）的核心功能，同时保持对旧版C++标准的兼容性。该项目最初由微软GSL衍生而来，但经过多年发展已经形成了自己的特色，特别适合需要在多种C++标准下工作的项目。

重大变更：命名空间与头文件结构调整

gsl-lite v1.0.0版本引入了一项重要的架构调整：现在所有符号都位于gsl_lite命名空间下，主头文件也改为<gsl-lite/gsl-lite.hpp>。这一变化使得gsl-lite能够与微软GSL或其他GSL实现共存于同一项目中。

为了平滑过渡，项目提供了GSL兼容模式，通过定义gsl_FEATURE_GSL_COMPATIBILITY_MODE=1可以启用。但需要注意的是，这种模式不应该在库的公共头文件中使用，因为它会阻止在同一翻译单元中使用微软GSL。

对于现有代码，项目提供了详细的迁移指南，建议开发者逐步迁移到新的命名空间和头文件结构，或者明确启用GSL兼容模式。

span实现的重大改进

v1.0.0版本对span类进行了全面升级，现在支持静态范围（static extents）。这一改进是通过从微软GSL中适配span实现并向后移植到支持C++98和旧编译器的版本中实现的。

另一个重要变化是span::iterator现在是一个完整的类而不仅仅是一个指针。迭代器操作现在使用gsl_ExpectsDebug()进行检查，提高了安全性。

配置选项的默认值调整

新版本对多个配置选项的默认值进行了调整，以更好地符合现代C++编程实践：

• gsl_FEATURE_STRING_SPAN默认禁用，因为字符串span已不再是GSL规范的一部分
• gsl_FEATURE_BYTE默认禁用，因为C++17已经引入了std::byte
• 契约检查的默认行为改为gsl_CONFIG_CONTRACT_VIOLATION_ASSERTS，与assert()宏的行为一致
• not_null的构造函数现在默认是显式的，提高了类型安全性

新增功能与改进

narrow<>()和narrow_failfast<>()函数现在支持非全序类型，如std::complex<>，这使得这些函数在更广泛的场景下可用。

项目还增加了对ABI兼容性的检查机制。在Windows平台上使用MSVC时，gsl-lite会使用#pragma detect_mismatch()在链接时诊断ABI不兼容问题。对于其他平台，当配置选项可能改变二进制接口时，项目会发出警告，开发者可以通过定义gsl_CONFIG_ACKNOWLEDGE_NONSTANDARD_ABI来明确确认这些变更。

废弃与移除的功能

v1.0.0版本清理了大量过时或不再推荐使用的功能：

• 移除了不安全的span成员函数as_span<>()
• 移除了Owner()和implicit宏
• 移除了C++98下的finally(), on_error()和on_return()实现
• 移除了多个已弃用的函数，如as_writeable_bytes()和各种span构造函数重载

总结

gsl-lite v1.0.0版本标志着该项目的一个重要里程碑。通过引入命名空间隔离、改进span实现、调整默认配置选项以及清理过时功能，该项目在保持向后兼容性的同时，为现代C++安全编程提供了更强大、更一致的支持。对于正在使用gsl-lite的项目，建议仔细阅读迁移指南，逐步适应这些变化，以充分利用新版本带来的改进和增强。