Valid
Valid 속성은 값이 해당 형식의 유효성 제약 조건을 만족하는지 여부를 지정합니다. 이 속성은 Pre 및 Post 특성에서 모든 데이터 형식에 사용할 수 있습니다.
다음 값 중 하나를 사용하여 Valid 속성을 설정해야 합니다.
SA_Yes - 값이 유효합니다.
SA_No - 값이 유효하지 않습니다.
SA_Maybe - 값이 유효할 수 있습니다.
여러 기본 제공 형식의 유효성 제약 조건은 다음과 같습니다.
정수 계열 및 부동 소수점 형식 – 값이 초기화되어 잘못된 데이터가 포함되어 있지 않습니다.
부울 – 값이 True 또는 False입니다.
포인터 형식 - 포인터가 NULL이거나 액세스 가능한 메모리 위치를 가리킵니다. 포인터가 가리키는 위치의 값이 반드시 유효하지는 않습니다. 값의 유효성은 포인터 값보다 역참조 수준이 하나 더 높은 Valid 속성의 값에 따라 결정됩니다.
참조 형식 – 참조 형식이 NULL일 수 없다는 점만 제외하면 포인터 형식과 같습니다.
예제
다음 코드에서는 Valid 속성을 사용하는 방법을 보여 줍니다.
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(Valid=SA_Yes) ] char *pc);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(Valid=Yes) ] char *pc);