C++模板与泛型编程教程

C++模板与泛型编程教程

在C++中，模板（Templates）和泛型编程（Generic Programming）是强大的编程范式，它们允许程序员编写与数据类型无关的代码。通过使用模板，你可以定义函数、类或整个算法，这些函数、类或算法可以操作多种数据类型，而无需为每种数据类型编写单独的代码。这不仅减少了代码重复，还提高了代码的可重用性和灵活性。

一、模板基础

1. 函数模板

函数模板允许你定义一个函数，该函数可以操作多种数据类型。模板定义以template <typename T>（或template <class T>，两者等价）开始，其中T是一个占位符，代表将在实例化模板时指定的数据类型。

	#include <iostream>
	template <typename T>
	T max(T a, T b) {
	return (a > b) ? a : b;
	}
	int main() {
	std::cout << "Max(5, 3) = " << max(5, 3) << std::endl;
	std::cout << "Max(5.5, 4.5) = " << max(5.5, 4.5) << std::endl;
	return 0;
	}

2. 类模板

类模板与函数模板类似，但用于定义类。类模板允许你创建可以操作多种数据类型的类。

	#include <iostream>
	template <typename T>
	class Box {
	private:
	T value;
	public:
	Box(T val) : value(val) {}
	void display() const {
	std::cout << value << std::endl;
	}
	};
	int main() {
	Box<int> intBox(10);
	intBox.display();
	Box<double> doubleBox(3.14);
	doubleBox.display();
	return 0;
	}

二、模板特化与偏特化

模板特化允许你为模板的特定类型提供定制的实现。这在你需要为特定类型优化模板行为时非常有用。

1. 函数模板特化

	template <typename T>
	T max(T a, T b) {
	return (a > b) ? a : b;
	}
	// 特化max函数模板，用于处理两个字符串
	template <>
	std::string max<std::string>(std::string a, std::string b) {
	return (a.compare(b) > 0) ? a : b;
	}

2. 类模板偏特化

类模板偏特化允许你为模板的部分参数提供定制的实现。

	template <typename T1, typename T2>
	class Pair {
	public:
	T1 first;
	T2 second;
	// ...
	};
	// 偏特化，使得第一个类型为指针
	template <typename T2>
	class Pair<void*, T2> {
	// 特定实现
	};

三、模板元编程

模板元编程（Template Metaprogramming, TMP）是C++模板的一种高级用法，它允许在编译时执行计算和操作。模板元编程通常用于编译时类型检查、类型推导、编译时计算等。

示例：编译时计算阶乘

	#include <iostream>
	template <int N>
	struct Factorial {
	enum { value = N * Factorial<N - 1>::value };
	};
	template <>
	struct Factorial<0> {
	enum { value = 1 };
	};
	int main() {
	std::cout << "5! = " << Factorial<5>::value << std::endl;
	return 0;
	}

四、总结

C++的模板和泛型编程提供了一种强大的方式来编写灵活、可重用的代码。通过模板，你可以定义与数据类型无关的函数和类，减少代码重复，提高代码的可维护性和可扩展性。模板特化和偏特化允许你为特定类型或类型组合提供定制的实现，而模板元编程则进一步扩展了模板的能力，允许在编译时执行复杂的计算和类型操作。