C6500
警告 C6500: 無效的附註: <name> 屬性的值無效
這個警告表示附註中所用的屬性值無效。 例如,如果 Deref 屬性中使用不正確的取值 (Dereference) 層次,或是所使用之常數值大於屬性 (如 ElementSize) 的 size_t,則可能會發生此警告。
範例
下列程式碼會因為在 Pre 條件中使用不正確的取值層次,而產生這個警告:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=2, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=2, Access=Read )] char buffer[] );
若要更正這個警告,請指定正確的取值層次,如下列程式碼所示:
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f( [SA_Pre( Deref=1, Access=SA_Read )] char buffer[] );
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f( [Pre( Deref=1, Access=Read )] char buffer[] );
Pre 及 Post 條件都會產生這個警告。