变长参数

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直到 C++17*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔（Boolean） - 整型（Integer） - 浮点型（Floating-point）
字符（Character） - 字符串（String） - nullptr (C++11)
用户定义 (C++11)
工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

函数

声明

函数声明

函数参数列表

函数定义

函数契约说明符 (C++26)

默认参数

变长参数

inline 说明符

Lambda 表达式 (C++11)

协程 (C++20)

替换函数

函数调用

依赖于参数的查找 (ADL)

函数调用运算符

函数对象

重载

重载决议

运算符重载

重载集地址

 

允许函数接受任意数量的额外参数。

如果函数的参数列表的最后一个参数是省略号（...），则该函数是变参函数。

省略号之前的逗号可以省略。

（C++26 中已弃用）

// the function declared as follows
int printx(const char* fmt, ...);
int printx(const char* fmt...); // same as above, but deprecated since C++26
 
// may be called with one or more arguments:
printx("hello world");
printx("a=%d b=%d", a, b);
 
int printy(..., const char* fmt); // error: ... can only be the last parameter
int printz(...); // valid, but the arguments cannot be accessed portably

这与函数参数包展开不同，参数包展开由作为参数声明符一部分的省略号指示，而不是单独的省略号参数。参数包展开和“变参”省略号都可以出现在函数模板的声明中，例如std::is_function。

(C++11 起)

默认参数提升

当调用变参函数时，在左值到右值、数组到指针以及函数到指针的转换之后，作为可变参数列表一部分的每个参数都会进行额外的转换，称为默认参数提升

std::nullptr_t 被转换为 void*。

(C++11 起)

• float 参数被转换为 double，如浮点提升。
• bool、char、short 和无作用域枚举被转换为 int 或更宽的整数类型，如整型提升。

非 POD 类类型(C++11 前)作用域枚举和具有合格的非平凡复制构造函数、合格的非平凡移动构造函数或非平凡析构函数的类类型(C++11 起) 在潜在求值调用中是条件支持的，其语义由实现定义（这些类型在未求值调用中始终受支持）。

由于变参参数在重载决议中具有最低的等级，它们通常在 SFINAE 中用作包罗万象的备用方案。

在使用变参参数的函数体内，可以使用 <cstdarg> 库工具访问这些参数的值

定义于头文件 <cstdarg>
va_start	启用对变长函数参数的访问 (函数宏)
va_arg	访问下一个变长函数参数 (函数宏)
va_copy (C++11)	复制变长函数参数 (函数宏)
va_end	结束变长函数参数的遍历 (函数宏)
va_list	保存 va_start、va_arg、va_end 和 va_copy 所需的信息 (类型定义)

如果省略号之前的最后一个参数具有引用类型，或者其类型与默认参数提升后的类型不兼容，则 va_start 宏的行为是未定义的。

如果将包展开或由lambda 捕获产生的实体用作 va_start 的最后一个参数，则程序格式错误，无需诊断。

(C++11 起)

替代方案

变参模板也可以用来创建接受可变数量参数的函数。它们通常是更好的选择，因为它们不对参数的类型施加限制，不执行整数和浮点提升，并且是类型安全的。 如果所有可变参数都具有共同的类型，则 std::initializer_list 提供了一种方便的机制（尽管语法不同）来访问可变参数。但是，在这种情况下，参数不能被修改，因为 std::initializer_list 只能提供一个指向其元素的 const 指针。

(C++11 起)

注意

在 C 编程语言中，直到 C23，至少一个命名参数必须出现在省略号参数之前，因此 R printz(...); 在 C23 之前无效。在 C++ 中，即使无法访问传递给此类函数的参数，也允许这种形式，并且通常在 SFINAE 中用作备用重载，利用省略号转换在重载决议中的最低优先级。

这种变参语法于 1983 年引入 C++，省略号前没有逗号。当 C89 从 C++ 采用函数原型时，它用一个需要逗号的语法替换了它。为了兼容性，C++98 同时接受 C++ 风格的 f(int n...) 和 C 风格的 f(int n, ...)。原始的 C++ 风格语法自 C++26 起已弃用。

逗号可以在简写函数模板中使用，以使省略号表示变参函数而不是变参模板 void f1(auto...);   // 等同于 template<class... Ts> void f3(Ts...) void f2(auto, ...); // 等同于 template<class T> void f3(T, ...)

(C++20 起)

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
CWG 506	C++98	将非 POD 类参数传递给 省略号会导致未定义行为	传递此类参数是 条件支持的，且语义由 实现定义
CWG 634	C++98	条件支持的类类型 导致某些 SFINAE 惯用法失效	如果未求值，则始终支持
CWG 2247	C++11	没有限制将参数包 或 lambda 捕获传递给 va_start	导致格式错误， 无需诊断
CWG 2347	C++11	不清楚传递给省略号的 作用域枚举是否受默认参数提升影响	传递作用域枚举 是条件支持的，且语义由 实现定义

参阅

C 文档 关于 变参（Variadic arguments）

C 文档 关于 隐式转换（Implicit conversions）