C++深度解析(45)—函数模板的概念和意义

1.发散性问题

• C++中有几种交换变量的方法？定义宏代码块 +定义函数

2.编程实验 

• 定义宏代码块 VS 定义函数   

#include <iostream>
#include <string>

using namespace std;

// 宏定义代码块
#define SWAP(t, a, b)    \
do                       \
{                        \
	t c  = a;            \
	a  = b;              \
	b  = c;              \
}while (0)     // 这里不加这个分号； 可能是保证一个整体,保证当做一条语句处理。

// 定义函数方式
void Swap(int &a, int &b) // 引用就是常量指针
{
	int c = a;
	a = b;
	b = c;
}

void Swap(double &a, double &b) // 引用就是常量指针
{
	double c = a;
	a = b;
	b = c;
}

void Swap(string &a, string &b)  //引用就是常量指针
{
	string c = a;
	a = b;
	b = c;
}

int main()
{
	int a = 0;
	int b = 1;

	Swap(a, b); //Swap(int&, int&)

	cout << "a = " << a << endl;
	cout << "b = " << b << endl;

	double m = 2;
	double n = 3;

	Swap(m, n);  // Swap(double&, double&)
	cout << "m = " << m << endl;
	cout << "n = " << n << endl;

	
	string s = "China";
	string c = "America";

	Swap(s, c);

	cout << "s = " << s << endl;
	cout << "c = " << c << endl;
	
	system("pause");
	
	return 0;
}

• 运行结果：
• 定义宏代码块 
  • 优点：代码复用，适合所有的类型 
  • 缺点：编译器不知道宏的存在，缺少类型检查 
• 定义函数 
  • 优点：真正的函数调用，编译器对类型进行检查 
  • 缺点：根据类型重复定义函数，无法代码复用 
• C++中有没有解决方案集合两种方法的优点？ 泛型编程

3.泛型编程

• 概念：不考虑具体数据类型的编程方式

// Swap函数的泛型写法
void Swap(T &a,T &b)
{
    T t = a;
    a = b;
    b = t;
}

• Swap泛型写法中的T不是一个具体的数据类型，而是泛指任意的数据类型

3.1 C++中泛型编程 —函数模板  

• 一种特殊的函数可用不同类型进行调用
• 看起来和普通函数很相似，区别是类型可被参数化，如

template <typename T>    //告诉编译器开始泛型编程，T是一个泛指类型
void Swap(T &a,T &b)
{
    T t = a;
    a = b;
    b = t;
}

• 函数模板的语法规则
  • template关键字用于声明开始进行泛型编程
  • typename关键字用于声明泛指类型
• 函数模板的使用 
  • 自动类型推导调用 
  • 具体类型显示调用

• 显示函数调用：用float替换参数类型T

3.2 编程实验

• 函数模板使用初探

#include <iostream>
#include <string>

using namespace std;

template <typename T> //在函数前声明
void Swap(T &a, T &b)
{
	T c = a;
	a = b;
	b = c;
}

template <typename T>
void SelectSort(T a[], int len)
{
	for (int i = 0; i < len; i++)
	{
		for (int j = i; j < len; j++)
		{
			if (a[i] > a[j])      // 升序,小的在后，大的在前。
			{
				Swap(a[i], a[j]);
			}
		}
	}
}

template <typename T>
void Println(T a[], int len)
{
	for (int i = 0; i < len; i++)
	{
		cout << a[i] << ", ";
	}

	cout << endl;
}

int main()
{
	int a[5] = { 5, 3, 2, 4, 1 };
	
	Println(a, 5);
	SelectSort(a, 5);
	Println(a, 5);

	string s[5] = { "Java", "C++", "Pascal", "Ruby", "Basic" };

	Println(s, 5);
	SelectSort(s, 5);
	Println(s, 5);
	
	system("pause");
	
	return 0;
}

• 运行结果：

4.小结

• 函数模板是泛型编程在C++中的应用方式之一
• 函数模板能够根据实参对参数类型进行推导
• 函数模板支持显式的指定参数类型
• 函数模板是C++中重要的代码复用方式