函数模板支持默认参数，包括模板参数的默认类型和函数参数的默认值。template void print(T value) 使用默认类型；函数参数默认值如 void fill(std::vector& vec, T value = T{}) 允许省略实参。默认参数必须从右到左连续定义，不能跳过，如 log(const T& msg, std::string prefix = “INFO”, int level = 1) 合法。模板参数推导不依赖函数参数默认值，若无法推导且无默认模板参数则报错，可设 template 解决。默认参数只能在声明中指定一次，定义时不可重复，否则引发重定义错误。合理使用提升灵活性，但需注意推导规则与声明一致性。
在C++中，函数模板支持默认参数，但使用时需注意语法限制和设计逻辑。与普通函数不同，函数模板的默认参数不能直接用于模板参数推导，且只能在声明中指定一次。合理使用能提升接口灵活性，但也容易引发歧义或编译错误。
模板参数与函数参数的默认值区分
函数模板的“默认参数”通常指两类：模板参数的默认类型，以及函数参数的默认值。两者作用不同，写法也不同。
模板参数默认类型：适用于类型参数，当调用者未显式指定时使用。
template
void print(T value) {
std::cout }
调用 print(42); 会使用 T = int；调用 print(3.14); 则覆盖默认类型。
立即学习“C++免费学习笔记（深入）”；
函数参数默认值：和普通函数一样，可以为非类型模板参数或普通形参设默认值。
template
void fill(std::vector& vec, T value = T{}) {
vec.assign(vec.size(), value);
}
这里 T{} 调用默认构造，使 value 可选。
默认参数的位置与声明规则
C++要求默认参数必须从右向左连续定义，不能跳过。例如以下写法是非法的：
void func(int a = 1, int b, int c = 3); // 错误：b 没有默认值却位于有默认值参数之后
正确写法应为：
template
void log(const T& msg, std::string prefix = “INFO”, int level = 1) {
std::cout }
这样调用时可省略末尾参数，如 log(“Hello”); 或 log(“Warning”, “WARN”);。
避免模板推导冲突
当函数参数带有默认值时，编译器仍需完成模板参数推导。若所有模板参数都无法从实参推导出，且没有提供默认模板参数，则会报错。
template
T make_value(int scale = 2) {
return T{scale * 2};
}
调用 make_value(); 正确，但 make_value(); 会失败——因为 T 无法推导。
解决方法之一是提供默认模板参数：
template
T make_value(int scale = 2) {
return T{scale * 2};
}
此时 auto x = make_value(); 将使用 T = double。
头文件中的声明与定义一致性
由于函数模板通常定义在头文件中，若在声明和定义中重复写默认参数，会导致重定义错误。
正确做法是只在声明处写默认参数：
template
void say(const T& msg = T{“Hello”});
template
void say(const T& msg) {
std::cout }
注意：定义中不能再写 = T{“Hello”}，否则编译报错。
基本上就这些。掌握好默认参数的位置、模板推导机制和声明规范，就能写出更通用且易用的模板函数。
以上就是C++函数模板默认参数使用技巧的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1475553.html
微信扫一扫 
支付宝扫一扫 
