欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

C++模板学习之类模板深度剖析

程序员文章站 2023-01-15 08:32:00
多参数类模板 类模板的特化 部分特化 完全特化 类模板特化注意事项 类模板的特化和重定义 多参数类模板 根据多参数模板,类模板是否也支持多参数模板呢 多参数类模板的定义方式和使用方式跟多参数函数模板...

多参数类模板 类模板的特化 部分特化 完全特化 类模板特化注意事项 类模板的特化和重定义

多参数类模板

根据多参数模板,类模板是否也支持多参数模板呢

多参数类模板的定义方式和使用方式跟多参数函数模板相同。

template

class test
{
public:
void add(t1 a, t2 b);
{
  cout << a + b << endl;
 }
}

 test t;

问题:这个类模板可以实现两个指针值相加吗

我们看到add函数的实现,打印输出的是a + b的值,这个并不是指针指向的值,而是两个指针变量的地址。这样结果就违背了我们的初衷了。

所以单一的模板不可能对全部的类型都适合,通用定义可能编译失败或者做得不正确。所以我们希望在某些场合不希望使用模板版本,去使用一个特定的版本。但是这个版本与模板要有如下特点:

1. 与类模板具有相同的名字

2. 当遇到特殊情况时,优先使用特殊版本,而不是通用模板。

类模板的特化

指定类模板的特定实现 部分类型参数必须显式指定 根据类型参数分开实现类模板

根据类模板的特化类型,分为部分特化和完全特化两种类型。

部分特化

我们可以只指定一部分而非所有模板参数,或是参数的一部分而非全部特性。

示例代码:模板的部分特化

#include 
#include 

using namespace std;

template
< typename t1, typename t2 >
class test
{
public:
 void add(t1 a, t2 b)
 {
  cout << "void add(t1 a, t2 b)" << endl;
  cout << a + b << endl;
 }
};

template
< typename t1, typename t2 >
class test < t1*, t2* >// 关于指针的特化实现
{
public:
 void add(t1* a, t2* b)
 {
  cout << "void add(t1* a, t2* b)" << endl;
  cout << *a + *b << endl;
 }
};

template
< typename t >
class test < t, t > // 当 test 类模板的两个类型参数完全相同时,使用这个实现
{
public:
 void add(t a, t b)
 {
  cout << "void add(t a, t b)" << endl;
  cout << a + b << endl;
 }
 void print()
 {
  cout << "class test < t, t >" << endl;
 }
};

int main()
{  
 test t1;
 test t2;

 t1.add(1, 2.5);

 t2.add(5, 5);
 t2.print();


 test t4;
 int a = 1;
 double b = 0.1;

 t4.add(&a, &b);

 return 0;
}

输出结果:

void add(t1 a, t2 b)

3.5

void add(t a, t b)

10

class test < t, t >

void add(t1* a, t2* b)

1.1

分析:

1. 在类名之后,我们要为特例化的模板参数指定实参,这些实参列于模板名之后的尖括号中。这些实参与原始模板中的参数按位置对应。

如:template < typename t1, typename t2 > class test < t1*, t2*> {…}。

当两个类模板两个参数完全相同时。

如:template < typename t > class test < t, t > {…}。

完全特化

完全显式指定类型参数。

示例代码:类模板的完全特化

#include 
#include 

using namespace std;

template
< typename t1, typename t2 >
class test
{
public:
 void add(t1 a, t2 b)
 {
  cout << "void add(t1 a, t2 b)" << endl;
  cout << a + b << endl;
 }
};

template
<  >
class test < void*, void* > // 当 t1 == void* 并且 t2 == void* 时
{
public:
 void add(void* a, void* b)
 {
  cout << "void add(void* a, void* b)" << endl;
  cout << "error to add void* param..." << endl;
 }
};

int main()
{  
 test t1;
 test t3;

t3.add(null, null);

 return 0;
}

输出结果:

void add(t1 a, t2 b)

3.5

void add(void* a, void* b)

error to add void* param…

类模板特化注意事项

特化只是模板的分开实现 本质上是同一个类模板 特化类模板的使用方式是统一的 必须显式指定每一个类型参数

类模板的特化和重定义

1. 重定义

- 创建一个新类,或者两个类模板

- 使用时需要考虑如何选择的问题

2. 特化

- 以统一的方式使用类模板和特化类

本质是同一个类模板

编译器自动优先选择特化类。