目次
低レイヤーのプログラミングとOS開発が趣味。C言語を使っています。
工作HardwareHubからのお知らせ
サンプルコード
#include <iostream>
#include <string> // ← 関数テンプレートのため、という訳ではなく string を使用したいため。
using namespace std;
// シンプルなテンプレート
template <typename MY_TYPE>
MY_TYPE MyFunc(MY_TYPE a)
{
return a * a;
}
// 未確定な型が二つあるテンプレート
template <typename MY_TYPE_A, typename MY_TYPE_B>
void MyFunc2(MY_TYPE_A a, MY_TYPE_B b)
{
cout << a << ", " << b << endl;
}
// 特定のメソッドを有するクラスを想定したテンプレート
template <typename MY_TYPE>
void MyFunc3(const MY_TYPE& container)
{
for(int i = 0, size = container.size(); i < size; ++i) {
cout << container[i] << endl;
}
}
int main() {
// それっぽい型で解釈させても問題にならないと思われる場合
MyFunc2(MyFunc(10), MyFunc(1.5)); //=> 100, 2.25
// 曖昧さがあったり、自動解釈では困る場合
// テンプレート実引数で型を明記できます
cout << MyFunc<int>(1.5) << endl; //=> 1
cout << MyFunc<double>(1.5) << endl; //=> 2.25
MyFunc2<int, char>('0', '0'); //=> 48, 0
MyFunc3<string>("string"); //← 指定しないと const char* と解釈されてエラー
return 0;
}
関数テンプレートを使用する箇所で都度、よばれた型で関数の実体が生成されます。そのため、関数テンプレートを使用する側から丸々中身が見える必要があり、ヘッダファイルには通常プロトタイプ宣言だけを記述することはできず、関数テンプレートをすべて記述する必要があります。
これを避ける実用上ほぼ唯一の方法に「明示的実体化」というものがあります。関数テンプレートの実装を記述したファイルで明示的実体化をしておけば、その型に関して関数の実体が用意されるため、関数テンプレートを使用する側で通常発生する実体化が不要となり、したがって中身の実装を知る必要がなくなるため、ヘッダファイルに関数テンプレートのプロトタイプ宣言だけを記述しておくことができます。
main.cpp
#include <iostream>
#include "sub.h"
using namespace std;
int main() {
cout << MyFunc(10) << endl;
return 0;
}
sub.h
#ifndef SUB_H_
#define SUB_H_
template <typename MY_TYPE>
MY_TYPE MyFunc(MY_TYPE a); // ← プロトタイプ宣言
#endif // #ifndef SUB_H_
sub.cpp
#include "sub.h"
template <typename MY_TYPE>
MY_TYPE MyFunc(MY_TYPE a)
{
return a * a;
}
template int MyFunc(int a); // 明示的実体化
コンパイル例
g++ -Wall -o main.o -c main.cpp
g++ -Wall -o sub.o -c sub.cpp
g++ -Wall -o main main.o sub.o
特殊化とオーバロード
クラステンプレートの場合と異なり部分特殊化はありません。オーバロードで対応します。
#include <iostream>
using namespace std;
template <typename MY_TYPE_A, typename MY_TYPE_B>
void MyFunc(MY_TYPE_A a, MY_TYPE_B b)
{
cout << a << ", " << b << endl;
}
// 特殊化
template <>
void MyFunc(double a, double b)
{
cout << "double double: " << a << ", " << b << endl;
}
// オーバロード (部分特殊化ではない)
template <typename MY_TYPE_B>
void MyFunc(double a, MY_TYPE_B b)
{
cout << "double *: " << a << ", " << b << endl;
}
int main() {
MyFunc<int, int>(1, 1); //=> 1, 1 (通常のテンプレート)
MyFunc<double, double>(1.1, 1.1); //=> double double: 1.1, 1.1 (特殊化)
MyFunc<double, int>(1.1, 1); //=> 1.1, 1 (通常のテンプレート) ← テンプレート引数が2つ
MyFunc<int>(1.1, 1); //=> double *: 1.1, 1 (オーバロードした通常のテンプレート) ← テンプレート引数が1つ
// テンプレート引数を省略すると、より合致率の高いもの
// 今回の場合はオーバロード済みのものが利用される。
MyFunc(1.1, 1); //=> double *: 1.1, 1
return 0;
}
0
記事の執筆者にステッカーを贈る
有益な情報に対するお礼として、またはコメント欄における質問への返答に対するお礼として、 記事の読者は、執筆者に有料のステッカーを贈ることができます。
さらに詳しく →Feedbacks
ログインするとコメントを投稿できます。
関連記事
- ダウンキャスト (C++をもう一度)実行時型情報 RTTI #include <iostream> #include <typeinfo> using namespace std; class MyClass { public: virtual ~MyClass() {} // typeid で正しい RTTI // (RunTime Type Information; 実行時型情報) ...
- 競技プログラミングの基本処理チートシート (C++)限られた時間の中で問題を解くために必要となる、競技プログラミングにおける基本的な処理のチートシートです。競プロにおけるメジャー言語 C++ を利用します。その際 C++11 の機能は利用せず C++03 の機能の範囲内で記述します。 頻度高く定期的に開催されるコンテスト AtCoder Codeforces main.cpp #include <iostream>
- 構造体と列挙体 (C++をもう一度)構造体 #include <iostream> using namespace std; struct MyStruct { char charval; int intval; }; void Show(MyStruct* obj) { cout << obj->intval << endl; } int main() { ...
- Valgrind による C/C++ メモリリーク検出JVM メモリリークでは JDK の jstat や jmap で原因を調査できます。C/C++ では valgrind の Memcheck ツールが利用できます。valgrind には複数のツールが含まれており既定のツールが Memcheck です。他のツールを利用する場合は --tool オプションで指定します。 [簡単な利用例](h
- クラスの基本/初期化 (C++をもう一度)構造体のように初期化する (非推奨) #include <iostream> using namespace std; const int MAX_STR = 16; class MyClass { public: int m_integer; char m_str[MAX_STR + 1]; void Show(); }; void MyClass::Show...