內建函式
在 SAL 的運算式可以是 C ++. /C 運算式，而則是沒有邊效果 (例如， C++ 的運算式條件下，--和函式呼叫都具有副作用在此內容中。 不過， SAL 提供可用來 SAL 運算式的一些類似函式的物件和某些保留的符號。 這些稱為 內建函式。
一般目的。
下列 instrinsic 函式附註為 SAL 提供一般公用程式。
註釋 |
描述 |
|---|---|
_Curr_ |
目前標註物件的同義字。 當 _At_ 標記法是在使用中時， _Curr_ 與第一個參數為 _At_。 否則，就是參數或註解所比較的整個函式/傳回值。 |
_Inexpressible_(expr) |
表示使用註釋運算式 (例如，緩衝區大小太複雜而無法表示的情況，，會透過掃描輸入資料集然後計數選取的成員計算時。 |
_Nullterm_length_(param) |
param 是元素數目緩衝區的等號 (但不包含 null 結束字元)。 它也可以套用至非彙總，非 void 型別所有緩衝區。 |
_Old_(expr) |
當它在前置條件來評估， _Old_ 會傳回輸入值 expr。 當它在後置條件中評估，則會傳回 expr 值，因為它在前置條件中評估。 |
_Param_(n) |
函式的第 n參數計數，從 1 到 n和 n 是常值整數常數。 如果參數名稱為，這個附註與名稱存取參數相同。 .gif "注意事項") 注意事項
n 可能參考是以省略符號定義的位置參數，或者可以在不使用名稱的函式原型。
|
return |
C/C++ 保留的關鍵字 return 可用於 SAL 運算式表示函式的傳回值。 值只能在張貼狀態;它是使用其語法錯誤會發生在之前的狀態。 |
特定字串
下列內建函式附註啟用資料的作業。 上述四種函式符合同一個目的:傳回型別的項目數 null 結束字元之前找到。 差異在於這種所參考的項目的資料。 請注意，如果您要指定由字元所組成 null 結尾緩衝區的長度，請使用本節中的 _Nullterm_length_(param) 標記法。
註釋 |
描述 |
|---|---|
_String_length_(param) |
param是不包含null terminator的緩衝區的元件數目。 這個標記法為字串型別字元是保留的名稱。 |
strlen(param) |
param是不包含null terminator的緩衝區的元件數目。 這個標記法是保留給字元陣列的使用和類似 C 執行階段函式 strlen()。 |
wcslen(param) |
param是不包含null terminator的緩衝區的元件數目。 這個標記法是保留給在寬字元陣列的使用和類似 C 執行階段函式 wcslen()。 |