C++模板編程是一種強大的編程技巧，它允許程序員在編譯時執行泛型編程。模板可以用于創建泛型函數和類，這意味著這些函數和類可以處理多種數據類型，而無需為每種數據類型編寫單獨的代碼。C++模板編程的主要功能包括：

1. 泛型編程：模板允許你編寫與數據類型無關的代碼，從而提高代碼的復用性和可維護性。

2. 性能優化：由于模板在編譯時展開，因此它們可以減少運行時的類型檢查和轉換開銷，從而提高程序的性能。

3. 類型安全：模板在編譯時檢查類型，這有助于捕獲類型錯誤，從而提高代碼的安全性。

4. STL（標準模板庫）：C++標準庫提供了大量的模板類和函數，如向量、列表、集合、算法等，這些工具和庫可以幫助你更輕松地編寫高效、可擴展的代碼。

以下是一些C++模板編程的示例：

1. 泛型函數

#include <iostream>

template <typename T>
T add(T a, T b) {
    return a + b;
}

int main() {
    int x = 3, y = 4;
    double p = 3.5, q = 4.5;

    std::cout << "x + y = " << add(x, y) << std::endl;
    std::cout << "p + q = " << add(p, q) << std::endl;

    return 0;
}

2. 泛型類

#include <iostream>

template <typename T>
class MyPair {
public:
    MyPair(T a, T b) : first(a), second(b) {}

    T getSum() {
        return first + second;
    }

private:
    T first, second;
};

int main() {
    MyPair<int> intPair(3, 4);
    MyPair<double> doublePair(3.5, 4.5);

    std::cout << "intPair sum = " << intPair.getSum() << std::endl;
    std::cout << "doublePair sum = " << doublePair.getSum() << std::endl;

    return 0;
}

3. 模板特化

#include <iostream>

template <typename T>
T add(T a, T b) {
    return a + b;
}

// 特化版本，用于處理浮點數
template <>
float add<float>(float a, float b) {
    return a + b;
}

int main() {
    int x = 3, y = 4;
    float p = 3.5f, q = 4.5f;

    std::cout << "x + y = " << add(x, y) << std::endl;
    std::cout << "p + q = " << add(p, q) << std::endl;

    return 0;
}

通過使用C++模板編程，你可以編寫出更加通用、高效且易于維護的代碼。