Microsoft源代码注释语言(SAL)提供设置批注

Microsoft源代码注释语言(SAL)提供设置批注可以使用描述的功能如何使用其参数，它对其假设并确保它使其在完成。 

批注可标头文件 <sal.h>定义。 Visual Studio C++的代码分析使用SAL注释修改函数进行分析。 

有关Windows驱动程序开发的SAL 2.0的更多信息，请参见 联机SAL Windows驱动程序的2.0批注。

本身，C和C++为开发人员提供仅限一种一致地快速用途以及不变性。 使用SAL注释，可以更详细地描述您的功能，以便使用它们的开发人员可以更好地了解如何使用它们。

在MSDN中去查看SAL 里面有详解。