Condividi tramite


MustCheck

Aggiornamento: novembre 2007

La proprietà MustCheck specifica se il chiamante deve esaminare il valore restituito di una funzione e viene utilizzata come una condizione post su tale valore.

La proprietà MustCheck deve essere impostata utilizzando uno dei seguenti valori:

  • SA_Yes: è necessario controllare il valore restituito. In caso contrario, verrà generato l'avviso 6031.

  • SA_No: non è necessario controllare il valore restituito.

Nota:

In C++ il prefisso SA_ è facoltativo.

Note

Il controllo di un valore restituito di una funzione contrassegnato con SA_No non determina la generazione di un avviso.

Esempio

Nel codice riportato di seguito viene illustrato come utilizzare la proprietà MustCheck.

// C 
#include <CodeAnalysis\SourceAnnotations.h>
[returnvalue:SA_Post(MustCheck=SA_Yes)] int f();

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
[returnvalue:Post(MustCheck=Yes)] int f();

Vedere anche

Altre risorse

Proprietà di annotazione