C++模板详解：函数模板、类模板与默认模板参数-优快云博客

本文链接：https://blog.youkuaiyun.com/abcd7038/article/details/107268942

模板是C++中的一个重要特性，允许创建泛型代码。函数模板通过实参类型推断实现多态，例如示例中的`is_same`。类模板如`vector`在标准库中广泛应用，需要指定模板参数，如`vector<int>`。此外，还可以为模板提供默认参数，简化使用，如在声明中设定默认类型。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

模板就是一个公式，由实参自动推断类型。
下面是一个模板应用的简单例子：

函数模板

template<typename T>
bool is_same(const T& first_one,const T& second_one)
{
    return first_one==second_one;
}

其中编译器会根据实参的类型来实例化出一个模板。
参考以下例子：

cout<<"1 and 2"<<(is_same(1,2) ? "equal" : "not equal") <<endl;

其中is_same的实例化如下：

// template<typename T> 
bool is_same(const int& first_one,const int& second_one)
{
    return first_one==second_one;
}
// T=int

其中，T被推断为int。

我们常用的C++标准库中就有很多类模板，如vector
一般来说，我们必须为类模板提供模板参数。
如：

vector<int> a;

其中vector的模板参数就是我们提供的int。

我们可以为模板提供默认模板参数。
此后，我们可以直接使用默认参数。
使用默认参数的方法是：书写一个空尖括号对
设置默认模板参数的方法是，在class T或typename T后书写一个=，再写上你所想要的类型
参考下面的例子：

template<typename T=wchar_t>
struct example{
//...
};
example<int> a;
example<> b;//等价于example<wchar_t>

更多与模板知识相关的内容（包、包拓展、std::forward模板和模板特例化）
见下一章。