C++ 初识模板

news2024/12/26 23:02:02

目录

0.前言

1.泛型编程

2.函数模板

2.1概念

2.2格式

2.3原理

2.4函数模板的实例化

2.4.1隐式实例化

2.4.2显式实例化

2.5模板参数的匹配原则

3.类模板

3.1类模板的定义格式

3.2类模板的实例化

4.结语

（图像由AI生成） 

0.前言

在 C++ 中，模板是一种强大的编程工具，可以实现泛型编程。泛型编程是一种编程范式，通过在代码中使用参数化类型，使得代码更加通用，可以应用于不同类型的数据。模板可以应用于函数和类，分别称为函数模板和类模板。下面，就让我们开始认识模板，走进泛型编程的世界吧！

1.泛型编程

泛型编程是一种编程范式，旨在通过使用参数化的类型来提高代码的复用性和通用性。这种范式允许程序员编写与类型无关的代码，适用于多种数据类型，从而提高代码效率和质量。

在没有泛型编程的情况下，当我们需要编写一个可以交换两个变量值的 Swap 函数时，很可能需要为每种数据类型编写一个具体的函数。例如，你可能需要为整型、双精度浮点型和字符型分别实现 Swap 函数：

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;
}

这些函数的实现在逻辑上是相同的，唯一的区别在于操作的数据类型不同。这种方式显然不符合 "Don't Repeat Yourself" (DRY) 的原则，因为相同的逻辑被重复写了多次。

为了解决代码重复的问题，并使函数能够处理不同的数据类型，泛型编程被引入。在 C++ 中，这是通过模板来实现的。

泛型编程的核心思想是使用参数化类型，也就是说，在编写函数或类时不指定具体的类型，而是使用一个占位符（类型参数），这个占位符在函数或类被使用时才被替换为实际的类型。这样，上面的三个 Swap 函数可以被一个模板函数取代：

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

这个模板函数可以用于任何数据类型，从基本的数据类型（如 int, double, char）到用户定义的类型。你只需要一次定义，就可以用于多种类型，而不需要为每一种类型重写代码。

下面，就让我们进一步了解函数模板的概念、格式等相关内容。

2.函数模板

2.1概念

函数模板是 C++ 提供的一种工具，用于实现泛型编程。通过函数模板，程序员可以定义一个通用的函数框架，让编译器根据实际传入的参数类型自动生成相应的函数实例。这种方法不仅能够处理不同的数据类型，还可以应对未来可能需要支持的新类型，极大地增强了代码的通用性和灵活性。

函数模板的基本思想是：在编写时不指定具体的数据类型，而是用一个或多个模板参数（模板类型参数）来代替具体类型。当函数被调用时，编译器根据传入的实参自动推导出模板参数的类型，并生成对应类型的函数实例。这个过程称为模板的实例化。

2.2格式

函数模板的定义遵循一定的语法格式。下面是一个基本的函数模板定义的格式：

template <typename T>
ReturnType FunctionName(ParameterType parameter) {
    // 函数体
}

在这个格式中，关键部分如下：

  • template <typename T>：这行代码告诉编译器以下定义是一个模板，其中 T 是一个模板参数，它代表一种数据类型。关键字 typename 可以被 class 替换，二者在这里意义相同，都表示 T 是一个类型占位符。

  • ReturnType：函数的返回类型，它可以是任意类型，包括模板类型参数 T。

  • FunctionName：函数名。这是模板实例化后生成的每个函数的名称。

  • ParameterType parameter：参数列表，参数类型可以是模板类型参数 T，也可以是其他任何具体的类型。参数可以有多个，也可以有不同的类型。

一个实际的函数模板示例如下，它用于返回两个值中的较大者：

template <typename T>
T Max(T a, T b) {
    return (a > b) ? a : b;
}

这个 Max 函数可以用于任何支持比较操作符 > 的数据类型。例如，你可以用它来比较两个整数、两个浮点数，甚至两个字符串。调用示例：

int i = Max(10, 5);           // 实例化一个比较 int 的 Max 函数
double d = Max(5.3, 10.6);    // 实例化一个比较 double 的 Max 函数
std::string s = Max(std::string("apple"), std::string("banana")); // 实例化一个比较 std::string 的 Max 函数

在这些例子中，编译器会自动推导模板参数 T 的具体类型，并生成相应的函数实例。这种自动类型推导和实例化机制使得函数模板非常强大且灵活，是 C++ 泛型编程的核心工具之一。

2.3原理

函数模板的原理涉及到几个关键的概念和编译时的行为，主要包括模板的定义、实例化和类型推导。这些机制共同工作，使得函数模板可以灵活地应用于各种数据类型，同时保持高效的执行速度。

当定义一个函数模板时，你实际上没有生成任何代码。函数模板本身更像是一个蓝图或者配方，指示编译器如何生成具体的函数实例。模板定义包含了所有必要的逻辑，但留给编译器在具体类型确定时才生成代码。

C++11 引入的自动类型推导进一步简化了模板的使用。在调用模板函数时，不必显式指定参数类型，编译器能根据传递的实参自动推导出模板参数的类型。这使得模板函数调用更加简洁，降低了模板使用的复杂性。

在编译时，对于每个通过显式或隐式实例化生成的模板函数，编译器会生成相应类型的函数实体。这意味着，如果你的模板函数被用于三种不同的类型，则编译器将生成三个不同的函数。每个生成的函数都是针对特定类型优化的，这避免了运行时类型检查或转换，从而提高执行效率。

由于模板函数的代码在编译时生成，编译器有机会对生成的代码进行优化，比如内联小型模板函数。内联可以消除函数调用的开销，但同时增加了编译后的代码量。这种权衡是性能优化中常见的考虑。

2.4函数模板的实例化

函数模板的实例化是指从模板生成具体函数代码的过程。这个过程可以是隐式的，由编译器自动根据函数调用的上下文完成；也可以是显式的，由程序员手动指定模板参数。理解这两种实例化方式对于高效地使用函数模板至关重要。

2.4.1隐式实例化

在隐式实例化中，编译器根据模板函数调用时提供的参数类型自动推导出模板参数的具体类型。编译器使用这些具体的类型来生成相应的函数版本。

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

int main() {
    print(123);        // 隐式实例化为 print<int>(int)
    print(3.14);       // 隐式实例化为 print<double>(double)
    print("Hello");    // 隐式实例化为 print<const char*>(const char*)
}

在这个例子中，print 函数模板被三次调用，每次调用都基于传递给函数的实参类型（整数、浮点数和字符串字面值），编译器自动推导出模板参数 T 的类型，并生成对应的函数实例。

2.4.2显式实例化

显式实例化则是程序员直接指定模板参数的具体类型，告诉编译器生成特定类型的模板函数实例。这种方式使得生成的函数类型不依赖于调用时的参数类型，可以用于预先生成特定的模板实例或当模板参数不能被自动推导时使用。

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

// 显式实例化定义
template void print<int>(int);
template void print<double>(double);
template void print<const char*>(const char*);

int main() {
    print(123);        // 使用预先实例化的 print<int>(int)
    print(3.14);       // 使用预先实例化的 print<double>(double)
    print("Hello");    // 使用预先实例化的 print<const char*>(const char*)
}

在这个例子中，print 函数的每种类型实例已经在全局范围内显式实例化。这意味着编译器在遇到这些函数调用时，不需要再进行类型推导和函数实例化，直接使用已经生成的实例。这可以用于优化编译时间，或者在模板的定义与实例化需要在不同编译单元中进行时使用。

2.5模板参数的匹配原则

函数模板的参数匹配是 C++ 中一个复杂但非常强大的特性，特别是当非模板函数和同名的函数模板同时存在时。这里，我们将探讨三个关键的规则，每个规则都将通过代码进行详细解释。

规则 1：非模板函数与同名模板函数的共存

在 C++ 中，一个非模板函数可以与一个同名的函数模板共存，且该模板可以被实例化为与非模板函数具有相同签名的函数。这种情况下，非模板函数被称为模板的显式专用化。

#include <iostream>

// 非模板函数
void print(int x) {
    std::cout << "Non-template function: " << x << std::endl;
}

// 函数模板
template<typename T>
void print(T x) {
    std::cout << "Template function: " << x << std::endl;
}

int main() {
    print(10);   // 调用非模板函数
    print<>(10); // 强制使用模板实例化
}

在这个例子中，print(10) 会调用非模板函数，因为它提供了一个精确的匹配。而 print<>(10) 通过空的尖括号 <> 强制使用模板，即使存在一个非模板的完全匹配。

规则 2：非模板函数的优先级

如果存在同名的非模板函数和函数模板，且它们都可以处理相同的调用，非模板函数通常会被优先选择，因为它提供了一个更为具体的匹配。但是，如果函数模板能够提供一个更好的匹配，则会选择模板函数。

#include <iostream>

void process(double x) {
    std::cout << "Non-template function: " << x << std::endl;
}

template<typename T>
void process(T x) {
    std::cout << "Template function: " << x << std::endl;
}

int main() {
    process(10.5); // 调用非模板函数
    process(10);   // 调用模板函数，因为模板提供了更好的匹配（int 匹配）
}

这里，process(10.5) 直接调用非模板函数，因为它精确匹配 double 类型。但对于 process(10)，尽管非模板函数可行（通过隐式转换），编译器选择了模板函数，因为模板提供了对 int 类型的直接匹配，没有需要类型转换。

规则 3：模板函数与类型转换

模板函数通常不允许隐式的类型转换（除了基本的类型提升如 int 到 double），而非模板函数可以进行更广泛的自动类型转换。

#include <iostream>

void display(long x) {
    std::cout << "Non-template function: " << x << std::endl;
}

template<typename T>
void display(T x) {
    std::cout << "Template function: " << x << std::endl;
}

int main() {
    display(10);    // 调用非模板函数，因为 int 到 long 的隐式转换
    display('a');   // 调用模板函数，字符到 long 的转换不被允许自动应用于模板
}

在这个例子中，display(10) 调用了非模板函数，尽管 10 是 int 类型，但可以自动转换为 long 类型。对于 display('a')，虽然 char 到 long 的转换在非模板函数中也是可行的，但由于 char 到 T （这里是 char）的模板实例化提供了直接匹配，所以选择了模板函数。

3.类模板

类模板是 C++ 泛型编程的另一个核心特性，允许程序员编写一个框架来生成可以操作任意类型数据的类。类似于函数模板，类模板提供了代码的复用性与类型的灵活性。

3.1类模板的定义格式

类模板的定义与函数模板类似，通过在类定义前加上 template 关键字和一系列模板参数来声明。这些参数可以在类内的成员函数、成员变量和嵌套类型中使用。

基本语法：

template <typename T>
class ClassName {
public:
    T memberVariable;

    void memberFunction(T param) {
        // 函数体
    }
};

示例代码：

template <typename T>
class Box {
public:
    T width, height, depth;

    // 构造函数
    Box(T w, T h, T d) : width(w), height(h), depth(d) {}

    // 成员函数，计算体积
    T volume() const {
        return width * height * depth;
    }
};

在这个例子中，Box 类模板可以用于创建存储任何类型的 width、height 和 depth 的盒子，并计算其体积。由于使用了模板参数 T，这个类可以用于 int、double 或其他任何支持乘法运算的数据类型。

3.2类模板的实例化

类模板的实例化是在编译时根据指定的具体类型参数创建类的过程。实例化的结果是一个具体的类，具有与模板参数相对应的数据类型。

隐式实例化： 当你创建一个模板类的对象并提供具体类型时，编译器会自动为你生成该类型的类实例。

Box<int> intBox(10, 20, 30);
std::cout << "Volume of intBox: " << intBox.volume() << std::endl;

显式实例化： 你也可以显式地告诉编译器为特定类型生成模板类的实例，这常用于减少编译时间，特别是当模板在多个文件中使用时。

template class Box<double>;  // 显式实例化

int main() {
    Box<double> doubleBox(10.5, 20.5, 30.5);
    std::cout << "Volume of doubleBox: " << doubleBox.volume() << std::endl;
}

在显式实例化中，template class Box<double>; 指示编译器为 double 类型生成 Box 类模板的全部成员定义。之后，在其他代码中创建 Box<double> 的对象时，不需要再次实例化。

4.结语

通过本文的介绍，我们可以看到，C++ 模板是一种强大的工具，使得编程变得更为灵活和通用。无论是函数模板还是类模板，它们都提供了实现泛型编程的基础，允许代码以类型无关的方式被重用和适应不同的数据需求。这不仅增加了代码的复用性和可维护性，还提高了程序的效率和可靠性。掌握C++模板是每个C++程序员提升编程技能的关键步骤，也是深入理解现代C++设计和实现的基础。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/1613811.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

密码学 | 承诺：常见的承诺方案

密码学 | 承诺：常见的承诺方案

&#x1f951;原文&#xff1a;密码学原语如何应用&#xff1f;解析密码学承诺的妙用 - 知乎 1 简介 密码学承诺 涉及 承诺方、验证方 两个参与方&#xff0c;以及以下两个阶段&#xff1a; 承诺阶段&#xff1a;承诺方选择一个敏感数据 v v v&#xff0c;为它计算出相应…
阅读更多...
docker打包部署自己的应用

docker打包部署自己的应用

docker部署应用 当谈及使用 Docker 进行容器化部署应用时&#xff0c;可以想象它是一个能够将整个应用程序及其所有依赖项打包成一个独立、可移植的容器的工具。这个容器不仅包含了应用代码&#xff0c;还包括了操作系统、运行时环境以及所有依赖的库和组件。这样一来&#xf…
阅读更多...
Python 全栈安全（二）

Python 全栈安全（二）

原文&#xff1a;annas-archive.org/md5/712ab41a4ed6036d0e8214d788514d6b 译者&#xff1a;飞龙 协议&#xff1a;CC BY-NC-SA 4.0 第二部分&#xff1a;认证与授权 本书的第二部分是最具商业价值的部分。我这样说是因为它充满了大多数系统需要具备的实用工作流示例&#xf…
阅读更多...
nginxtomcat笔记

nginxtomcat笔记

nginx是一个轻量级高性能的http和反向代理web服务器&#xff0c;优点&#xff1a;占用内存少&#xff0c;并发能力强 实验主机&#xff1a;192.168.200.141 192.168.200.142 1.虚拟主机 1.1基于域名&#xff1a;一台服务器&#xff0c;一个端口&#xff0c;部署多个网站 在ng…
阅读更多...
Transformer - Teacher Forcing

Transformer - Teacher Forcing

Transformer - Teacher Forcing flyfish 在训练过程中&#xff0c;将目标序列输入给解码器的方法称为&#xff08;Teacher Forcing&#xff09;。这个术语又代表什么意思呢&#xff1f; 这里的目标序列就是Ground Truth&#xff0c;也就是我们已知的正确答案 一句话就是我们…
阅读更多...
火灾风险把控：数据采集卡搭配传感器实现电路异常全面监控！

火灾风险把控：数据采集卡搭配传感器实现电路异常全面监控！

引言 在现代社会中&#xff0c;火灾安全和用电安全是人们生活和工作中不可忽视的重要问题。为了有效应对火灾风险和电路异常情况&#xff0c;阿尔泰科技引入了一项创新解决方案&#xff1a;利用PXIe5681多功能数据采集卡对小信号的高精度测量优势&#xff0c;搭配电压传感器监…
阅读更多...
使用代理绕过网站的反爬机制

使用代理绕过网站的反爬机制

最近在尝试收集一些网络指标的数据&#xff0c; 所以&#xff0c; 我又开始做爬虫了。 :) 我们在做爬虫的过程中经常会遇到这样的情况&#xff0c;最初爬虫正常运行&#xff0c;正常抓取数据&#xff0c;一切看起来都是那么的美好&#xff0c;然而一杯茶的功夫可能就会出现错误…
阅读更多...
文本嵌入新方案：合合信息acge模型荣登C-MTEB榜首

文本嵌入新方案：合合信息acge模型荣登C-MTEB榜首

目录 0 写在前面1 文本嵌入&#xff1a;LLM落地的根基2 C-MTEB&#xff1a;acge荣夺榜一2.1 max tokens2.2 文本分类2.3 文本聚类 3 acge demo演示与体验总结 0 写在前面 随着信息技术的发展和应用场景的不断扩大&#xff0c;人们需要处理和利用大量的文档信息。而传统的手动处…
阅读更多...
深度学习transformer架构详细详解

深度学习transformer架构详细详解

一、transformer的贡献 transformer架构的贡献&#xff1a;该架构只使用自注意力机制&#xff0c;没有使用RNN或卷积网络。且可以实现并行计算&#xff0c;加快模型训练速度。 &#xff08;将所有的循环层全部换成&#xff1a;multi-headed self-attention&#xff09; 二、t…
阅读更多...
39. UE5 RPG角色释放技能时转向目标方向

39. UE5 RPG角色释放技能时转向目标方向

在上一篇&#xff0c;我们实现了火球术可以向目标方向发射&#xff0c;并且还可以按住Shift选择方向进行攻击。技能的问题解决&#xff0c;现在人物释放技能时&#xff0c;无法朝向目标方向&#xff0c;接下来我们解决人物的问题。 实现思路&#xff1a; 我们将使用一个官方的…
阅读更多...
C++ //练习 12.20 编写程序，逐行读入一个输入文件，将内容存入一个StrBlob中，用一个StrBlobPtr打印出StrBlob中的每个元素。

C++ //练习 12.20 编写程序，逐行读入一个输入文件，将内容存入一个StrBlob中，用一个StrBlobPtr打印出StrBlob中的每个元素。

C Primer&#xff08;第5版&#xff09; 练习 12.20 练习 12.20 编写程序&#xff0c;逐行读入一个输入文件&#xff0c;将内容存入一个StrBlob中&#xff0c;用一个StrBlobPtr打印出StrBlob中的每个元素。 环境&#xff1a;Linux Ubuntu&#xff08;云服务器&#xff09; 工…
阅读更多...
密码学 | Random Oracle 随机预言机

密码学 | Random Oracle 随机预言机

​ &#x1f951;原文&#xff1a;究竟什么才是随机预言机呢&#xff1f; - 玄星的回答 &#x1f951;答主指出&#xff1a; 英文维基明明对 随机预言机 给出了两个完全不同的理解&#xff0c;但这两个理解之间的连接词却是 “Stated differently”&#xff0c;即 “换句话说…
阅读更多...
LabVIEW多设备控制与数据采集系统

LabVIEW多设备控制与数据采集系统

LabVIEW多设备控制与数据采集系统 随着科技的进步&#xff0c;自动化测试与控制系统在工业、科研等领域的应用越来越广泛。开发了一种基于LabVIEW平台开发的多设备控制与数据采集系统&#xff0c;旨在解决多设备手动设置复杂、多路数据显示不直观、数据存储不便等问题。通过RS…
阅读更多...
c语言利用控制台实现贪吃蛇

c语言利用控制台实现贪吃蛇

使用控制台实现贪吃蛇需要的技能加点&#xff1a; 控制台设置&#xff08;包含于stdlib.h&#xff09;&#xff1a; 定义命令行窗口高/宽&#xff1a; system("mode con cols100 lines30"); system() 函数是一个C标准库函数&#xff0c;它允许程序执行操作系统命令…
阅读更多...
Java中创建对象内存分析

Java中创建对象内存分析

package day31; ​ public class Pet {String name;int age;public void shout(){System.out.println("叫了一声");} } ​ package day31; ​ public class Application {public static void main(String[] args) {Pet cat new Pet();cat.name"肥波";cat…
阅读更多...
Linux——网络管理nmcli

Linux——网络管理nmcli

nmcli 不能独立使用&#xff0c;需要对应的服务启动 1. NetworkManager.service 2. 网络配置和服务不相关 3. 通过 nmcl &#xff49; 建立网络配置和网卡之前的映射关系 网卡 简称&#xff1a;nmcli d DEVICE &#xff1a;物理设备 TYPE: 物理设备类型 ethernet 以太网…
阅读更多...
螺纹滑牙的原因有哪些——SunTorque智能扭矩系统

螺纹滑牙的原因有哪些——SunTorque智能扭矩系统

螺纹滑牙的原因&#xff0c;通常是由于在旋紧或旋松过程中&#xff0c;螺纹副之间的摩擦力不足以维持所需的预紧力或工作载荷&#xff0c;导致螺纹副的相对位置发生变化。这种现象可能由多种因素引起&#xff0c;包括材料选择不当、设计不合理、制造工艺缺陷、环境因素以及使用…
阅读更多...
AI大模型探索之路-实战篇3：基于私有模型GLM-企业级知识库开发实战

AI大模型探索之路-实战篇3：基于私有模型GLM-企业级知识库开发实战

文章目录 前言概述一、本地知识库核心架构回顾&#xff08;RAG&#xff09;1. 知识数据向量化2. 知识数据检索返回 二、大模型选择1. 模型选择标准2. ChatGLM3-6B 三、Embedding模型选择四、改造后的技术选型五、资源准备1. 安装git-lfs2. 下载GLM模型3. 下载Embeding模型 六、…
阅读更多...
Java、Spring、Dubbo三者SPI机制原理与区别

Java、Spring、Dubbo三者SPI机制原理与区别

Java、Spring、Dubbo三者SPI机制原理与区别 什么是SPI SPI全称为Service Provider Interface&#xff0c;是一种动态替换发现的机制&#xff0c;一种解耦非常优秀的思想&#xff0c;SPI可以很灵活的让接口和实现分离&#xff0c;让api提供者只提供接口&#xff0c;第三方来实…
阅读更多...
【嵌入式】keil5安装（同时兼容C51和STM32）

【嵌入式】keil5安装（同时兼容C51和STM32）

最近在开发STM32的时候&#xff0c;安装Keil5&#xff0c;遇到STM32和C51的共存的问题&#xff0c;在网上找了很多方法&#xff0c;又遇到一些bug&#xff0c;最终还是弄好了。因此将处理的过程记录下来&#xff0c;希望对遇到相同问题的朋友一些启发。 1、下载安装包 Keil P…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023