Value
Value 속성은 호출자가 함수의 성공이나 실패를 확인하기 위해 실수로 테스트할 수 있는 잘못된 함수 반환 값을 나타내는 데 사용됩니다. 이 속성은 InvalidCheck 특성에 사용할 수 있습니다.
InvalidCheck 특성과 Value 속성은 함수의 반환 값이 올바른지 테스트하는 데 유용한 메커니즘을 제공합니다. 이 메커니즘은 한 함수는 성공에 대해 1을 그리고 실패에 대해 0을 반환하고 다른 함수는 성공에 대해 1을 그리고 실패에 대해 -1을 반환하는 경우 발생하는 문제를 해결하려고 합니다. 약간 다른 값을 사용하여 다른 결과를 나타내면 혼란이 생기므로 코드에 오류가 발생합니다. Value 속성을 사용하여 함수에 주석을 지정하면 호출자가 올바른 반환 값을 검사하는 데 도움이 됩니다.
예제
다음 코드에서는 Value 속성을 사용하는 방법을 보여 줍니다.
#include <CodeAnalysis\SourceAnnotations.h>
[returnvalue:SA_InvalidCheck(Value=0)] int f( ); // 1 and -1 are valid
Value=0은 이 함수가 1 또는 -1만 반환할 수 있고 0은 잘못된 값이므로 반환 값 0에 대한 검사가 오류임을 나타냅니다.
호출 사이트에서 0은 올바른 반환 값이 아니므로 호출자가 다음 코드를 사용하여 반환 값을 검사하면 경고가 발생합니다.
if ( f() == 0 )