函数模板支持默认参数，包括模板参数的默认类型和函数参数的默认值。template <typename T = int> void print(T value) 使用默认类型；函数参数默认值如 void fill(std::vector<T>& vec, T value = T{}) 允许省略实参。默认参数必须从右到左连续定义，不能跳过，如 log(const T& msg, std::string prefix = "INFO", int level = 1) 合法。模板参数推导不依赖函数参数默认值，若无法推导且无默认模板参数则报错，可设 template <typename T = double> 解决。默认参数只能在声明中指定一次，定义时不可重复，否则引发重定义错误。合理使用提升灵活性，但需注意推导规则与声明一致性。
在C++中，函数模板支持默认参数，但使用时需注意语法限制和设计逻辑。与普通函数不同，函数模板的默认参数不能直接用于模板参数推导，且只能在声明中指定一次。合理使用能提升接口灵活性，但也容易引发歧义或编译错误。
模板参数与函数参数的默认值区分
函数模板的“默认参数”通常指两类：模板参数的默认类型，以及函数参数的默认值。两者作用不同，写法也不同。
模板参数默认类型：适用于类型参数，当调用者未显式指定时使用。
template <typename T = int>void print(T value) {
std::cout << value << std::endl;
}
调用 print(42); 会使用 T = int；调用 print<double>(3.14); 则覆盖默认类型。
立即学习“C++免费学习笔记（深入）”；
函数参数默认值：和普通函数一样，可以为非类型模板参数或普通形参设默认值。
template <typename T>void fill(std::vector<T>& vec, T value = T{}) {
vec.assign(vec.size(), value);
}
这里 T{} 调用默认构造，使 value 可选。
默认参数的位置与声明规则
C++要求默认参数必须从右向左连续定义，不能跳过。例如以下写法是非法的：
void func(int a = 1, int b, int c = 3); // 错误：b 没有默认值却位于有默认值参数之后正确写法应为：
template <typename T>void log(const T& msg, std::string prefix = "INFO", int level = 1) {
std::cout << "[" << prefix << "] " << msg << " (level " << level << ")"<< std::endl;
}
这样调用时可省略末尾参数，如 log("Hello"); 或 log("Warning", "WARN");。
避免模板推导冲突
当函数参数带有默认值时，编译器仍需完成模板参数推导。若所有模板参数都无法从实参推导出，且没有提供默认模板参数，则会报错。
template <typename T>T make_value(int scale = 2) {
return T{scale * 2};
}
调用 make_value<int>(); 正确，但 make_value(); 会失败——因为 T 无法推导。
解决方法之一是提供默认模板参数：
template <typename T = double>T make_value(int scale = 2) {
return T{scale * 2};
}
此时 auto x = make_value(); 将使用 T = double。
头文件中的声明与定义一致性
由于函数模板通常定义在头文件中，若在声明和定义中重复写默认参数，会导致重定义错误。
正确做法是只在声明处写默认参数：
template <typename T = std::string>void say(const T& msg = T{"Hello"});
template <typename T>
void say(const T& msg) {
std::cout << msg << std::endl;
}
注意：定义中不能再写 = T{"Hello"}，否则编译报错。
基本上就这些。掌握好默认参数的位置、模板推导机制和声明规范，就能写出更通用且易用的模板函数。
