前言标题里的「变量参数」在中文技术语境中通常指参数个数可变也就是可变参数variadic arguments。它和「默认参数」default arguments是两套完全不同的机制前者让一个函数接受任意多个实参后者让调用方在省略实参时自动补上一个值。二者又经常一起出现在日志、格式化输出、构造函数这类接口里所以放在一篇里对照讲是合理的。初学者在这里容易踩三类坑。第一把 C 风格的...当成万能工具结果传错一个类型就得到随机值——va_arg完全不做类型检查类型不匹配是未定义行为undefined behavior, UB。第二以为默认参数会在函数定义处「保存」一个值实际上默认实参是在调用点每次求值的表达式写一个昂贵的默认值会带来意想不到的开销。第三以为虚函数的默认参数会跟着动态类型走——默认参数是静态绑定的看的是指针或引用的静态类型这一点和虚调用恰好相反。本文先讲默认参数的语法规则和求值语义再讲 C 风格可变参数的正确用法与局限最后给出 C11 变参模板的现代写法示例以 C17 为基准。一、默认参数的规则1. 只能从右往左省略默认参数必须放在参数列表的末尾。一旦某个参数有了默认值它右边的所有参数都必须有默认值。下面的写法无法通过编译// 适用于 C17void bad(int a 1, int b); // 错误a 有默认值b 没有void good(int a, int b 2); // 正确void also_good(int a 1, int b 2);原因是调用时的实参按位置匹配。如果允许bad(, 3)这种写法语法上无法表达C 没有命名实参所以只能靠「尾部省略」来消除歧义。2. 声明与定义的分工默认实参通常写在声明里定义处不再重复。同一个作用域内对同一个参数重复指定默认值是错误的在不同作用域比如头文件的声明和源文件的定义重复写也容易引发重定义错误。// 适用于 C17// widget.hvoid render(int width, int height 600, bool vsync true);// widget.cppvoid render(int width, int height, bool vsync) {// 定义处不要再写 600 / true}默认实参可以在后续声明中追加但不能修改已经生效的值。比如先声明void f(int a);再声明void f(int a 3);是允许的在后者可见的调用点生效反过来先有默认值再改成另一个值则不允许。3. 调用点求值默认实参不是「编译期常量」而是调用发生时被求值的表达式每次调用都会重新计算。因此默认值里可以写函数调用、new、字符串构造也可以引用全局变量但不能引用局部变量、非静态数据成员或this。// 适用于 C17#include stringstd::string default_name() {return anonymous;}void greet(const std::string name default_name()) {// 每次不传实参的调用都会执行一次 default_name()}struct Widget {int width_ 10;// void resize(int w width_); // 错误默认实参不能用非静态成员void resize(int w 10); // 正确用字面量或静态成员};最后一条限制常被忽略默认实参的求值环境在类作用域之外没有隐式的this所以不能直接写成员名。需要「按当前成员取默认值」时只能用重载提供一个无参版本在函数体里读取成员。4. 默认参数不属于函数类型函数类型只由返回类型和参数类型构成默认实参不参与。把函数赋给函数指针后通过指针调用必须提供全部实参。// 适用于 C17void show(int a, int b 5);void (*fp)(int, int) show; // 类型是 void(int, int)// fp(1); // 错误通过指针调用不能用默认值fp(1, 2); // 正确5. 虚函数默认参数静态绑定这是默认参数最容易出错的地方。虚函数决定「调用哪个函数体」是动态的但默认实参由静态类型决定。派生类可以声明不同的默认值于是同一个调用可能进入派生类的函数体却使用基类声明的默认值。// 适用于 C17#include iostreamstruct Base {virtual ~Base() default;virtual void draw(int size 10) const {std::cout Base size \n;}};struct Derived : Base {void draw(int size 99) const override {std::cout Derived size \n;}};void call(const Base b) {b.draw(); // 静态类型是 Base默认值取 10函数体是 Derived::draw}call里b的静态类型是const Base编译器按Base::draw的声明补上10再虚调用到Derived::draw。所以派生类里写的99在这个调用路径上永远不会生效。正确的做法是默认值只在基类声明一次派生类不要重复指定避免读者误解。二、C 风格可变参数C 继承了 C 的...机制头文件是cstdarg。核心是四个东西va_list、va_start、va_arg、va_end。// 适用于 C17#include cstdarg#include iostreamint sum_ints(int count, ...) {va_list ap;va_start(ap, count); // 最后一个具名参数int total 0;for (int i 0; i count; i) {total va_arg(ap, int); // 每次取一个 int}va_end(ap); // 必须配对return total;}int main() {std::cout sum_ints(4, 1, 2, 3, 4) \n;return 0;}这套机制有几个硬性约束必须知道参数个数或结束标记。va_arg不知道还剩几个参数函数要么额外传一个count要么用哨兵值比如最后一个传nullptr要么靠格式串里的%d数量推算。类型必须精确匹配。va_arg(ap, int)要求实参经过默认实参提升后就是int。传char、short会被提升为int用va_arg(ap, char)取就是未定义行为传float会被提升为double用va_arg(ap, float)取也是 UB。不要传类类型。带有非平凡拷贝构造或析构函数的类型通过...传递在标准层面是条件支持的跨编译器行为不一致应当避免。字符串请传const char*或者干脆改用变参模板。va_start/va_end必须配对且va_end之后不能再使用该va_list。把va_list传给另一个函数后是否还能继续使用取决于平台有些平台传递后原对象失效需要va_copy时要用va_copy复制。C 风格...的唯一优势是能和 C 接口、printf家族对接在纯 C 代码里它几乎没有理由出现在新代码中。三、C11 变参模板变参模板variadic templates在编译期展开参数包类型安全、支持完美转发是 C 里做可变参数的正道。C17 的折叠表达式fold expression又让展开写法短了很多。// 适用于 C17#include iostream#include sstream#include string#include utilitytemplate class... Argsvoid log_line(const std::string tag, Args... args) {std::ostringstream os;os [ tag ];((os std::forwardArgs(args)), ...); // 逗号折叠std::cout os.str() \n;}int main() {log_line(info, user, 42, 3.5, std::string(ok));log_line(empty);return 0;}要点如下Args...是转发引用包配合std::forwardArgs(args)...保持实参的值类别传左值时不会多做一次拷贝传右值时可以移动。sizeof...(Args)可以在编译期得到参数个数常用来做static_assert或选择重载。逗号折叠((expr), ...)依次对每个参数求值适合「逐个输出」这类场景( ... args)这类一元折叠适合求和。参数包为空时逗号折叠的结果是void()上面的log_line(empty)仍然合法。如果参数类型相同还可以用std::initializer_list写法更简单但它要求所有元素能转换为同一类型且不支持完美转发// 适用于 C17#include initializer_listint sum(std::initializer_listint values) {int total 0;for (int v : values) {total v;}return total;}// 调用sum({1, 2, 3})四、把两者放在一起一个带默认级别的日志函数下面的例子把默认参数和变参模板组合起来。级别有默认值消息部分任意数量、任意类型。// 适用于 C17#include iostream#include sstream#include string#include utilityenum class Level { debug, info, warning, error };const char* to_string(Level level) {switch (level) {case Level::debug: return DEBUG;case Level::info: return INFO;case Level::warning: return WARN;case Level::error: return ERROR;}return UNKNOWN;}template class... Argsvoid log(Level level, const std::string message, Args... args) {std::ostringstream os;os [ to_string(level) ] message;((os std::forwardArgs(args)), ...);std::cout os.str() \n;}// 默认参数放在最后调用方可以只传 messagetemplate class... Argsvoid log_info(const std::string message, Args... args) {log(Level::info, message, std::forwardArgs(args)...);}int main() {log_info(server started);log_info(listening on, 127.0.0.1, 8080);log(Level::error, open failed, code, -1);return 0;}注意这里没有用「默认参数 变参」直接混写。C 允许void f(int a 1, ...)这种签名但可变参数部分无法获得默认值实际意义有限更清晰的做法是像上面这样用一个固定参数的转发函数表达默认行为。to_string的switch覆盖了全部枚举值末尾的return UNKNOWN是为了让编译器不报警告逻辑上不可达。常见坑点❌void f(int a 1, int b);把有默认值的参数放在前面。✅ 默认参数一律靠右void f(int a, int b 1);。❌ 在头文件和源文件里各写一遍默认值链接或编译报重定义。✅ 默认值只写在声明处定义处省略。❌ 在类成员函数里写void f(int x member_);。✅ 默认实参不能使用非静态成员改为重载一个无参版本在函数体内读取成员。❌ 以为派生类重写虚函数时改默认值会生效。✅ 默认参数按静态类型绑定只在基类声明一次或干脆不用默认参数而显式传值。❌va_arg(ap, char)或va_arg(ap, float)。✅ 使用提升后的类型int、double更推荐直接用变参模板。❌ 用...传std::string对象再在函数里按值取回。✅ 传const char*或std::string_view类类型不要穿过 C 风格可变参数。❌ 默认值写成开销很大的表达式却没意识到每次调用都会执行。✅ 记住默认实参在调用点求值昂贵初始化改为函数内惰性计算或重载。❌ 通过函数指针调用时省略实参指望默认值补上。✅ 默认实参不属于函数类型通过指针调用必须给全实参。总结特性默认参数C 风格...变参模板引入版本C98继承自 CC11类型安全是否类型不匹配是 UB是参数个数固定尾部可省任意需自行计数任意求值时机调用点每次求值调用点编译期展开与虚函数静态绑定易误解不适用不适用推荐场景可选配置项对接 C API新代码的通用可变参数默认参数的关键词是「静态」静态位置、静态类型、调用点求值。可变参数的关键词是「类型」C 风格那条路完全不检查类型能不用就不用变参模板把检查提前到编译期再配合折叠表达式几乎可以覆盖所有需要「任意多个参数」的场合。把这两套机制分清楚就不会再把...当成省事的万能入口。
前言标题里的「变量参数」在中文技术语境中通常指参数个数可变也就是可变参数variadic arguments。它和「默认参数」default arguments是两套完全不同的机制前者让一个函数接受任意多个实参后者让调用方在省略实参时自动补上一个值。二者又经常一起出现在日志、格式化输出、构造函数这类接口里所以放在一篇里对照讲是合理的。初学者在这里容易踩三类坑。第一把 C 风格的...当成万能工具结果传错一个类型就得到随机值——va_arg完全不做类型检查类型不匹配是未定义行为undefined behavior, UB。第二以为默认参数会在函数定义处「保存」一个值实际上默认实参是在调用点每次求值的表达式写一个昂贵的默认值会带来意想不到的开销。第三以为虚函数的默认参数会跟着动态类型走——默认参数是静态绑定的看的是指针或引用的静态类型这一点和虚调用恰好相反。本文先讲默认参数的语法规则和求值语义再讲 C 风格可变参数的正确用法与局限最后给出 C11 变参模板的现代写法示例以 C17 为基准。一、默认参数的规则1. 只能从右往左省略默认参数必须放在参数列表的末尾。一旦某个参数有了默认值它右边的所有参数都必须有默认值。下面的写法无法通过编译// 适用于 C17void bad(int a 1, int b); // 错误a 有默认值b 没有void good(int a, int b 2); // 正确void also_good(int a 1, int b 2);原因是调用时的实参按位置匹配。如果允许bad(, 3)这种写法语法上无法表达C 没有命名实参所以只能靠「尾部省略」来消除歧义。2. 声明与定义的分工默认实参通常写在声明里定义处不再重复。同一个作用域内对同一个参数重复指定默认值是错误的在不同作用域比如头文件的声明和源文件的定义重复写也容易引发重定义错误。// 适用于 C17// widget.hvoid render(int width, int height 600, bool vsync true);// widget.cppvoid render(int width, int height, bool vsync) {// 定义处不要再写 600 / true}默认实参可以在后续声明中追加但不能修改已经生效的值。比如先声明void f(int a);再声明void f(int a 3);是允许的在后者可见的调用点生效反过来先有默认值再改成另一个值则不允许。3. 调用点求值默认实参不是「编译期常量」而是调用发生时被求值的表达式每次调用都会重新计算。因此默认值里可以写函数调用、new、字符串构造也可以引用全局变量但不能引用局部变量、非静态数据成员或this。// 适用于 C17#include stringstd::string default_name() {return anonymous;}void greet(const std::string name default_name()) {// 每次不传实参的调用都会执行一次 default_name()}struct Widget {int width_ 10;// void resize(int w width_); // 错误默认实参不能用非静态成员void resize(int w 10); // 正确用字面量或静态成员};最后一条限制常被忽略默认实参的求值环境在类作用域之外没有隐式的this所以不能直接写成员名。需要「按当前成员取默认值」时只能用重载提供一个无参版本在函数体里读取成员。4. 默认参数不属于函数类型函数类型只由返回类型和参数类型构成默认实参不参与。把函数赋给函数指针后通过指针调用必须提供全部实参。// 适用于 C17void show(int a, int b 5);void (*fp)(int, int) show; // 类型是 void(int, int)// fp(1); // 错误通过指针调用不能用默认值fp(1, 2); // 正确5. 虚函数默认参数静态绑定这是默认参数最容易出错的地方。虚函数决定「调用哪个函数体」是动态的但默认实参由静态类型决定。派生类可以声明不同的默认值于是同一个调用可能进入派生类的函数体却使用基类声明的默认值。// 适用于 C17#include iostreamstruct Base {virtual ~Base() default;virtual void draw(int size 10) const {std::cout Base size \n;}};struct Derived : Base {void draw(int size 99) const override {std::cout Derived size \n;}};void call(const Base b) {b.draw(); // 静态类型是 Base默认值取 10函数体是 Derived::draw}call里b的静态类型是const Base编译器按Base::draw的声明补上10再虚调用到Derived::draw。所以派生类里写的99在这个调用路径上永远不会生效。正确的做法是默认值只在基类声明一次派生类不要重复指定避免读者误解。二、C 风格可变参数C 继承了 C 的...机制头文件是cstdarg。核心是四个东西va_list、va_start、va_arg、va_end。// 适用于 C17#include cstdarg#include iostreamint sum_ints(int count, ...) {va_list ap;va_start(ap, count); // 最后一个具名参数int total 0;for (int i 0; i count; i) {total va_arg(ap, int); // 每次取一个 int}va_end(ap); // 必须配对return total;}int main() {std::cout sum_ints(4, 1, 2, 3, 4) \n;return 0;}这套机制有几个硬性约束必须知道参数个数或结束标记。va_arg不知道还剩几个参数函数要么额外传一个count要么用哨兵值比如最后一个传nullptr要么靠格式串里的%d数量推算。类型必须精确匹配。va_arg(ap, int)要求实参经过默认实参提升后就是int。传char、short会被提升为int用va_arg(ap, char)取就是未定义行为传float会被提升为double用va_arg(ap, float)取也是 UB。不要传类类型。带有非平凡拷贝构造或析构函数的类型通过...传递在标准层面是条件支持的跨编译器行为不一致应当避免。字符串请传const char*或者干脆改用变参模板。va_start/va_end必须配对且va_end之后不能再使用该va_list。把va_list传给另一个函数后是否还能继续使用取决于平台有些平台传递后原对象失效需要va_copy时要用va_copy复制。C 风格...的唯一优势是能和 C 接口、printf家族对接在纯 C 代码里它几乎没有理由出现在新代码中。三、C11 变参模板变参模板variadic templates在编译期展开参数包类型安全、支持完美转发是 C 里做可变参数的正道。C17 的折叠表达式fold expression又让展开写法短了很多。// 适用于 C17#include iostream#include sstream#include string#include utilitytemplate class... Argsvoid log_line(const std::string tag, Args... args) {std::ostringstream os;os [ tag ];((os std::forwardArgs(args)), ...); // 逗号折叠std::cout os.str() \n;}int main() {log_line(info, user, 42, 3.5, std::string(ok));log_line(empty);return 0;}要点如下Args...是转发引用包配合std::forwardArgs(args)...保持实参的值类别传左值时不会多做一次拷贝传右值时可以移动。sizeof...(Args)可以在编译期得到参数个数常用来做static_assert或选择重载。逗号折叠((expr), ...)依次对每个参数求值适合「逐个输出」这类场景( ... args)这类一元折叠适合求和。参数包为空时逗号折叠的结果是void()上面的log_line(empty)仍然合法。如果参数类型相同还可以用std::initializer_list写法更简单但它要求所有元素能转换为同一类型且不支持完美转发// 适用于 C17#include initializer_listint sum(std::initializer_listint values) {int total 0;for (int v : values) {total v;}return total;}// 调用sum({1, 2, 3})四、把两者放在一起一个带默认级别的日志函数下面的例子把默认参数和变参模板组合起来。级别有默认值消息部分任意数量、任意类型。// 适用于 C17#include iostream#include sstream#include string#include utilityenum class Level { debug, info, warning, error };const char* to_string(Level level) {switch (level) {case Level::debug: return DEBUG;case Level::info: return INFO;case Level::warning: return WARN;case Level::error: return ERROR;}return UNKNOWN;}template class... Argsvoid log(Level level, const std::string message, Args... args) {std::ostringstream os;os [ to_string(level) ] message;((os std::forwardArgs(args)), ...);std::cout os.str() \n;}// 默认参数放在最后调用方可以只传 messagetemplate class... Argsvoid log_info(const std::string message, Args... args) {log(Level::info, message, std::forwardArgs(args)...);}int main() {log_info(server started);log_info(listening on, 127.0.0.1, 8080);log(Level::error, open failed, code, -1);return 0;}注意这里没有用「默认参数 变参」直接混写。C 允许void f(int a 1, ...)这种签名但可变参数部分无法获得默认值实际意义有限更清晰的做法是像上面这样用一个固定参数的转发函数表达默认行为。to_string的switch覆盖了全部枚举值末尾的return UNKNOWN是为了让编译器不报警告逻辑上不可达。常见坑点❌void f(int a 1, int b);把有默认值的参数放在前面。✅ 默认参数一律靠右void f(int a, int b 1);。❌ 在头文件和源文件里各写一遍默认值链接或编译报重定义。✅ 默认值只写在声明处定义处省略。❌ 在类成员函数里写void f(int x member_);。✅ 默认实参不能使用非静态成员改为重载一个无参版本在函数体内读取成员。❌ 以为派生类重写虚函数时改默认值会生效。✅ 默认参数按静态类型绑定只在基类声明一次或干脆不用默认参数而显式传值。❌va_arg(ap, char)或va_arg(ap, float)。✅ 使用提升后的类型int、double更推荐直接用变参模板。❌ 用...传std::string对象再在函数里按值取回。✅ 传const char*或std::string_view类类型不要穿过 C 风格可变参数。❌ 默认值写成开销很大的表达式却没意识到每次调用都会执行。✅ 记住默认实参在调用点求值昂贵初始化改为函数内惰性计算或重载。❌ 通过函数指针调用时省略实参指望默认值补上。✅ 默认实参不属于函数类型通过指针调用必须给全实参。总结特性默认参数C 风格...变参模板引入版本C98继承自 CC11类型安全是否类型不匹配是 UB是参数个数固定尾部可省任意需自行计数任意求值时机调用点每次求值调用点编译期展开与虚函数静态绑定易误解不适用不适用推荐场景可选配置项对接 C API新代码的通用可变参数默认参数的关键词是「静态」静态位置、静态类型、调用点求值。可变参数的关键词是「类型」C 风格那条路完全不检查类型能不用就不用变参模板把检查提前到编译期再配合折叠表达式几乎可以覆盖所有需要「任意多个参数」的场合。把这两套机制分清楚就不会再把...当成省事的万能入口。
平方复杂度无法被常规优化消除｜TaoToken 统一 Key 通道实测)
