Annotazioni SAL

Se si esaminano i file di intestazione della libreria, è possibile notare alcune annotazioni insolite, ad esempio, e . Queste annotazioni sono esempi del linguaggio di annotazione del codice sorgente Microsoft (SAL). SAL fornisce un set di annotazioni per descrivere in che modo una funzione usa i parametri e il tipo restituito. Ad esempio, indica i presupposti che fa su di essi e le garanzie che fa al completamento. Il file di intestazione sal.h definisce le annotazioni.

Per ulteriori informazioni sull'uso delle annotazioni SAL in Visual Studio, vedere Utilizzare le annotazioni SAL per ridurre i difetti del codice C/C++.

Vedi anche

File Sistema di Runtime C (CRT) e C++ Standard Library (STL)