Aracılığıyla paylaş

Yapıları ve Sınıfları Yorumlama

  • Makale

İnvariants gibi davranan ek açıklamaları kullanarak yapı ve sınıf üyelerini açıklama ekleyebilirsiniz — herhangi bir işlev çağrısı veya işlev giriş/kapsayan yapısını kapsayan bir parametre veya bir sonuç değeri olarak çıkış doğru olarak kabul ettiği.

Yapı ve sınıf ek açıklamaları

Açıklama Notları

Tanımlama

_Field_range_(low, high)

(Dahil) arasında aralıktaki alandır low için high.Eşdeğer _Satisfies_(_Curr_ >= low && _Curr_ <= high) uygun öncesi veya sonrası koşulları kullanarak açıklamalı nesneye uygulanmış.

_Field_size_(size)

_Field_size_opt_(size)

_Field_size_bytes_(size)

_Field_size_bytes_opt_(size)

Öğeleri (veya bayt) belirtilen yazılabilir bir boyutu olan bir alan size.

_Field_size_part_(size, count)

_Field_size_part_opt_(size, count)

_Field_size_bytes_part_(size, count)

_Field_size_bytes_part_opt_(size, count)

Öğeleri (veya bayt) belirtilen yazılabilir bir boyutu olan bir alan sizeve count okunabilir bu öğelerin (bayt cinsinden).

_Field_size_full_(size)

_Field_size_full_opt_(size)

_Field_size_bytes_full_(size)

_Field_size_bytes_full_opt_(size)

Öğeleri (veya bayt) belirtilen tarafından okunabilir ve yazılabilir boyutu olan bir alan size.

_Struct_size_bytes_(size)

Yapı ya da sınıf bildirimine uygulanır.Bu tür geçerli bir nesne tarafından belirtilen bayt sayısı ile bildirilen türü büyük olabileceğini gösterir size.Örne?in:

typedef _Struct_size_bytes_(nSize)
struct MyStruct {
    size_t nSize;
    …
};

Arabellek boyutunu bayt cinsinden parametre pM türü MyStruct * sonra olacak şekilde alınır:

min(pM->nSize, sizeof(MyStruct))

Ayrıca bkz.

Başvuru

İşlev Parametrelerini ve Dönüş Değerlerini Açıklama

İşlev Davranışını Yorumlama

Kilitlenme Davranışını Yorumlama

Açıklamanın Ne Zaman ve Nereye Uygulanacağını Belirtme

İç İşlevler

En İyi Yöntemler ve Örnekler (SAL)

Kavramlar

sal anlama

Diğer Kaynaklar

c/C++ kod hataları azaltmak için sal açıklamaları kullanma