組み込み関数
SAL 例の式は、++ 効果の側の式がない場合は、/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 |
SAL 式で C/C++ 予約キーワード return は、関数の戻り値を示すために使用できます。値は後の状態でのみ使用できます。; ここでは、前に使用する構文エラー状態になります。 |
文字列の特定
次の組み込み関数のコメントは、文字列の処理を有効にします。これらの関数の 4 つはすべて同じで、: null 終端文字の前にある型の要素数を返します。相違点の種類は参照される要素のデータです。文字で構成される null で終わるバッファーの長さを指定する場合は、前のセクションで _Nullterm_length_(param) のコメントを使用することに注意してください。
注釈 |
説明 |
|---|---|
_String_length_(param) |
param、null 終端文字列未満の要素の数です。このコメントは、文字列内の文字の型のために予約されています。 |
strlen(param) |
param、null 終端文字列未満の要素の数です。ここでは、文字配列で使用するために予約されて、C のランタイム関数 strlen() に似ています。 |
wcslen(param) |
param は (ただし、null 終端文字を含む) まで文字列の要素の数です。このコメントはワイド文字の配列で使用するために予約されて、C のランタイム関数 wcslen() に似ています。 |