C++模板编程案例

在C++编程领域中，模板是一项强大的特性，它允许我们编写通用的代码，以适应不同的数据类型，而不需要为每种类型都重复编写相似的逻辑。下面通过几个具体案例来深入了解C++模板编程。

 案例一：通用的交换函数

在日常编程中，交换两个变量的值是常见操作。使用模板，我们可以创建一个适用于各种数据类型的交换函数。

```cpp

template <typename T>

void swap(T& a, T& b) {

T temp = a;

a = b;

b = temp;

}

```

上述代码定义了一个模板函数 `swap`，`typename T` 表示 `T` 是一个类型参数。在函数体中，我们借助一个临时变量来完成两个同类型变量 `a` 和 `b` 的值交换。无论是 `int`、`float` 还是自定义的类对象，都可以使用这个函数进行交换。

 案例二：通用的数组打印函数

假设我们有不同类型的数组，想要一个统一的函数来打印数组中的元素。这时模板编程就派上用场了。

```cpp

template <typename T, size_t N>

void printArray(const T (&arr)[N]) {

for (size_t i = 0; i < N; ++i) {

std::cout << arr[i] << " ";

}

std::cout << std::endl;

}

```

这个模板函数 `printArray` 接受一个数组引用作为参数。`typename T` 表示数组元素的类型，`size_t N` 表示数组的大小。在函数内部，通过循环遍历数组并打印每个元素。无论是 `int` 数组 `int arr1[] = {1, 2, 3}` 还是 `double` 数组 `double arr2[] = {1.1, 2.2, 3.3}`，都能通过调用 `printArray(arr1)` 和 `printArray(arr2)` 来正确打印。

 案例三：通用的栈类

栈是一种常见的数据结构，先进后出。使用模板可以创建一个通用的栈类，能存储不同类型的数据。

```cpp

template <typename T>

class Stack {

private:

std::vector<T> elements;

public:

void push(const T& element) {

elements.push_back(element);

}

void pop() {

if (!elements.empty()) {

elements.pop_back();

}

}

const T& top() const {

if (!elements.empty()) {

return elements.back();

}

throw std::runtime_error("Stack is empty");

}

bool empty() const {

return elements.empty();

}

};

```

在这个 `Stack` 类模板中，`typename T` 定义了栈中存储的数据类型。类中包含了入栈 `push`、出栈 `pop`、获取栈顶元素 `top` 和判断栈是否为空 `empty` 等方法。我们可以创建 `Stack<int>` 来存储整数，或者 `Stack<std::string>` 来存储字符串，极大地提高了代码的复用性和灵活性。

通过这些案例，我们可以清晰地看到C++模板编程在实现代码通用性方面的强大能力，它为我们编写高效、可复用的代码提供了有力支持。