C6517
경고 C6517: 주석이 충돌합니다. 읽을 수 없는 버퍼에는 ValidElementsConst 및 ValidBytesConst를 지정할 수 없습니다.
이 경고는 ValidElementsConst 및 ValidBytesConst 속성에 필수적인 읽기 권한이 없음을 나타냅니다. 읽기 권한을 제공하지 않으면 이들 속성을 사용하여 매개 변수에 주석을 지정할 수 없습니다.
예제
다음 코드에서는 버퍼에 대한 읽기 권한이 부여되지 않았기 때문에 이 경고가 생성됩니다.
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=10 )][SA_Pre( Deref=1, Access=SA_Write )] char* buffer );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=Write )] char* buffer );
이 경고를 해결하려면 다음 코드에서처럼 읽기 권한을 부여합니다.
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytesConst=10 )][SA_Pre( Deref=1, Access=SA_ReadWrite )] char* buffer );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre( ValidBytesConst=10 )][Pre( Deref=1, Access=ReadWrite )] char* buffer );