【C++】泛型编程与模板

泛型编程

C++支持的泛型编程(Generic Programming)是一种编程范式,它允许在编写代码时使用抽象的数据类型,而不是具体的数据类型。这使得代码更加灵活、可重用,并能适应不同的数据类型,而无需为每种数据类型编写单独的代码。

泛型编程的主要特点包括:

  1. 类型参数化:通过使用类型参数,可以编写适用于各种数据类型的代码,而无需显式指定具体的类型。
  2. 代码重用:泛型允许编写一次代码,并在不同的上下文中重复使用,从而提高了代码的可重用性和可维护性。
  3. 类型安全:泛型在编译时进行类型检查,确保类型的正确性,减少了运行时错误的可能性。
  4. 性能优化:泛型代码在编译时会进行类型擦除或者代码专门化,生成针对具体类型优化的代码,从而获得更好的性能。

下面举几个交换函数的例子:

void Swap(int& left, int& right)
{
    int temp = left;
    left = right;
    right = temp;
}

void Swap(double& left, double& right)
{
    double temp = left;
    left = right;
    right = temp;
}

void Swap(char& left, char& right)
{
    char temp = left;
    left = right;
    right = temp;
}

这几个Swap要实现的功能都是一样的,即交换两个数的值,但如果我们不使用函数重载或者是函数模板,代码量就会增加很多,但我们一般会用用函数模板。

这是因为使用函数重载虽然可以实现,但是有一下几个不好的地方:

  1. 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数
  2. 代码的可维护性比较低,一个出错可能所有的重载均出错

下面要说到的模板就是泛型编程的基础


模板简介

C++ 模板(Template)是 C++ 语言提供的一种泛型编程机制,允许编写独立于具体数据类型的代码。模板可以用于函数和类,分别称为函数模板和类模板。

一. 函数模板

函数模板允许定义一个通用的函数,该函数可以适用于不同的数据类型,而无需为每种类型编写单独的函数。函数模板使用类型参数来表示通用的数据类型。

函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

它的格式如下:

template<typename T1, typename T2,......,typename Tn>

返回值类型 函数名(参数列表){}

比如上面提到的交换函数:

template<typename T>
void Swap(T& left, T& right)
{
    T temp = left;
    left = right;
    right = temp;
}

➡️注意:typename 是用来定义模板参数关键字,也可以使用 class(切记:不能使用struct代替class)


1. 函数模板的实例化

函数模板的实例化是指根据实际的函数调用,编译器自动生成具体类型的函数定义的过程。当使用函数模板时,编译器会根据传入的实参类型,自动推导模板参数的实际类型,并生成对应的函数定义。

函数模板实例化的过程如下:

  1. 定义函数模板:使用template关键字定义一个通用的函数模板,其中使用一个或多个类型参数作为占位符。
  2. 调用函数模板:在代码中调用函数模板,并传入具体的实参。
  3. 编译器推导模板参数:编译器根据传入的实参类型,自动推导出模板参数的实际类型。
  4. 生成具体函数定义:编译器根据推导出的实际类型,生成对应的函数定义,即将模板参数替换为实际类型。
  5. 编译和链接:编译器将生成的具体函数定义编译为目标代码,并与其他代码一起链接生成可执行文件。

模板参数实例化分为:隐式实例化和显式实例化。

Ⅰ. 隐式实例化

  让编译器根据实参推演模板参数的实际类型

template <typename T>
void print(T value) {
    cout << value << endl;
}

int main() {
    int num = 42;
    double pi = 3.14;
    
    print(num);  // 编译器根据 num 的类型 int 自动生成 print<int>(int) 的函数定义
    print(pi);   // 编译器根据 pi 的类型 double 生成 print<double>(double) 的函数定义。
    
    return 0;
}
Ⅱ. 显式实例化

在函数名后的 <> 中指定模板参数的实际类型

template <typename T>
void print(T value) {
    cout << value << endl;
}

int main() {
    int num = 42;
    double pi = 3.14;
    
    print<int>(num); 
    print<double>(pi);   
    
    return 0;
}

 需要注意的是:如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成功编译器将会报错。


2. 函数模板与普通函数的调用/匹配规则

有以下几点:

  1. 如果函数模板和普通函数都可以调用,会优先调用普通函数
  2. 通过空模板参数列表可以强制调用函数模板
// 专门处理int的加法函数
int Add(int left, int right)
{
    return left + right;
}

// 通用加法函数
template<class T>
T Add(T left, T right)
{
    return left + right;
}

void Test()
{
    Add(1, 2); // 与非模板函数匹配,编译器不需要特化
    Add<>(1, 2); // 调用编译器特化的Add版本
}

     3. 函数模板也可以发生函数重载

     4. 如果函数模板可以产生更好的匹配,会优先调用函数模板

👉所以说,提供了函数模板时,最好不要再提供普通函数。


二. 类模板

类模板允许程序员编写通用的类定义。通过使用类模板,可以创建适用于多种数据类型的类,而无需为每种数据类型编写单独的类定义。

类模板的主要特点包括:

  1. 参数化类型:类模板可以接受一个或多个类型参数,这些参数在类定义中用作占位符。在实例化类模板时,需要提供具体的类型参数。
  2. 代码重用:通过使用类模板,可以编写适用于各种数据类型的通用代码,避免了代码重复。
  3. 编译时多态:类模板在编译时进行实例化,根据提供的类型参数生成具体的类定义。这种多态性在编译时确定,不会带来运行时开销。

它的格式如下:

template<class T1, class T2, ..., class Tn>
class 类模板名
{
    // 类内成员定义
};

下面是一个简单的示例:

template <class T>
class Stack {        // Stack 是一个类模板,接受一个类型参数 T
private:             // 通过使用 T 作为数据类型,Stack 类模板可以适用于各种数据类型,如 int 等
    T* data;
    int size;
    int capacity;

public:
    Stack(int cap = 10) : data(new T[cap]), size(0), capacity(cap) {}
    
    // 析构
    ~Stack() {
        delete[] data; 
    }
    // 插入
    void push(const T& item) {
        if (size == capacity) {
            // 扩容操作
        }
        data[size++] = item;
    }
    
    T pop() {
        if (size == 0) {
            // 处理栈为空的情况
        }
        return data[--size];
    }

    // 其他成员函数...
};

类模板的实例化

类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。

Stack<int> intStack;

Stack<double> doubleStack;

Stack<std::string> stringStack;

  • 17
    点赞
  • 20
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值