c++类模板详解

C++类模板是C++泛型编程的重要特性之一，允许类定义中的数据类型在实例化时指定，从而实现代码的重用和灵活性。类模板可以用来创建通用的类，而不必针对每种可能的数据类型编写单独的类。

类模板的定义
类模板的基本定义语法如下：

template <typename T>
class ClassName {
    // 类的成员定义
};

其中，T 是类型参数，表示类模板可以处理任何类型。在类定义中，所有出现 T 的地方将由实例化时传递的具体类型替换。

类模板的成员函数
类模板可以有成员函数，与普通类的成员函数一样。成员函数的定义可以在类内或类外进行。类外定义时需要指定模板参数。

类内定义示例

template <typename T>
class MyClass {
public:
    MyClass(T val) : value(val) {}

    void display() const {
        std::cout << "Value: " << value << std::endl;
    }

private:
    T value;
};

int main() {
    MyClass<int> intObj(42);
    intObj.display();

    MyClass<std::string> stringObj("Hello, World!");
    stringObj.display();

    return 0;
}

类外定义示例

template <typename T>
class MyClass {
public:
    MyClass(T val);

    void display() const;

private:
    T value;
};

template <typename T>
MyClass<T>::MyClass(T val) : value(val) {}

template <typename T>
void MyClass<T>::display() const {
    std::cout << "Value: " << value << std::endl;
}

int main() {
    MyClass<int> intObj(42);
    intObj.display();

    MyClass<std::string> stringObj("Hello, World!");
    stringObj.display();

    return 0;
}

多个模板参数
类模板可以有多个模板参数，用逗号分隔。

示例

template <typename T1, typename T2>
class Pair {
public:
    Pair(T1 first, T2 second) : firstElement(first), secondElement(second) {}

    void display() const {
        std::cout << "First: " << firstElement << ", Second: " << secondElement << std::endl;
    }

private:
    T1 firstElement;
    T2 secondElement;
};

int main() {
    Pair<int, double> p1(1, 2.5);
    p1.display();

    Pair<std::string, char> p2("Hello", 'A');
    p2.display();

    return 0;
}

默认模板参数
类模板参数可以有默认值。如果实例化时未指定模板参数，则使用默认值。

示例

template <typename T = int>
class DefaultType {
public:
    DefaultType(T val) : value(val) {}

    void display() const {
        std::cout << "Value: " << value << std::endl;
    }

private:
    T value;
};

int main() {
    DefaultType<> obj1(42); // 使用默认类型 int
    obj1.display();

    DefaultType<double> obj2(3.14); // 使用指定类型 double
    obj2.display();

    return 0;
}

模板类的继承
模板类可以被其他模板类或非模板类继承。在继承过程中，派生类需要明确基类的模板参数。

示例

template <typename T>
class Base {
public:
    Base(T val) : value(val) {}

    void display() const {
        std::cout << "Base value: " << value << std::endl;
    }

protected:
    T value;
};

template <typename T>
class Derived : public Base<T> {
public:
    Derived(T val, T extra) : Base<T>(val), extraValue(extra) {}

    void display() const {
        Base<T>::display();
        std::cout << "Derived extra value: " << extraValue << std::endl;
    }

private:
    T extraValue;
};

int main() {
    Derived<int> obj(42, 100);
    obj.display();

    return 0;
}

类模板的实例化
类模板在使用时需要实例化，实例化时必须指定模板参数，除非参数有默认值。

示例

template <typename T>
class MyClass {
public:
    MyClass(T val) : value(val) {}

    void display() const {
        std::cout << "Value: " << value << std::endl;
    }

private:
    T value;
};

int main() {
    MyClass<int> intObj(42);          // 实例化模板类，指定模板参数为 int
    MyClass<std::string> stringObj("Hello, World!"); // 实例化模板类，指定模板参数为 std::string

    intObj.display();
    stringObj.display();

    return 0;
}

类模板的部分特化
类模板的部分特化允许为特定的模板参数组合提供不同的实现。这在处理某些特定类型时非常有用。

示例

template <typename T1, typename T2>
class Pair {
public:
    Pair(T1 first, T2 second) : firstElement(first), secondElement(second) {}

    void display() const {
        std::cout << "First: " << firstElement << ", Second: " << secondElement << std::endl;
    }

private:
    T1 firstElement;
    T2 secondElement;
};

// 部分特化，当两个模板参数类型相同时
template <typename T>
class Pair<T, T> {
public:
    Pair(T first, T second) : firstElement(first), secondElement(second) {}

    void display() const {
        std::cout << "Elements are the same: " << firstElement << std::endl;
    }

private:
    T firstElement;
    T secondElement;
};

int main() {
    Pair<int, double> p1(1, 2.5);
    p1.display();

    Pair<std::string, std::string> p2("Hello", "World");
    p2.display();

    return 0;
}

总结
C++类模板是一个强大的工具，使得代码可以在不同类型之间重用。通过理解类模板的定义、成员函数、多个模板参数、默认模板参数、继承、实例化和部分特化，开发者可以编写更加通用和灵活的代码，提升软件的可维护性和可扩展性。