一、类模板基础用法

---

1、类模板声明定义

上一篇博客中 , 【C++】泛型编程 ⑥ ( 类模板 | 类模板语法 | 代码示例 ) 讲解了模板类的基础语法 , 模板类声明如下 :

// 声明类模板
template <typename T>
class MyClass {
public:
    T value;
    MyClass(T val) : value(val) {}
    void printValue() {
        std::cout << value << std::endl;
    }
};

2、类模板使用

模板类声明后 ,

// 声明类模板
template <typename T>
class MyClass {
public:
    T value;
    MyClass(T val) : value(val) {}
    void printValue() {
        std::cout << value << std::endl;
    }
};

使用 模板类 创建 实例对象时 ,

首先 , 要进行 具体类型 初始化 , 该操作就是在 模板类 后面的 尖括号中 , 注明 泛型类型 ;

MyClass<int>

此时 , 注明 泛型类型后 , 就会生成 具体的类 ;

然后 , 使用 具体的类 , 定义 具体的 变量 ;

MyClass<int> myInt(10);

3、类模板做函数参数

类模板 作为函数参数 , 形参 必须是具体类型 , 也就是 类模板 的泛型类型必须声注明 ;

下面的 fun 函数中 , 接收模板类作为参数 , 模板类的 泛型类型 需要被注明 ;

// 类模板对象作为函数参数
// 形参必须是具体类型
// 类模板的泛型类型必须声注明
void fun(MyClass<int> &a)
{
    a.printValue();
}

如果不指定 泛型类型 , 会报错 error C2955: “MyClass”: 使用 类 模板 需要 模板 参数列表 错误 ;

1>------ 已启动生成: 项目: HelloWorld, 配置: Debug Win32 ------
1>Test.cpp
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(18,18): error C2955: “MyClass”: 使用 类 模板 需要 模板 参数列表
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(6): message : 参见“MyClass”的声明
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(20,18): error C2662: “void MyClass<T>::printValue(void)”: 不能将“this”指针从“MyClass”转换为“MyClass<T> &”
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(20,18): message : 原因如下: 无法从“MyClass”转换为“MyClass<T>”
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(20,5): message : 转换要求第二个用户定义的转换运算符或构造函数
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(10,10): message : 参见“MyClass<T>::printValue”的声明
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(39,15): error C2664: “void fun(MyClass &)”: 无法将参数 1 从“MyClass<int>”转换为“MyClass &”
1>Y:\002_WorkSpace\002_VS\HelloWorld\HelloWorld\Test.cpp(18,6): message : 参见“fun”的声明
1>已完成生成项目“HelloWorld.vcxproj”的操作 - 失败。
========== 生成: 成功 0 个，失败 1 个，最新 0 个，跳过 0 个 ==========

二、完整代码示例

---

1、代码示例

下面的示例中是一个 C++ 模板类 MyClass 的定义 ; 这个类可以接受一个类型参数T , 并创建一个具有该类型的成员变量的对象 ;

MyClass是一个模板类 , 该模板类 接受一个 泛型类型参数T , 泛型类型参数 T 在类中的许多地方都会用到 , 在类体中定义了一个 T 类型的成员变量 value , 以及一个接受T类型参数的构造函数 , 在printValue函数中 , 打印 value 的值 ;

template <typename T> 是模板声明 , 告诉编译器我们将在后面定义一个类模板 , 其中T是一个类型参数 ;

在类模板中 , 所有使用T的地方都可以被任何类型替换 ;

MyClass<int> myInt(10); 中的 <int> 是模板参数 , 表示这个类的类型参数是 int ;

myInt(10) 是创建了一个 MyClass<int> 的实例对象 , 并使用 (10) 进行初始化 ;

#include "iostream"
using namespace std;

// 声明类模板
template <typename T>
class MyClass {
public:
    T value;
    MyClass(T val) : value(val) {}
    void printValue() {
        std::cout << value << std::endl;
    }
};

// 类模板对象作为函数参数
// 形参必须是具体类型
// 类模板的泛型类型必须声注明
void fun(MyClass<int> &a)
{
    a.printValue();
}

int main() {

    // 调用类模板 

    MyClass<int> myInt(10);         // 创建一个 int 类型的实例  
    myInt.printValue(); 	        // 输出：10  

    MyClass<double> myDouble(10.0); // 创建一个 double 类型的实例  
    myDouble.printValue(); 		    // 输出：10  

    MyClass<string> myStr("hello"); // 创建一个 string 类型的实例  
    myStr.printValue();             // 输出：hello


    // 类模板作为 函数参数
    MyClass<int> myInt2(88);
    fun(myInt2);

	return 0;
}

2、执行结果

执行结果 :

10
10
hello
88