更新：2007 年 11 月
WritableBytes 属性指定指针指向的数组或缓冲区的可以合法写入的字节数。 Pre 和 Post 属性 (Attribute) 上允许此属性 (Property)，此属性 (Property) 可以在指针和数组数据类型上使用。此属性的值是一个表达式，其中涉及到另一个参数，该值包含可写入字节的实际数目。
示例
下面的代码演示如何使用 WritableBytes 属性：
// 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);