当前位置：首页 > news >正文

C++模板学习（进阶）

news 来源：原创 2025/7/16 6:15:14

一.非类型模板参数

二.模板的特化

一）.函数模板特化

二）.类模板特化

1.全特化

2.偏特化

三.模板分离编译

一）.什么是分离编译

1. 问题描述

2. 模板的实例化机制

3. 分离编译的困境

二）.解决方法

1. 头文件包含定义（推荐）

2. 显式实例化（不推荐）

这里我们要学习的是模板的进阶用法，对于模板有忘记的可以看下面的文章，可助你的记忆恢复一二：https://blog.csdn.net/a1592266073/article/details/145809809?fromshare=blogdetail&sharetype=blogdetail&sharerId=145809809&sharerefer=PC&sharesource=a1592266073&sharefrom=from_link

一.非类型模板参数

模板参数分类类型形参与非类型形参。

类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。

非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

template <class T, int Size>  // Size为非类型模板参数（整型常量）
class FixedArray {
private:T data[Size];
public:int getSize() const { return Size;     }
};FixedArray<double, 10> arr;  // 创建大小为10的数组

限制与注意事项

允许的类型：整型、枚举、指针/引用（指向全局对象或静态成员）。
必须是编译期常量：值在编译时必须确定。
C++20扩展：支持浮点型、字面量类类型（需满足特定条件）。

二.模板的特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理。

一）.函数模板特化

函数模板的特化步骤：

1. 必须要先有一个基础的函数模板

2. 关键字template后面接一对空的尖括号<>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{return left < right;
} // 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* right)
{return *left < *right;
}

函数模板只能全特化，但可通过重载实现类似效果

二）.类模板特化

1.全特化

定义：为特定类型完全重写模板的实现。

template<class T1, class T2>
class Data
{public :Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};
template<>
class Data<int, char>
{public :Data() { cout << "Data<int, char>" << endl; }
private:int _d1;char _d2;
};
void TestVector()
{Data<int, int> d1;Data<int, char> d2;
}

2.偏特化

定义：针对部分模板参数进行特化。

// 主模板
template <class T, class U>
class MyPair 
{ /*...*/ 
};// 偏特化：当两个类型相同时
template <class T>
class MyPair<T, T> 
{ /*...*/ 
};// 偏特化：当第二个类型为int时
template <classT>
class MyPair<T, int> 
{ /*...*/ 
};

参数更进一步的限制

偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。

template<class T1, class T2>
class Data
{public :Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};//两个参数偏特化为指针类型
template <typename T1, typename T2>
class Data <T1*, T2*>
{public :Data() { cout << "Data<T1*, T2*>" << endl; }
private:T1 _d1;T2 _d2;
};//两个参数偏特化为引用类型
template <typename T1, typename T2>
class Data <T1&, T2&>
{public :Data(const T1& d1, const T2& d2): _d1(d1), _d2(d2){cout << "Data<T1&, T2&>" << endl;}
private:const T1& _d1;const T2& _d2;
};void test2()
{Data<int, double> d2; // 调用基础的模板Data<int*, int*> d3; // 调用特化的指针版本Data<int&, int&> d4(1, 2); // 调用特化的指针版本
}

三.模板分离编译

一）.什么是分离编译

一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。

1. 问题描述

现象：将模板声明与定义分离到头文件（.h）和源文件（.cpp）时，链接阶段报错。
原因：模板代码需在编译时实例化，但分离编译时编译器看不到完整定义。

错误展示：

// mytemplate.h
template <typename T>
class MyTemplate {
public:void doSomething(T value);
};

// mytemplate.cpp
template <typename T>
void MyTemplate<T>::doSomething(T value) { /* 实现 */ }

// main.cpp
#include "mytemplate.h"
int main() {MyTemplate<int> obj;obj.doSomething(5);  // 链接错误：未找到实例化代码
}

2. 模板的实例化机制

延迟实例化：模板代码在编译时根据具体类型生成实际代码（实例化）。
两阶段查找：
- 模板定义阶段：检查模板本身的语法。
- 模板实例化阶段：根据具体类型生成代码。

3. 分离编译的困境

当模板的声明与定义分离在.h和.cpp文件中时：
- 编译器在编译用户代码（如main.cpp）时，只能看到模板声明，无法看到定义。
- 导致编译器无法生成实例化代码（如Mytemplate<int>的成员函数）。
- 链接时，链接器找不到实例化后的符号，报"undefined reference"错误。

二）.解决方法

1. 头文件包含定义（推荐）

// mytemplate.h
template <typename T>
class MyTemplate {
public:void doSomething(T value) {  // 定义直接写在头文件中// ...实现代码...}
};

2. 显式实例化（不推荐）

// mytemplate.h
template <typename T>
class MyTemplate {
public:void doSomething(T value);  // 声明
};// mytemplate.cpp
template <typename T>
void MyTemplate<T>::doSomething(T value) {  // 定义// ...实现代码...
}// 显式实例化所需类型
template class MyTemplate<int>;   // 生成MyTemplate<int>的所有成员代码
template class MyTemplate<double>;

通过合理使用非类型模板参数、模板特化和正确的代码组织方式，可以充分发挥C++模板的威力，同时保持代码的可维护性和性能。

C++模板学习（进阶）

目录一.非类型模板参数二.模板的特化一）.函数模板特化二）.类模板特化 1.全特化 2.偏特化三.模板分离编译一）.什么是分离编译 1. 问题描述 2. 模板的实例化机制 3. 分离编译的困境二）.解决方法 1. 头文件包含…...

编程日记 2025/7/16 6:15:14

【Git】fork 和 branch 的区别

在 Git 中，“fork” 和 “branch” 是两个不同的概念，它们用于不同的场景并且服务于不同的目的。理解这两者的区别对于有效地使用 Git 进行版本控制非常重要。 1. Fork（分叉） 定义 Fork 是指在 GitHub、GitLab 等代码托管平台上…...

编程日记 2025/7/15 5:05:56

STM32单片机入门学习——第45节: [13-2] 修改频主睡眠模式停止模式待机模式

写这个文章是用来学习的,记录一下我的学习过程。希望我能一直坚持下去,我只是一个小白,只是想好好学习,我知道这会很难，但我还是想去做！ 本文写于：2025.04.22 STM32开发板学习——第45节: [13-2] 修改主频&睡眠模式&停止模式&待…...

编程日记 2025/7/16 5:56:04

Java中常见API的分类概述及示例

1. 集合框架（java.util 包） 核心接口与实现类接口实现类特点示例代码ListArrayList, LinkedList有序、可重复List<String> list new ArrayList<>(); list.add("Java");SetHashSet, TreeSet无序、唯一Set<Integer> set …...

编程日记 2025/7/6 6:27:37

IOT项目——物联网 GPS

GeoLinker - 物联网 GPS 可视化工具项目来源制作引导项目来源 [视频链接] https://youtu.be/vi_cIuxDpcA?sigMaOKv681bAirQF8 想要在任何地方追踪任何东西吗？在本视频中，我们将向您展示如何使用 ESP32 和 Neo-6M GPS 模块构建 GPS 跟踪器——这是一…...

编程日记 2025/7/16 1:35:17

开源状态机引擎，在实战中可以放心使用

### Squirrel-Foundation 状态机开源项目介绍 **Squirrel-Foundation** 是一个轻量级、灵活、可扩展、易于使用且类型安全的 Java 状态机实现，适用于企业级应用。它提供了多种方式来定义状态机，包括注解声明和 Fluent API，并且支持状态转换、…...

编程日记 2025/7/15 11:07:01

TockOS，一种新安全软件架构的RTOS介绍

文章目录 1. TockOS介绍详细总结 2. TockOS开源项目的目录结构3. 胶囊（Capsules）胶囊的本质胶囊的特点胶囊的应用场景 4. 胶囊的实现模块化设计安全隔离事件驱动可复用性 1. TockOS介绍 Tock 是一款面向 Cortex-M 和 RISC-V 微控制器的安全嵌入式操作系…...

编程日记 2025/7/16 5:39:52

AGI大模型（12）：向量检索之关键字搜索

1 检索的方式有那些列举两种: 关键字搜索：通过用户输入的关键字来查找文本数据。语义搜索：不仅考虑关键词的匹配，还考虑词汇之间的语义关系，以提供更准确的搜索结果。2 关键字搜索先看一个最基础的实现安装模块 pip install redis 不会redis的去看我的redis专题首…...

编程日记 2025/7/9 15:22:48

数据库MySQL学习——day1(创建表与数据类型)

文章目录 1. 创建表（CREATE TABLE）1.1. 创建表的基本语法：1.2. 示例：创建学生信息表 2. 数据类型2.1. 常用的数据类型： 3. 表约束3.1. 常见约束类型：3.2. 示例：添加约束条件3.3. 修改表添加约束…...

编程日记 2025/7/8 8:28:34

基于Transformer与随机森林的多变量时间序列预测

哈喽，我不是小upper，今天和大家聊聊基于Transformer与随机森林的多变量时间序列预测。不懂Transformer的小伙伴可以看我上篇文章:一文带你彻底搞懂！Transformer ！！https://blog.csdn.net/qq_70350287/article/detail…...

编程日记 2025/7/8 18:11:41

【程序员 NLP 入门】词嵌入 - 上下文中的窗口大小是什么意思？（★小白必会版★）

🌟 嗨，你好，我是青松 ！ 🌈 希望用我的经验，让“程序猿”的AI学习之路走的更容易些，若我的经验能为你前行的道路增添一丝轻松，我将倍感荣幸！共勉~ 【程序员 NLP 入门】词…...

编程日记 2025/7/11 11:04:01

MATLAB Coder 应用：转换 MATLAB 代码至 C/C++ | 实践步骤与问题解决

注：本文为 “ MATLAB 代码至 C/C 应用” 相关文章合辑。未整理去重。如有内容异常，请看原文。 MATLAB 代码转换为 C/C 代码的详细指南随心 390 zhihu 发布于 2020-07-12 12:39 在实际项目中，我们常常遇到需要将 MATLAB 代码转换为 C/C …...

编程日记 2025/7/14 11:57:25

BLE 6.0 六大核心特性全解析

写在前面： 2025年1月15日，Bluetooth SIG发布了备受期待的 Bluetooth Core Specification 6.0。相比5.x系列，6.0在测距精度、能耗优化、扫描过滤、音频体验和协议灵活性等方面实现了重大突破。本文将以浅显易懂的语言、丰富的图示和真实案例，带你全面深入了解BLE 6.0的六大核…...

编程日记 2025/7/11 15:11:06

网络应用程序体系结构

本文来源 ： 《计算机网络自顶向下方法》应用程序体系结构（application architecture）由应用程序研发者设计，规定了如何在各种端系统上组织该应用程序。现代网络应用程序中使用的两种主流体系结构： (1)客户-服务器…...

编程日记 2025/7/13 16:34:25

Filename too long 错误

Filename too long 错误表明文件名超出了文件系统或版本控制系统允许的最大长度。可能的原因文件系统限制不同的文件系统对文件名长度有不同的限制。例如，FAT32 文件名最长为 255 个字符，而 NTFS 虽然支持较长的文件名，但在某些情况下也…...

编程日记 2025/7/14 20:00:24

Linux学习——UDP

编程的整体框架 bind：绑定服务器：TCP地址和端口号 receivefrom()：阻塞等待客户端数据 sendto():指定服务器的IP地址和端口号，要发送的数据无连接尽力传输，UDP:是不可靠传输实时的音视频传输&#x…...

编程日记 2025/7/7 22:02:54

C++：继承

目录一：继承的概念 1.1 继承的定义 1.2 继承方式 1.3 可见性区别公有方式私有方式保护方式 1.4 一般规则二、继承中的隐藏规则三、基类和派生类间的转换四、派生类的默认成员函数实现一个不能被继承的类继承与友元五、继承与静态成员六、多…...

编程日记 2025/7/13 1:41:45

RSGISLib：一款功能强大的GIS与RS数据处理Python工具包

今天为大家介绍的软件是RSGISLib：一款功能丰富的遥感与GIS数据的python库。下面，我们将从软件的主要功能、支持的系统、软件官网等方面对其进行简单的介绍。 RSGISLib官网网址为：http://rsgislib.org/，它提供了一个丰富的工具集&…...

编程日记 2025/7/13 1:08:32

Git管理

1.创建git仓库 git init 2.让文件添加到暂存区 git add. 3.给暂存区文件添加说明，并提交到本地仓库 git commit -m 说明 4.查看历史记录 git log /git log --oneline 查看状态：git status 5. 引用旧版 git reset --hard commitid 6.创建分支 …...

编程日记 2025/7/15 1:24:43

Java中内部类

1.静态类与非静态类是内部类的区分，外部类不可以被static修饰。 2.类的加载过程：类只有被使用才会被类加载器加载，加载后类的信息放在元空间（方法区）中。类的使用包括初始化对象、静态方法的调用。 3.静态内部类与普…...

编程日记 2025/7/8 14:22:35

[U-Net-Dual]DEU-Net

论文题目：DEU-Net: Dual-Encoder U-Net for Automated Skin Lesion Segmentation 中文题目:DEU-Net：用于自动皮肤病变分割的双编码器U-Net 0摘要皮肤病的计算机辅助诊断（CAD）在很大程度上依赖于皮肤病变的自动分割，尽管由于病变在形状、大小、颜色和纹理上的多样性以及…...

编程日记 2025/6/29 11:42:12

【数据结构】第五弹——Stack 和 Queue

文章目录一. 栈(Stack)1.1 概念1.2 栈的使用1.3 栈的模拟实现1.3.1 顺序表结构1.3.2 进栈压栈1.3.3 删除栈顶元素1.3.4 获取栈顶元素1.3.5 自定义异常 1.4 栈的应用场景1.改变元素序列2. 将递归转化为循环3. 四道习题 1.5 概念分区二. 队列(Queue)2.1 概念2.2 队列的使用2.3…...

编程日记 2025/7/10 4:51:02

LSTM如何解决梯度消失问题

LSTM如何解决梯度消失问题一、传统RNN的梯度消失困境在标准RNN中，隐藏状态更新公式为： h t tanh ⁡ ( W h h h t − 1 W x h x t b h ) h_t \tanh(W_{hh}h_{t-1} W_{xh}x_t b_h) httanh(Whhht−1Wxhxtbh) 梯度计算通过链式法则展…...

编程日记 2025/7/9 4:01:30

什么是管理思维？

管理思维是指在管理活动中形成的系统性、战略性和创造性的思考方式，帮助个人或团队更高效地达成目标。它不仅适用于企业管理，也适用于个人成长、项目执行和复杂问题解决。以下是关于管理思维的核心内容： 一、管理思维的核心特征 1. 系统性思…...

编程日记 2025/7/15 8:38:17

缓存与内存；缺页中断；缓存映射：组相联

文章目录内存（RAM）与缓存（Cache）Memory Management Unit缺页中断多级缓存缓存替换策略缓存的映射方式内存（RAM）与缓存（Cache） 缓存： CPU 内部或非常靠近的高速存储&a…...

编程日记 2025/7/10 8:56:06

12.5/Q1，GBD高分文章解读

文章题目：Global, regional, and national burdens of early onset pancreatic cancer in adolescents and adults aged 15-49 years from 1990 to 2019 based on the Global Burden of Disease Study 2019: a cross-sectional stud DOI：10.1097/JS9.000…...

编程日记 2025/6/29 11:28:10

路由交换网络专题 | 第六章 | OSPF | BGP | BGP属性 | 防环机制

目录拓扑图 （1）AS 400 内部使用 OSPF 路由协议，使 PC2 访问 PC3 的路径优先选择 AR2-AR4-AR3。 （2）AS 400 内部使用 RIP 路由协议，使 PC2 访问 PC3 的路径优先选择 AR2-AR4-AR3。 （3&#…...

编程日记 2025/7/9 18:23:21

ubuntu 安装 redis server

ubuntu 安装 redis server sudo apt update sudo apt install redis-server The following NEW packages will be installed:libhiredis0.14 libjemalloc2 liblua5.1-0 lua-bitop lua-cjson redis-server redis-toolssudo systemctl start redis-server sudo systemctl ena…...

编程日记 2025/7/4 19:43:10

一.非类型模板参数

二.模板的特化

一）.函数模板特化

二）.类模板特化

1.全特化

2.偏特化

三.模板分离编译

一）.什么是分离编译

1. 问题描述

2. 模板的实例化机制

3. 分离编译的困境

二）.解决方法

1. 头文件包含定义（推荐）

2. 显式实例化（不推荐）

相关文章：