template <typename T>
T max(T a, T b) {
    return (a > b) ? a : b;
}

int x = max(3, 5);        // T 推导为 int
double y = max(2.5, 3.1); // T 推导为 double

char c = max<char>('a', 'z');

template <typename T, typename U>
U convert_and_print(T input) {
    U result = static_cast<U>(input);
    std::cout << "Converted " << input 
              << " to " << result << std::endl;
    return result;
}

convert_and_print<int, double>(42); // int 转 double

template <typename T, int N>
class Array {
private:
    T data[N];
public:
    T& operator[](int index) { return data[index]; }
    int size() const { return N; }
};

Array<int, 10> intArray;
Array<double, 5> doubleArray;

intArray[0] = 100;
std::cout << intArray[0] << std::endl;
std::cout << "Size: " << intArray.size() << std::endl;

template <typename T>
class Box {
    T value;
public:
    Box(T v) : value(v) {}

    template <typename Converter>
    auto convert_to() const {
        return static_cast<Converter>(value);
    }
};
</font>

使用方式：

Box<int> box(100);
double d = box.convert_to<double&gt(); // 转为 double

常见注意事项

模板代码必须在头文件中定义，因为编译器需要在编译时看到完整的模板实现才能实例化。

模板不能分离声明和定义到.h与.cpp中（除非使用显式实例化）。

模板支持特化，即为特定类型提供定制实现：

template<>
class Box<bool> {
    // 为 bool 类型单独设计的实现
};

基本上就这些。掌握模板函数和模板类，就能写出高效、可复用的泛型代码。关键是理解类型推导机制和编译时实例化过程。实际开发中STL大量使用模板，理解它们有助于更好地使用标准库。