[置顶]C++泛型编程:template模板

2024-09-05 16:32

本文主要是介绍[置顶]C++泛型编程:template模板,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

泛型编程就是以独立于任何特定类型的方式编写代码,而模板是C++泛型编程的基础.

所谓template,是针对“一个或多个尚未明确的类型”所编写的函数或类.

使用template时,可以显示的或隐示的将类型当作参数来传递.

下面是一个典型的例子,传回两数中的较大者:

template<class T>
inline const T& MAX(const T& a,const T& b)
{
return a>b?a:b;
}

在这里,第一行将T定义为任意数据类型,于函数被调用时由调用者指定.

这个类型有关键字class引导,也可用typename引导,typename其实比class更直观.

(需要注意的是,如果用到了嵌套依赖类型,则必须要用到typename).

理解:

  第一行template<class T>告诉编译器:我在这儿定义了一个可变类型T,调用者使用什么类型你就怎么编译吧!

缺省模板参数

template class可以有缺省参数,例如一下声明,允许你使用一个或多个template来声明MyClass对象:

template<class T,class container=vector<T> >
class MyClass
{
public:
MyClass(){}
~MyClass(){}
protected:
private:
};

如果只传递一个参数,那么缺省参数可作为第二参数使用:

MyClass<int> x1; // equivalent to:
MyClass<int,vector<int> > x2;

注意:template缺省参数根据前一个(或前一些)参数而定义。这也就意味着如果参数传递列表中某个参数是缺省参数,那么后面的所有参数都应该是缺省参数.

关键字typename

关键字typename被用来做为类型之前的标识符号。考虑下面例子:

template<class SubType>
struct BaseType
{
SubType a;
};
template <class T>
class MyClass1
{
typename T::SubType *ptr;
// ...
};

这里,typename指出SubType是class T中定义的一个类型,因此ptr是一个指向T::SubType的指针.

如果没有typename,SubType将会被当成一个static成员,于是:

T::SubType * ptr;

会被解释为类型T中的两个子成员SubType和ptr的乘积.

成员模板

class成员函数可以是个template,但是这样的成员template类型既不能是virtual,也不能有缺省参数,例如:

class MyClass
{
//...
template<class T>
void f(T);
};

在这里,MyClass::f声明了一个成员函数,适用于任何类型参数.

这个特性常用来为template class中的成员提供自动类型转换,例如下面的例子中,assign()的参数x,其类型必须和调用端所提供的对象的类型完全吻合:

template<class T>
class MyClass
{
public:
MyClass();
~MyClass();
void assign(const MyClass<T>& x) // x must have same type as *this
     {
value=x.value;
}
// ...
protected:
private:
T value;
};

如果使用了两个类型,即使两个类型之间可以自动转换,也会出错:

void fun()
{
MyClass<double> d;
MyClass<int> i;
d.assign(d); // OK
d.assign(i); // ERROR: i is MyClass<int> but MyClass<double> is required
}

理解:

  对于一个template class中的template成员,遵循“先入为主”,如果第一次指定了类型,那么后面都要和第一次保持一致.

但如果要指定两个不同类型的类成员变量怎么办呢?

方法很简单,我们将成员变量在使用一个和class不同的template类型就行:

template<class T>
class MyClass
{
public:
MyClass();
~MyClass();
template<class X> // member template
void assign(const MyClass<X>& x) // allow different template types
     {
value = x.getValu();
}
T getValue() const
{
return value;
}
// ...
protected:
private:
T value;
};
void fun()
{
MyClass<double> d;
MyClass<int> i;
d.assign(d); // OK
i.assign(i); // OK (int is assigned to double)
}

 

这篇关于[置顶]C++泛型编程:template模板的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1139481

相关文章

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

Python异步编程中asyncio.gather的并发控制详解

《Python异步编程中asyncio.gather的并发控制详解》在Python异步编程生态中,asyncio.gather是并发任务调度的核心工具,本文将通过实际场景和代码示例,展示如何结合信号量... 目录一、asyncio.gather的原始行为解析二、信号量控制法:给并发装上"节流阀"三、进阶控制

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提