C++模板基本概念 泛型编程思想解析

这里

template 

告诉编译器，

max

是一个模板函数，

T

是一个类型参数。当你在代码中这样调用它时：

int i = max(5, 10);      // 编译器实例化出 max(int, int)double d = max(3.14, 2.71); // 编译器实例化出 max(double, double)std::string s = max(std::string("hello"), std::string("world")); // 编译器实例化出 max(std::string, std::string)

编译器会根据传入的参数类型自动推导出

T

的具体类型，然后生成一个特定类型的

max

函数。这玩意儿的强大之处在于，它不仅能处理基本数据类型，只要你的自定义类型支持

>

运算符，它也能正常工作。

当然，函数模板也不是没有坑。最常见的可能就是模板参数推导失败，或者当你希望对特定类型有特殊行为时，就需要用到模板重载或特化。比如，你可能想对

const char*

类型的字符串进行比较时，不是比较指针地址，而是比较字符串内容，这时候就需要一个

max(const char*, const char*)

的特化版本，或者干脆重载一个非模板函数。这让代码在通用性与特定性之间找到平衡，但有时候也确实会增加一点点复杂度，需要我们对类型系统有更深的理解。

C++类模板如何构建泛型数据结构？

如果说函数模板解决了算法的类型无关性，那么类模板则解决了数据结构的类型无关性。这对于构建像列表、栈、队列、映射等容器类简直是天作之合，也是STL能够如此强大和通用的核心原因。

想象一下，我们想实现一个可以存储任何类型元素的动态数组（简化版

std::vector

）：