c++中如何定义函数模板_c++ template模板类的使用方法【汇总】

函数模板通过template声明并依赖实参类型推导，要求参数类型一致；类模板定义需全在头文件中以支持实例化；特化与偏特化用于定制特定类型行为；模板参数可设默认值，可变参数模板用...展开参数包。

函数模板怎么写，参数类型怎么推导

函数模板不是“写一个能用所有类型的函数”，而是编译器根据调用时的实参类型，自动实例化出对应版本的函数。关键在 template 声明和参数类型推导逻辑。

常见错误：手动指定类型却漏掉尖括号，比如写成 max(1, 2.5) —— 这会触发类型不匹配（int 和 double），编译失败；正确做法是让编译器统一推导，或显式转成同类型：max(1, static_cast(2.5))。

• 参数类型必须一致才能自动推导，max(3, 4.0) 会报错，因为 T 无法同时是 int 和 double
• 可以用 auto 替代模板参数（C++14 起），但仅限于返回值类型推导，不适用于形参声明
• 多个模板参数时，推导只发生在调用位置，不会跨参数“协调”，例如 template void f(T, U) 中，f(1, 3.14) 推出 T=int, U=double，不会尝试转换

template
T max(T a, T b) {
    return a > b ? a : b;
}

类模板怎么定义，成员函数为什么得写在头文件里

类模板的定义本身不生成任何代码，只有当被具体类型实例化（如 Stack）时，编译器才生成对应类和成员函数。这就决定了：所有模板定义（包括成员函数实现）必须在头文件中可见，不能像普通类那样把实现放在 .cpp 里。

否则链接阶段会报 undefined reference to 'Stack::push(int)' —— 因为编译器在使用点看不到函数体，无法实例化。

• 类内定义的成员函数默认是 inline 的，适合简单逻辑；复杂逻辑仍建议在类外定义，但必须和声明一起放在头文件中
• 模板参数可以是类型（typename T）、非类型（int N）、甚至模板模板参数（template class C），但非类型参数必须是编译期常量
• 别用 typedef 给类模板起别名，要用 using，例如：using IntStack = Stack;

template
class Stack {
    T* data;
    size_t size_;
public:
    Stack() : data(nullptr), size_(0) {}
    void push(const T& x);
};
// 必须在头文件中实现，不可分离到 .cpp
template
void Stack::push(const T& x) {
// 
实现...
}

模板特化和偏特化解决什么问题

模板特化（full specialization）是为某一组具体模板参数提供完全不同的实现；偏特化（partial specialization）则是对部分参数做约束，适用于类模板（函数模板不支持偏特化）。

典型场景：为指针类型定制 Stack，避免浅拷贝；或为 bool 单独实现 std::vector 的位压缩优化。

• 全特化写法：template class Stack { ... };，注意 template 后面不再有参数列表
• 偏特化写法：template class Stack { ... };，表示“所有指针类型都用这个版本”
• 偏特化不能用于函数模板，想按类型分支，得用 if constexpr（C++17）或 SFINAE 技巧
• 特化必须在主模板声明之后、首次使用之前完成，否则行为未定义

模板参数默认值和可变参数模板怎么用

模板参数可以设默认值，类似函数参数，默认值必须从右往左依次提供；可变参数模板则用 ... 捕获任意数量、任意类型的参数，是实现完美转发和参数包展开的基础。

容易踩坑的是参数包展开的位置和语法：必须在支持展开的上下文中（如函数调用、初始化列表、sizeof...），且展开符 ... 必须紧贴被展开的参数包名。

• 类模板默认参数： template class Array;，使用时 Array 即可
• 函数模板不能对非尾部参数设默认值（C++20 允许，但主流编译器支持有限）
• 可变参数模板递归终止必须有非模板重载或特化，否则无限实例化
• std::forward(args)... 是完美转发标准写法，漏掉 ... 或写成 std::forward(args...)... 都会编译失败

template
void emplace_back(Args&&... args) {
    new (ptr_) T(std::forward(args)...); // 注意 ... 位置
}

模板的复杂性不在语法，而在实例化时机、推导规则和特化优先级。实际项目里，多数问题出在头文件组织、特化声明顺序、或参数包展开的括号嵌套上——这些地方一旦出错，错误信息往往很长且指向模糊。