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 條件都會產生這個警告。