WritableBytes
WritableBytes 屬性 (Property) 會指定可以合法寫入之陣列或由指標所指向之緩衝區的位元組數目。 這個屬性 (Property) 可以用在 Pre 和 Post 屬性 (Attribute) 上，也可以用在指標和陣列資料型別上。 這個屬性 (Property) 的值是一個運算式，內含包含實際可寫入位元組數目的另一個參數。
範例
下列程式碼會顯示如何使用 WritableBytes 屬性 (Property)：
// C
#include <CodeAnalysis\SourceAnnotations.h>
void f ([SA_Pre(WritableBytes="c")] char *pc, size_t c);
// use of dereference operator
void f ([SA_Pre(WritableBytes="*c")] char *pc, size_t *c);
// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f ([Pre(WritableBytes="c")] char *pc, size_t c);
// use of dereference operator
void f ([Pre(WritableBytes="*c")] char *pc, size_t *c);