c++ template 详解

C++模板(Templates)是一种非常强大的特性,它允许函数和类以参数化的方式进行定义,从而能够在编译时根据实际参数生成具体的类型或函数。模板主要分为两种:函数模板和类模板。下面是详细介绍和示例:

函数模板
函数模板允许你编写独立于特定类型的函数,模板参数会在调用函数时由编译器推导。

示例

#include <iostream>
using namespace std;

// 函数模板
template <typename T>
T add(T a, T b) {
    return a + b;
}

int main() {
    cout << add<int>(3, 4) << endl;      // 使用 int 类型实例化模板
    cout << add<double>(3.1, 4.2) << endl; // 使用 double 类型实例化模板
    cout << add(3, 4) << endl;           // 自动推导类型,int
    cout << add(3.1, 4.2) << endl;       // 自动推导类型,double
    return 0;
}

类模板
类模板允许你编写独立于特定类型的类,模板参数会在实例化类时由编译器推导。

示例

#include <iostream>
using namespace std;

// 类模板
template <typename T>
class Box {
private:
    T content;
public:
    Box(T c) : content(c) {}
    void setContent(T c) { content = c; }
    T getContent() { return content; }
};

int main() {
    Box<int> intBox(123);         // 使用 int 类型实例化模板
    Box<string> strBox("Hello");  // 使用 string 类型实例化模板

    cout << intBox.getContent() << endl;
    cout << strBox.getContent() << endl;

    intBox.setContent(456);
    strBox.setContent("World");

    cout << intBox.getContent() << endl;
    cout << strBox.getContent() << endl;

    return 0;
}

非类型模板参数
模板还可以接受非类型参数,例如整数常量、指针、引用等。

示例

#include <iostream>
using namespace std;

// 非类型模板参数
template <typename T, int size>
class Array {
private:
    T arr[size];
public:
    void set(int index, T value) { arr[index] = value; }
    T get(int index) { return arr[index]; }
};

int main() {
    Array<int, 5> intArray;
    for (int i = 0; i < 5; ++i) {
        intArray.set(i, i * 2);
    }

    for (int i = 0; i < 5; ++i) {
        cout << intArray.get(i) << " ";
    }
    cout << endl;

    return 0;
}

模板的特化
模板特化允许你为特定类型或特定条件提供自定义实现。

完全特化
完全特化是为特定类型提供自定义实现。

#include <iostream>
using namespace std;

template <typename T>
class Calculator {
public:
    static T add(T a, T b) { return a + b; }
};

// 为 int 类型特化
template <>
class Calculator<int> {
public:
    static int add(int a, int b) { 
        cout << "Adding integers: ";
        return a + b;
    }
};

int main() {
    cout << Calculator<double>::add(1.1, 2.2) << endl;
    cout << Calculator<int>::add(3, 4) << endl;
    return 0;
}

部分特化
部分特化允许你为某些模板参数提供自定义实现。

**#include <iostream>
using namespace std;
template <typename T, typename U>
class Pair {
public:
    T first;
    U second;
    Pair(T f, U s) : first(f), second(s) {}
};
// 部分特化,当两个类型相同时
template <typename T>
class Pair<T, T> {
public:
    T first;
    T second;
    Pair(T f, T s) : first(f), second(s) {}
};
int main() {
    Pair<int, double> p1(1, 2.2);
    cout << p1.first << ", " << p1.second << endl;
    Pair<int, int> p2(3, 4);
    cout << p2.first << ", " << p2.second << endl;
    return 0;
}**

模板的优点

  • 代码复用:模板允许编写通用代码,提高代码复用性。
  • 类型安全:模板在编译时进行类型检查,确保类型安全。
  • 性能:模板在编译时实例化,没有运行时开销。

模板的缺点

  • 编译时间长:模板代码的编译时间可能较长,因为编译器需要为每个实例生成代码。
  • 错误信息复杂:模板相关的编译错误信息可能较难理解。
  • 代码膨胀:过度使用模板可能导致生成的二进制代码膨胀。

通过使用模板,可以编写更加通用和高效的代码,但也需要注意其潜在的问题和局限。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值