共用方式為


C6500

警告 C6500: 無效的附註: <name> 屬性的值無效

注意事項注意事項

這項警告只發生在使用不建議原始程式碼附註語言的程式碼 (SAL) 版本。建議您移植程式碼以使用 SAL 最新的版本。如需詳細資訊,請參閱使用 SAL 註釋減少 C/C++ 程式碼的缺失

這個警告表示附註中所用的屬性值無效。 例如,如果 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 條件都會產生這個警告。

請參閱

其他資源

Deref