【C++】泛型编程 ⑦ ( 类模板常用用法 | 类模板声明 | 类模板调用 | 类模板作为函数参数 )

一时失言乱红尘 2024-02-18 12:12 58阅读 0赞

#### 文章目录 ####

*  一、类模板基础用法
 *   *  1、类模板声明定义
     *  2、类模板使用
     *  3、类模板做函数参数
 *  二、完整代码示例
 *   *  1、代码示例
     *  2、执行结果

## 一、类模板基础用法 ##

--------------------

### 1、类模板声明定义 ###

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

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

### 2、类模板使用 ###

模板类声明后 ,

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

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

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

![在这里插入图片描述][b7cd22a0c5204d4c8d5694a872a2987a.png]

[C_ _ _ _ _ _ _ _]: https://blog.csdn.net/shulianghan/article/details/134473741?spm=1001.2014.3001.5501
[b7cd22a0c5204d4c8d5694a872a2987a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/18/fbd769d3adfe4c19be21f6bc63abfd22.png