[C++] テンプレートのインスタンス化方法と実例

#include <iostream>
using namespace std;
// 関数テンプレートの定義
template <typename T>
T add(T a, T b) {
    return a + b; // 引数を加算して返す
}
int main() {
    // int型のインスタンス化
    int intResult = add(3, 5);
    cout << "int型の加算結果: " << intResult << endl;
    // double型のインスタンス化
    double doubleResult = add(2.5, 3.7);
    cout << "double型の加算結果: " << doubleResult << endl;
    return 0;
}

int型の加算結果: 8
double型の加算結果: 6.2

#include <iostream>
#include <vector>
using namespace std;
// クラステンプレートの定義
template <typename T>
class Stack {
private:
    vector<T> elements; // 要素を格納するベクター
public:
    void push(const T& element) {
        elements.push_back(element); // 要素を追加
    }
    void pop() {
        if (!elements.empty()) {
            elements.pop_back(); // 最後の要素を削除
        }
    }
    T top() const {
        return elements.back(); // 最後の要素を返す
    }
    bool isEmpty() const {
        return elements.empty(); // スタックが空かどうかを返す
    }
};
int main() {
    // int型のスタックのインスタンス化
    Stack<int> intStack;
    intStack.push(1);
    intStack.push(2);
    cout << "int型スタックのトップ: " << intStack.top() << endl; // 2を出力
    // double型のスタックのインスタンス化
    Stack<double> doubleStack;
    doubleStack.push(3.14);
    doubleStack.push(2.71);
    cout << "double型スタックのトップ: " << doubleStack.top() << endl; // 2.71を出力
    return 0;
}

int型スタックのトップ: 2
double型スタックのトップ: 2.71

#include <iostream>
using namespace std;
// 関数テンプレートの定義
template <typename T>
void printType(T value) {
    cout << "一般的な型: " << typeid(value).name() << endl; // 一般的な型を表示
}
// 完全特殊化
template <>
void printType<int>(int value) {
    cout << "特殊化された型: int, 値: " << value << endl; // int型の特殊化
}
int main() {
    printType(3.14); // 一般的な型を表示
    printType(42);   // int型の特殊化を表示
    return 0;
}

一般的な型: d
特殊化された型: int, 値: 42

#include <iostream>
using namespace std;
// クラステンプレートの定義
template <typename T, typename U>
class Pair {
public:
    T first;
    U second;
    Pair(T a, U b) : first(a), second(b) {}
    void print() {
        cout << "一般的なペア: (" << first << ", " << second << ")" << endl;
    }
};
// 部分特殊化
template <typename U>
class Pair<int, U> {
public:
    int first;
    U second;
    Pair(int a, U b) : first(a), second(b) {}
    void print() {
        cout << "特殊化されたペア: (" << first << ", " << second << ")" << endl;
    }
};
int main() {
    Pair<double, string> generalPair(3.14, "Hello");
    generalPair.print(); // 一般的なペアを表示
    Pair<int, string> specializedPair(42, "World");
    specializedPair.print(); // 特殊化されたペアを表示
    return 0;
}

一般的なペア: (3.14, Hello)
特殊化されたペア: (42, World)