Anotaciones SAL

Si examina los archivos de encabezado de la biblioteca, observará algunas anotaciones inusuales, como y . Estas anotaciones son ejemplos del lenguaje de anotación de código fuente (SAL) de Microsoft. SAL proporciona un conjunto de anotaciones para describir cómo una función usa sus parámetros y el tipo de valor devuelto. Por ejemplo, indica las suposiciones que realiza sobre ellos y las garantías que realiza al finalizar. El archivo de encabezado sal.h define las anotaciones.

Para obtener más información sobre el uso de anotaciones SAL en Visual Studio, consulte Uso de anotaciones SAL para reducir los defectos de código de C/C++.

Consulte también

Archivos de tiempo de ejecución de C (CRT) y biblioteca estándar de C++ (STL)