非型パラメーターを含む C テンプレートを理解する

C では、テンプレートは汎用プログラミングのための強力なメカニズムを提供し、次のようなコードを作成できます。コンパイル時にさまざまなデータ型を処理します。型パラメータはテンプレートでよく使用されますが、非型パラメータを定義することも可能です。

非型パラメータ

テンプレート内の非型パラメータは、

• 整数定数式 (例: unsigned int N)
• Pointers
• References

例: 整数定数式パラメータ

コードでは、テンプレート が整数定数式パラメータを宣言しています。このパラメータは、unsigned int 型のコンパイル時定数を表します。その後、テンプレート内でこのパラメーターを定数値として使用できます。

型パラメーターのないテンプレート

テンプレートには通常、少なくとも 1 つの型パラメーターが必要ですが、次のことが可能です。非型パラメータのみを含むテンプレートを作成します。この場合、テンプレートは基本的に、非型パラメーターで指定された指定値を操作する汎用関数です。

非型パラメーターの種類

In非型パラメータには、整数定数式に加えて、外部リンケージで関数またはオブジェクトを参照できる

• ポインタ、外部リンケージで変数を参照できる
• 参照が含まれます。

デフォルト パラメータ

テンプレートにはデフォルト パラメータを持つこともできるため、すべての非型パラメータの値を明示的に指定する必要はありません。指定しない場合は、テンプレート宣言で指定されたデフォルト値が使用されます。

テンプレートの特殊化

構文 template は通常、テンプレートの明示的な特殊化を定義するために使用されます。特定のパラメータセットのテンプレート。提供されている例では、明示的なパラメーター値が欠落しているため、有効なテンプレートの特殊化ではありません。

概要

非型パラメーターを使用すると、次のようなテンプレートを作成できます。さまざまなタイプの定数、ポインタ、参照を使用してパラメータ化できるため、コードの設計と実装にさらなる柔軟性と制御が提供されます。