MustCheck
Mit der MustCheck-Eigenschaft wird angegeben, ob der Aufrufer den Rückgabewert einer Funktion überprüfen muss. Diese Eigenschaft wird als Nachbedingung zum Rückgabewert einer Funktion verwendet.
Die MustCheck-Eigenschaft muss auf einen der folgenden Werte festgelegt werden:
SA_Yes – der Rückgabewert muss überprüft werden; andernfalls wird Warnung 6031 ausgegeben.
SA_No – der Rückgabewert soll nicht überprüft werden.
Tipp
Das SA_-Präfix ist für C++ optional.
Hinweise
Bei der Überprüfung eines Rückgabewerts einer Funktion, der mit SA_No markiert ist, wird keine Warnung generiert.
Beispiel
Der folgende Code zeigt, wie die MustCheck-Eigenschaft verwendet wird:
// 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();