完全特殊化
型に合わせてテンプレートをカスタマイズします
「完全特殊化」はCoddyKit上の無料C++ Academyレッスンです。 これはレッスン1/4です。 下記で完全なレッスンを無料で読むことができます。その後、ブラウザ内の組み込みコードエディタと24時間対応のAIチューターでハンズオン演習できます。 これはC++ Academy学習パスの一部であり、ウェブとCoddyKitアプリ全体で進捗が同期されます。 C++ Academyコースには全4レッスンが含まれています。
まとめ: テンプレート
テンプレートを使うと、1つのコードで多くの型に対応できます。コンパイラーは、使用する型ごとに具体的なバージョンを生成します。
- 一般形はすべての型に対応します。
- 場合によっては、ある型に特別な処理が必要です。
#include <iostream>
template <typename T>
T maxOf(T a, T b) { return a > b ? a : b; }
int main() {
std::cout << maxOf(3, 9) << ' ' << maxOf(2.5, 1.5) << '\n';
return 0;
}完全特殊化とは
完全特殊化では、特定の1つの型に対して完全に別の実装を提供し、その型に限って一般テンプレートを上書きします。
#include <iostream>
template <typename T>
void describe(T) { std::cout << "some type\n"; }
template <>
void describe(int) { std::cout << "an int\n"; }
int main() {
describe(3.14);
describe(42);
return 0;
}構文
完全特殊化は空の山括弧template <>で始まり、特殊化の中で正確な型を指定します。
#include <iostream>
template <typename T>
struct TypeName { static const char* get() { return "unknown"; } };
template <>
struct TypeName<bool> { static const char* get() { return "bool"; } };
int main() {
std::cout << TypeName<double>::get() << '\n';
std::cout << TypeName<bool>::get() << '\n';
return 0;
}クラステンプレートを特殊化する
クラステンプレート全体を特殊化すると、プライマリテンプレートとは異なる独自のメンバーと動作を型に与えられます。
#include <iostream>
template <typename T>
struct Storage {
T value;
void show() { std::cout << "value: " << value << '\n'; }
};
template <>
struct Storage<bool> {
bool value;
void show() { std::cout << (value ? "true" : "false") << '\n'; }
};
int main() {
Storage<int> s{5}; s.show();
Storage<bool> b{true}; b.show();
return 0;
}なぜ特殊化するのか
特殊化は、異なるロジックが必要な型に対応するために使用します。たとえば、const char*ではポインタ比較ではなく文字列比較が必要です。
#include <iostream>
#include <cstring>
template <typename T>
bool equal(T a, T b) { return a == b; }
template <>
bool equal(const char* a, const char* b) { return std::strcmp(a, b) == 0; }
int main() {
std::cout << std::boolalpha;
std::cout << equal(5, 5) << '\n';
std::cout << equal("hi", "hi") << '\n';
return 0;
}1つのメンバーを特殊化する
クラステンプレートでは、ある型に対して1つのメンバー関数だけを特殊化し、残りは再利用できます。
#include <iostream>
template <typename T>
struct Printer {
void print(T v) { std::cout << v << '\n'; }
};
template <>
void Printer<char>::print(char v) {
std::cout << "char: " << v << '\n';
}
int main() {
Printer<int>{}.print(7);
Printer<char>{}.print('A');
return 0;
}一致する特殊化が一般形に優先される
正確な型に対する完全特殊化が存在する場合、コンパイラーは必ずプライマリテンプレートよりもそれを優先します。
#include <iostream>
template <typename T>
int rank() { return 0; }
template <>
int rank<double>() { return 99; }
int main() {
std::cout << rank<int>() << ' ' << rank<double>() << '\n';
return 0;
}特殊化はプライマリテンプレートの後に記述する
特殊化は、プライマリテンプレートが確認できる後に宣言する必要があります。そうしないと、コンパイラーは特殊化する対象を認識できません。
#include <iostream>
template <typename T>
const char* kind() { return "generic"; }
template <>
const char* kind<float>() { return "float"; }
int main() {
std::cout << kind<int>() << ' ' << kind<float>() << '\n';
return 0;
}stdテンプレートを特殊化する
std::hashなど、一部の標準ライブラリテンプレートは独自の型に対して特殊化でき、ハッシュコンテナーで使用できるようになります。
#include <iostream>
struct Point { int x, y; };
template <typename T>
struct Hasher { size_t operator()(const T&) { return 0; } };
template <>
struct Hasher<Point> {
size_t operator()(const Point& p) { return p.x * 31 + p.y; }
};
int main() {
Hasher<Point> h;
std::cout << h(Point{2, 3}) << '\n';
return 0;
}値による特殊化
非型テンプレートパラメータは特定の値に対して特殊化でき、コンパイル時テーブルに便利です。
#include <iostream>
template <int N>
struct Fib { static const int value = Fib<N-1>::value + Fib<N-2>::value; };
template <>
struct Fib<0> { static const int value = 0; };
template <>
struct Fib<1> { static const int value = 1; };
int main() {
std::cout << Fib<10>::value << '\n';
return 0;
}動作の一貫性を保つ
特殊化では、実装だけを変更し、プライマリテンプレートと同じ概念上の契約を維持する必要があります。そうしないと、呼び出し側が予期しない動作に遭遇します。
#include <iostream>
template <typename T>
T zero() { return T{}; }
template <>
int zero<int>() { return 0; }
int main() {
std::cout << zero<int>() << ' ' << zero<double>() << '\n';
return 0;
}クイックチェック
完全特殊化の構文を理解できているか確認しましょう。
まとめ
完全特殊化について学びました。
- 1つの特定の型専用の実装を提供します
template <>と具体的な型を使って記述します- コンパイラは常に、完全一致する特殊化を優先します
- 関数、クラス、個別のメンバー、特定の値に使用できます
次は、型のパターンに一致する部分特殊化について学びます。
よくある質問
「完全特殊化」レッスンは無料ですか？
はい。「完全特殊化」の完全なテキストはこのウェブで無料で読めます。インタラクティブに演習し（組み込みコードエディタと24時間対応のAIチューター）、C++ Academyコースの残りをアンロックするには、CoddyKit PROにアップグレードしてください。 C++ Academyコースには全4レッスンが含まれています。
「完全特殊化」で何を学びますか？
型に合わせてテンプレートをカスタマイズします ブラウザで直接実行するハンズオンコードでC++ Academyを演習し、24時間対応のAIチューターがレッスンを進める中での質問に答えます。
C++ Academyを始めるのに経験は必要ですか？
事前経験は必要ありません。CoddyKitのC++ Academyは初級者から上級者向けに構成されているため、ここから始めるか最初から始めて、自分のペースで進むことができます。 これはレッスン1/4です。
「完全特殊化」レッスンにはどのくらい時間がかかりますか？
ほとんどのCoddyKitレッスンは約5～10分かかります。各レッスンはコンパクトでインタラクティブなので、着実に進歩し、ウェブとアプリ全体で正確に前回の場所から再開できます。
このC++ Academyレッスンでコードを書いて実行できますか？
はい。すべてのC++ Academyレッスンに組み込みコードエディタが含まれているため、ブラウザでリアルコードを書いて実行し、即座のAIフィードバックを取得できます。ローカル設定は不要です。