Condividi tramite


ValidBytes

Aggiornamento: novembre 2007

La proprietà ValidBytes specifica il numero di byte di una matrice o di un buffer a cui punta un puntatore che è possibile leggere correttamente. Può essere utilizzata per gli attributi Pre e Post e può essere applicata solo ai tipi di dati puntatore o matrice.

Il valore di questa proprietà è un'espressione che include un altro parametro di tipo integrale con un intervallo pari o inferiore a size_t, che determina il numero effettivo di byte leggibili.

Esempio

Nei due esempi di codice riportati di seguito viene illustrato come utilizzare la proprietà ValidBytes.

// C 
#include <CodeAnalysis\SourceAnnotations.h>
void f([SA_Pre(ValidBytes="c") ] char *pc, size_t c);
-or-
void f([SA_Pre(ValidBytes="*c") ] char *pc, size_t *c);
// use dereference operator, size is passed as a pointer

// C++
#include <CodeAnalysis\SourceAnnotations.h>
using namespace vc_attributes;
void f([Pre(ValidBytes="c") ] char *pc, size_t c);
-or-
void f([Pre(ValidBytes="*c") ] char *pc, size_t *c);
// use dereference operator, size is passed as a pointer

La proprietà ValidBytes non può essere applicata a un puntatore a funzione.

Vedere anche

Concetti

Cenni preliminari sull'annotazione

Altre risorse

Proprietà di annotazione