在C++中，函数模板支持默认参数，但使用时需注意语法限制和设计逻辑。与普通函数不同，函数模板的默认参数不能直接用于模板参数推导，且只能在声明中指定一次。合理使用能提升接口灵活性，但也容易引发歧义或编译错误。
模板参数与函数参数的默认值区分函数模板的“默认参数”通常指两类：模板参数的默认类型，以及函数参数的默认值。两者作用不同，写法也不同。
模板参数默认类型：适用于类型参数，当调用者未显式指定时使用。
template <typename T = int>void print(T value) {
std::cout << value << std::endl;
}
调用 print(42); 会使用 T = int；调用 print<double>(3.14); 则覆盖默认类型。
函数参数默认值：和普通函数一样，可以为非类型模板参数或普通形参设默认值。
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");。
Post AI
博客文章AI生成器
50
查看详情
避免模板推导冲突
当函数参数带有默认值时，编译器仍需完成模板参数推导。若所有模板参数都无法从实参推导出，且没有提供默认模板参数，则会报错。
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"}，否则编译报错。
基本上就这些。掌握好默认参数的位置、模板推导机制和声明规范，就能写出更通用且易用的模板函数。
以上就是C++函数模板默认参数使用技巧的详细内容，更多请关注知识资源分享宝库其它相关文章！
相关标签： c++ 解决方法 编译错误 print String const auto int double void 接口 函数模板 值参数 形参 实参 大家都在看： C++中深拷贝和浅拷贝在内存管理上的区别是什么 C++智能指针引用计数变化观察方法 C++如何开发学生信息管理系统 C++异常处理与标准库算法结合 C++数组与指针中数组和指针的算术运算解析
发表评论:
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。