C++之函数模板

概述

函数模板是一种强大的工具，它允许在不明确具体参数类型的情况下定义和使用函数。通过模板，开发者可以编写适用于不同数据类型的函数，从而提高代码的灵活性和复用性。

创建函数模板

模板函数的基本结构如下：

template 
   
     void func(T a) {}

template 是关键字，用于标记这是一个模板函数。

<class T> 用于定义模板参数 T 的类型。class 关键字后可替换为 typename，更符合现代C++的习惯。

void func(T a) 是模板函数的具体实现，它接收一个 T 类型的参数 a。

使用方式

自动推导

当函数被调用时，参数的类型会自动被推导出来。例如：

int a = 19;int b = 45;mySwap(a, b);

这里 mySwap 会自动推导出两个参数都是 int。

显式指定类型

也可以通过在调用时明确指定类型：

mySwap
    
     (a, b); // T 被指定为 int

代码示例

以下是一个使用模板函数的示例：

// 定义模板函数template 
   
    void printArray(T* array, int size);// 在 .cpp 中实现#include "Template.h"Template::Template(QWidget* parent)     : QMainWindow(parent) {    // ...    printArray(Array, max);    printArray(fArray, max);    printArray(cArray, max);}

template 
   
    void Template::printArray(T* array, int size) {    for (int i = 0; i < size; i++) {        qDebug() << array[i];    }}

通过这种方式，我们可以轻松地支持多种数据类型，如 int、float 和 const char*。

模板注意事项

类型推导要求一致：模板函数的类型推导必须统一，否则会导致编译错误。

类型确定前使用模板：在使用模板函数之前，必须确定 T 的具体类型。

支持模板函数重载：一个名为和参数列表不同的模板函数可以进行重载。

避免自定义类型使用模板：对于非标准的用户定义类型（如反射或动态数组），使用模板可能会带来问题。

##普通函数与模板函数的区别

隐式类型转换：普通函数可以进行隐式类型转换。

显式类型声明：模板函数采用显式类型推导，不允许隐式类型转换。

显式类型指定：可以通过显示指定模板参数类型来调用模板函数。

调用规则

优先调用普通函数：当函数名对应的普通函数和模板函数都有实现时，编译器会优先选择普通函数。

空模板参数：可以通过空模板参数列表以强制调用特定版本的模板函数。

模板函数可以重载：不同版本的模板可以通过重载来支持不同的参数类型。

更优的匹配优先：如果模板函数能更好地匹配调用，会优先于其他函数选择。

强制调用模板函数

要确保使用特定的模板版本，可以使用以下方式：

#include 
   
    using namespace std;void myfunction(int a, int b) {    cout << "普通函数调用！" << endl;}template 
    
     void myfunction(t a, t b) {    cout << "模板函数调用！" << endl;}void test00() {    int a = 10;    int b = 90;    myfunction(a, b);    myfunction
     
      (a, b);}int main() {    test00();    return 0;}

通过这种方式，我们可以对特定的模板版本进行强制调用，确保代码在不同场景下的正确性。