【C++】泛型编程 ① ( 函数模板 | 函数模板概念 | 函数模板意义 | 函数模板定义语法 | 函数模板调用语法 | 显式类型调用 | 自动类型推导 )

柔情只为你懂 2024-02-18 10:19 37阅读 0赞

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

*  一、函数模板简介
 *   *  1、函数模板概念
     *  2、函数模板意义
 *  二、函数模板语法
 *   *  1、函数模板定义语法
     *  2、函数模板调用语法
 *  三、函数模板代码示例
 *   *  1、代码示例
     *  2、执行结果
 *  四、函数模板代码示例 - 声明多个泛型的情况
 *   *  1、代码示例
     *  2、执行结果

## 一、函数模板简介 ##

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

### 1、函数模板概念 ###

在 C++ 语言中 , 泛型编程 的 核心就是 函数模板 和 类模板 ;

函数模板 Function Template 是 C++ 语言 中的 重要特性 ;

**函数模板概念 :**

建立一个 " 通用函数 " , 不指定该函数的 函数返回值类型 和 函数参数类型 ,

仅使用 " 虚拟类型 " 代表 上述 两种类型 ,

该 " 通用函数 " 就是 " 函数模板 " ;

### 2、函数模板意义 ###

如果 函数的 函数体 相同的 函数 , 只是 参数类型 不同 ,

这种情况下 , 可以 使用 " 函数模板 " 替代 定义 " 多个函数参数类型不同 且 函数体相同 的函数 " ;

只需要 定义一个 " 函数模板 " , 传入不同类型的参数 , 返回不同类型的结果 ;

调用 函数模板 时 根据传递的 参数类型 来生成对应的具体函数实现 , 根据 实际实参类型 取代 形参的虚拟类型 , 从而实现不同的函数功能 ;

函数模板 可以 提高代码的 复用性 和 灵活性 ;

## 二、函数模板语法 ##

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

### 1、函数模板定义语法 ###

**函数模板语法 :**

*  **① 定义泛型 :** 使用 template 关键字 , 告诉 C++ 编译器 开始使用 泛型编程 , 定义的 T 是泛型类型 ;

template <类型形式参数列表>
    template <typename T>
    template <typename T, typename T1, typename T2>
    template <class T>
    template <class T, class T1, class T2>

在 类型形式参数列表 中 , 定义 函数模板 中需要用到的 泛型 , 格式如下 :

typename T, typename T1, typename T2 ...

也可以使用

class T, class T1, class T2...

一般情况下使用的是 前者 ;

*  **② 定义函数模板 :** 编写 函数 , 参数的 返回值类型 或 参数类型 , 可以 使用之前使用 template 定义的泛型 进行替换 , 如下示例 :

// 定义函数模板 add
    T add(T a, T b) {
        
    	return a + b;
    }

### 2、函数模板调用语法 ###

**函数模板调用 分为 两种情况 :**

*  **显式类型 调用 ;**
 *  **自动类型 推导 ;**

**显式类型 调用** , 需要 在 函数名称 后 的 尖括号内 , 显式说明 泛型类型 ;

此处 T 类型为 int 类型 , 这里在 add 函数名后 , 使用 <int> 说明 泛型类型 ;

int a = 10, b = 20;
    	// 调用函数模板
    	// 函数模板 显式类型调用
    	int c = add<int>(a, b);

如果 在 使用 template 关键字 声明 泛型时 , 指定了多个泛型 , 可以只使用其中的部分类型 ,

// 使用 template 关键字 
    // 告诉 C++ 编译器 开始使用 泛型编程 
    // 定义的 T 是泛型类型 
    // 声明了多个泛型, 可以只使用其中的部分类型
    // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型
    template <typename T, typename X>

使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 ;

虽然只使用了 泛型 T , 没有使用泛型 X , 但是 在 显式类型调用时 , 必须指定所有的类型 ;

int a = 10, b = 20;
    	// 调用函数模板
    	// 函数模板 显式类型调用
    	int c = add<int, bool>(a, b);

**自动类型 推导** : 该用法不常用 , 调用 函数模板 时 , 直接传入参数 , 不 显式声明 泛型类型 , 让 C++ 编译器自动推导泛型类型 ;

double x = 30.0, y = 40.0;
    	// 调用函数模板
    	// 函数模板 自动类型推导
    	double z = add(x, y);

## 三、函数模板代码示例 ##

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

### 1、代码示例 ###

#include "iostream"
    using namespace std; 
    
    // 使用 template 关键字 
    // 告诉 C++ 编译器 开始使用 泛型编程 
    // 定义的 T 是泛型类型 
    template <typename T>
    
    // 定义函数模板 add
    T add(T a, T b) {
        
    	return a + b;
    }
    
    int main() {
        
    
    	int a = 10, b = 20;
    	// 调用函数模板
    	// 函数模板 显式类型调用
    	int c = add<int>(a, b);
    	cout << "c = " << c << endl;
    
    	double x = 30.0, y = 40.0;
    	// 调用函数模板
    	// 函数模板 自动类型推导
    	double z = add(x, y);
    	cout << "z = " << z << endl;
    	
    	// 控制台暂停 , 按任意键继续向后执行
    	system("pause");
    
    	return 0;
    }

### 2、执行结果 ###

**执行结果 :**

c = 30  
z = 70  
Press any key to continue . . .

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

## 四、函数模板代码示例 - 声明多个泛型的情况 ##

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

### 1、代码示例 ###

#include "iostream"
    using namespace std; 
    
    // 使用 template 关键字 
    // 告诉 C++ 编译器 开始使用 泛型编程 
    // 定义的 T 是泛型类型 
    // 声明了多个泛型, 可以只使用其中的部分类型
    // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型
    template <typename T, typename X>
    
    // 定义函数模板 add
    T add(T a, T b) {
        
    	return a + b;
    }
    
    int main() {
        
    
    	int a = 10, b = 20;
    	// 调用函数模板
    	// 函数模板 显式类型调用
    	int c = add<int, double>(a, b);
    	cout << "c = " << c << endl;
    
    	double x = 30.0, y = 40.0;
    	// 调用函数模板
    	// 函数模板 自动类型推导
    	double z = add<int, double>(x, y);
    	cout << "z = " << z << endl;
    	
    	// 控制台暂停 , 按任意键继续向后执行
    	system("pause");
    
    	return 0;
    }

### 2、执行结果 ###

**执行结果 :**

c = 30  
z = 70  
Press any key to continue . . .

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

[bdd2f402455b40968530764b00ee58a9.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/18/2ec1e1f260c6427a9691958a39727a6e.png
[1a42758d9c1e491cb2dc72ae45edc045.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/02/18/4f6aec39b4904197aaf7fdc790395f07.png