變長引數

 

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）