「テンプレート (プログラミング)」の版間の差分

テンプレートには''関数テンプレート''と''クラステンプレート''がある。関数テンプレートは自由な型の引数を受け取ることができる関数のようなものである。たとえば、[[標準C++ライブラリ]]にある関数テンプレートmax(x, y)はxとyの内うち、大きな方を返す関数テンプレートで、次のように定義できる。

ここで、Tで表されているものを''テンプレート仮引数'' (''template parameter'') という。コンパイラは実引数として与えられた値の型（''テンプレート実引数''、''template argument''。この例の場合では、この整数型リテラルの型であるint）からTに対応する型を''導出''し、Tに得られたintを当てはめて関数を''実体化''する。このようにして実体化された関数を''特殊化''（あるいは特殊化版、特殊バージョン）という。例のmax(3, 7)に対してはこの特殊化が呼ばれることになる。なお、実体化のことを''具現化''と呼ぶこともある。

逆に標準ライブラリにある[[複素数]]を表す型のcomplexには<演算子が定義されていない。複素数には強い順序付けが存在しないからである。そのためmax(x, y)という呼出はxとyが複素数の場合コンパイルエラーになる。このように<演算子を必要とするテンプレートでcomplexを使用することはできない。困ったことにこの種のエラーでは難解なエラーメッセージが出力されてしまう。そのためテンプレートが関わるエラーを出さないように、利用する関数テンプレートの仕様をあらかじめよく確認する方が良い。

一般的に、そのようなテンプレート実引数に対する要求は、コンセプト (concept) や要件 (requirement) などとして別途文書によって記述されている。標準C++ライブラリのstd::max関数テンプレート (X3014 25.3.7) では、そのテンプレート実引数が''LessThanComparable''でなければならないと定められている。ある型がLessThanComparableであるためには、正にa < bという演算ができなければならない (X3014 20.1.2) と定められているのである。