グループ 12:関数テンプレート (C++)

Polyspace^® のカスタム ルール 12.x は、関数テンプレートの命名規則を強制します。これらのルールを有効にする方法の詳細は、カスタム ルールのチェック (-custom-rules) を参照してください。

番号	ルール	詳細
12.1	すべての関数テンプレートは、指定されたパターンに従わなければなりません。	非メンバー関数テンプレートに適用されます。
12.2	すべての関数テンプレート パラメーターは、指定されたパターンに従わなければなりません。	メンバー関数テンプレートと非メンバー関数テンプレートに適用されます。
12.3	すべての関数テンプレート メンバーは、指定されたパターンに従わなければなりません。