除MSVC外，其他编译器是否拥有类似MSVC SAL的对应版本？

除了MSVC专属的SAL（Microsoft Source-code Annotation Language），多数主流编译器及工具链都提供了功能类似的源代码注解/契约机制，常见的包括：

• GCC与Clang：
  • 支持__attribute__系列扩展，比如__attribute__((nonnull))标记指针参数不为空，__attribute__((warn_unused_result))提示调用者必须处理返回值，可实现和SAL类似的静态检查效果。
  • 兼容ISO C标准的_Nonnull、_Nullable等可空性注解，用于明确指针的空值语义。
• Clang特有注解：
  • 提供[[clang::returns_nonnull]]、[[clang::no_sanitize("undefined")]]等专属属性，进一步细化静态分析和编译检查的规则，功能覆盖SAL的核心场景。
• Intel C++ Compiler (ICC)：
  • 完全兼容MSVC的SAL注解语法，同时支持GCC的__attribute__扩展，兼顾两种生态的注解需求。
• ISO C/C++ 标准化方案：
  • C17的[[nodiscard]]、C20的[[likely]]/[[unlikely]]，以及C++20引入的契约（Contracts）机制（目前编译器支持逐步完善中），属于不依赖厂商的标准化注解方式，可跨编译器使用。

这些机制的核心目标和SAL一致：通过源代码注解向编译器或静态分析工具传递额外语义信息，提前检测空指针访问、未处理返回值、参数非法等潜在问题。

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