函数模板支持默认参数,包括模板参数的默认类型和函数参数的默认值。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>调用 print(42); 会使用 T = int;调用 print<double>(3.14); 则覆盖默认类型。
立即学习“C++免费学习笔记(深入)”;
函数参数默认值:和普通函数一样,可以为非类型模板参数或普通形参设默认值。
template <typename T>这里 T{} 调用默认构造,使 value 可选。
C++要求默认参数必须从右向左连续定义,不能跳过。例如以下写法是非法的:
void func(int a = 1, int b, int c = 3); // 错误:b 没有默认值却位于有默认值参数之后正确写法应为:
template <typename T>这样调用时可省略末尾参数,如 log("Hello"); 或 log("Warning", "WARN");。
当函数参数带有默认值时,编译器仍需完成模板参数推导。若所有模板参数都无法从实参推导出,且没有提供默认模板参数,则会报错。
template <typename T>调用 make_value<int>(); 正确,但 make_value(); 会失败——因为 T 无法推导。
解决方法之一是提供默认模板参数:
template <typename T = double>此时 auto x = make_value(); 将使用 T = double。
由于函数模板通常定义在头文件中,若在声明和定义中重复写默认参数,会导致重定义错误。
正确做法是只在声明处写默认参数:
template <typename T = std::string>注意:定义中不能再写 = T{"Hello"},否则编译报错。
基本上就这些。掌握好默认参数的位置、模板推导机制和声明规范,就能写出更通用且易用的模板函数。
以上就是C++函数模板默认参数使用技巧的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号