Condividi tramite


Value

Aggiornamento: novembre 2007

La proprietà Value viene utilizzata per indicare un valore restituito di funzione non valido che il chiamante potrebbe erroneamente sottoporre a testing per verificare se una funzione è stata eseguita con esito positivo o negativo. Può essere utilizzata per l'attributo InvalidCheck.

L'attributo InvalidCheck e la proprietà Value dispongono di un meccanismo che consente di eseguire il testing sul valore restituito corretto di una funzione. Viene effettuato un tentativo di risolvere il problema che generalmente si verifica quando una funzione restituisce 1 per la riuscita e 0 per la mancata riuscita, e un'altra funzione restituisce 1 per indicare la riuscita e -1 per la mancata riuscita. L'utilizzo di valori molto simili per indicare risultati diversi causa confusione e introduce quindi errori nel codice. L'annotazione delle funzioni mediante la proprietà Value consente di facilitare la verifica da parte dei chiamanti del valore restituito corretto.

Esempio

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

#include <CodeAnalysis\SourceAnnotations.h>

[returnvalue:SA_InvalidCheck(Value=0)] int f( ); // 1 and -1 are valid

Value=0 indica che la ricerca di un valore restituito pari a 0 è un errore in quanto la funzione può restituire solo 1 o -1 e 0 rappresenta quindi un valore non valido.

Nel sito della chiamata viene generato un avviso se il chiamante controlla il valore restituito mediante il codice riportato di seguito in quanto 0 non è un valore restituito valido:

if ( f() == 0 )

Vedere anche

Concetti

Cenni preliminari sull'annotazione

Altre risorse

Proprietà di annotazione