C++ 类模板实战指南：编写灵活的类型无关代码

C++ 类模板实战指南

本教程通过清晰的真实案例，讲解如何利用 C++ 类模板编写灵活、类型无关的泛型代码。

模板是 C++ 泛型编程基石。它们让你创建可复用组件，适配任意数据类型，提升代码清晰度并减少重复。C++ 提供两种模板：函数模板和类模板。

• 函数模板
• 类模板

类模板让你定义单个类适配多种数据类型，不仅缩短代码，还简化维护。

声明类模板

类模板以 template 关键字开始，后跟尖括号包裹的模板参数列表，随后是类定义：

template <class T>
class MyClass {
private:
    T var;
public:
    T getVar() const;
};

T 为占位符，实例化时替换为具体类型。class 可替换为 typename，语义相同。

实例化类模板

模板定义后，指定类型创建对象：

MyClass<int> intObj;
MyClass<float> floatObj;
MyClass<std::string> stringObj;

每次实例化在编译期生成针对指定类型的具体类。

示例 1：通用数值包装器

#include <iostream>
using namespace std;

// 存储任意类型单值的类模板
template <class T>
class Number {
private:
    T value;
public:
    Number(T v) : value(v) {}
    T getValue() const { return value; }
};

int main() {
    Number<int> intNum(7);
    Number<double> doubleNum(7.7);
    cout << "int Number = " << intNum.getValue() << endl;
    cout << "double Number = " << doubleNum.getValue() << endl;
    return 0;
}

输出

int Number = 7
double Number = 7.7

模板参数 T 用于成员变量、构造函数参数和返回类型，使类适配任意类型。

类外定义成员函数

成员函数较大或跨特化共享时，可在类外定义：

template <class T>
class Sample {
public:
    T identity();
};

// 类外定义
template <class T>
T Sample<T>::identity() {
    return static_cast<T>(1);
}

注意类外定义前需重复 template<class T> 声明。

示例 2：基于类模板的计算器

#include <iostream>
using namespace std;

template <class T>
class Calculator {
private:
    T a, b;
public:
    Calculator(T x, T y) : a(x), b(y) {}
    T add() const { return a + b; }
    T subtract() const { return a - b; }
    T multiply() const { return a * b; }
    T divide() const { return a / b; }
    void display() const {
        cout << "a: " << a << ", b: " << b << endl;
        cout << "a + b = " << add() << endl;
        cout << "a - b = " << subtract() << endl;
        cout << "a * b = " << multiply() << endl;
        cout << "a / b = " << divide() << endl;
    }
};

int main() {
    Calculator<int> intCalc(2, 1);
    Calculator<float> floatCalc(2.4f, 1.2f);
    cout << "Int results:\n";
    intCalc.display();
    cout << "\nFloat results:\n";
    floatCalc.display();
    return 0;
}

输出

Int results:
a: 2, b: 1
a + b = 3
a - b = 1
a * b = 2
a / b = 2
Float results:
a: 2.4, b: 1.2
a + b = 3.6
a - b = 1.2
a * b = 2.88
a / b = 2

多参数模板与默认类型

类模板可接受多个参数，并提供默认类型：

template <class T, class U, class V = int>
class MultiParam {
    T first;
    U second;
    V third;
};

示例 3：多参数模板

#include <iostream>
using namespace std;

template <class T, class U, class V = char>
class ClassTemplate {
private:
    T var1;
    U var2;
    V var3;
public:
    ClassTemplate(T v1, U v2, V v3) : var1(v1), var2(v2), var3(v3) {}
    void print() const {
        cout << "var1 = " << var1 << endl;
        cout << "var2 = " << var2 << endl;
        cout << "var3 = " << var3 << endl;
    }
};

int main() {
    ClassTemplate<int, double> obj1(7, 7.7, 'c');
    cout << "obj1 values:\n";
    obj1.print();
    ClassTemplate<double, char, bool> obj2(8.8, 'a', false);
    cout << "\nobj2 values:\n";
    obj2.print();
    return 0;
}

输出

obj1 values:
var1 = 7
var2 = 7.7
var3 = c
obj2 values:
var1 = 8.8
var2 = a
var3 = 0

第三个模板参数默认为 char，obj2 显式指定为 bool 覆盖默认值。