İç İşlevler
sal bir deyimde ifade yan etkileri yok olmasını sağlayan bir c/C++ ifade olabilir — örneğin, ++,--ve işlev çağrıları bu bağlamda yan etkilere sahiptir.sal ancak, bazı işlev benzeri nesneleri ve sal deyimlerde kullanılan bazı ayrılmış simgeler sağlar.Bunlar olarak adlandırılır iç işlevler.
Genel amaçlı
Aşağıdaki instrinsic işlevi ek açıklamalar, sal için genel bir yardımcı program sağlar.
Açıklama Notları |
Tanımlama |
|---|---|
_Curr_ |
Şu anda açıklama nesnesi eşanlamlısı.Zaman _At_ ek açıklama kullanılıyor, _Curr_ ilk parametre olarak aynı _At_.Aksi halde, parametre veya ek açıklama sözcüksel olarak ilişkili olduğu tüm işlev ve dönüş değeri olacaktır. |
_Inexpressible_(expr) |
Burada bir arabellek boyutu, ek açıklama ifade kullanarak temsil etmek için karmaşık bir durumu ifade eder — örneğin, ne zaman, Giriş bir veri kümesi tarama ve sonra sayım hesaplanan üyeleri seçilmiş. |
_Nullterm_length_(param) |
paramÖğeleri yukarı arabelleğe ancak null bir sonlandırıcı hariç sayısıdır.Herhangi bir arabellek toplu olmayan, void türü için uygulanabilir. |
_Old_(expr) |
Önkoşul değerlendirildiğinde _Old_ giriş değeri döndürür expr.Onu post-condition değerlendirilirken, alan değeri geri döndürür expr onu önkoşulu değerlendirilene gibi. |
_Param_(n) |
nParametresinden 1-sayım bir işlev için n, ve n değişmez bir tam sayı sabitidir.Parametre olarak adlandırılmışsa, bu ek parametre adıyla erişmek için aynıdır. .gif "Not") Not
nüç nokta tarafından tanımlanan veya işlev prototiplerini içinde adları değil kullanıldığı yerlerde kullanılabilir Konumsal parametreler için başvurabilir.
|
return |
c/C++ ayrılmış anahtar sözcük return sal ifadede bir işlevin dönüş değeri belirtmek için kullanılabilir.Değer yalnızca posta durumunda kullanılabilir; öncesi durumunda kullanmak için bir sözdizimi hatası var. |
Özel dize
İç işlevi aşağıdaki ek açıklamalar dizelerin işlenmesini etkinleştirir.Bu işlevlerin dört aynı amaca hizmet eder: null bir sonlandırıcı önce bulunan türden öğelerin sayısını döndürmek için.Farkları başvurulan öğeleri veri türleridir.Null sonlandırılmış uzunluğunu belirtmek istiyorsanız, arabellek unutmayın karakterlerden oluşan değil, kullanın _Nullterm_length_(param) önceki bölümden ek açıklama.
Açıklama Notları |
Tanımlama |
|---|---|
_String_length_(param) |
paramöğeleri dize kadar ancak null bir sonlandırıcı hariç sayısıdır.Bu ek karakter dize türleri için ayrılmıştır. |
strlen(param) |
paramöğeleri dize kadar ancak null bir sonlandırıcı hariç sayısıdır.Bu ek açıklama ayrılmış karakter kullanımda diziler ve c çalışma zamanı işlevine benzer strlen(). |
wcslen(param) |
paramdize kadar (ama dahil değil) öğe sayısı null bir sonlandırıcı.Bu ek açıklama diziler ve c çalışma zamanı işlevine benzer geniş karakter üzerinde kullanım için ayrılmış wcslen(). |
Ayrıca bkz.
Başvuru
İşlev Parametrelerini ve Dönüş Değerlerini Açıklama
Yapıları ve Sınıfları Yorumlama
Kilitlenme Davranışını Yorumlama
Açıklamanın Ne Zaman ve Nereye Uygulanacağını Belirtme
En İyi Yöntemler ve Örnekler (SAL)