Variadic arguments

関数が任意の数の追加引数を受け入れることを可能にします。

関数は、その パラメータリスト の最後のパラメータが省略記号（ ... ）である場合、可変引数関数となります。

// 以下のように宣言された関数
int printx(const char* fmt, ...);
int printx(const char* fmt...); // 上記と同じだが、C++26以降非推奨
// 1つ以上の引数で呼び出し可能:
printx("hello world");
printx("a=%d b=%d", a, b);
int printy(..., const char* fmt); // エラー: ... は最後のパラメータでのみ使用可能
int printz(...); // 有効だが、引数に移植性を持ってアクセスできない

デフォルト引数プロモーション

可変個引数関数が呼び出されると、左辺値から右辺値、配列からポインタ、関数からポインタへの 変換 の後、可変個引数リストの一部である各引数は デフォルト引数プロモーション として知られる追加の変換を受けます：

• float 引数は 浮動小数点プロモーション のように double に変換されます。
• bool 、 char 、 short 、およびスコープなし列挙型は 整数プロモーション のように int またはより広い整数型に変換されます。

Non-PODクラス型 (C++11まで) スコープ付き列挙型および、適格な非自明なコピーコンストラクタ、適格な非自明なムーブコンストラクタ、または非自明なデストラクタを持つクラス型 (C++11以降) は、実装定義のセマンティクスを持つ潜在的に評価される呼び出しにおいて条件付きでサポートされる（これらの型は常に 評価されない呼び出し でサポートされる）。

可変個引数パラメータは オーバーロード解決 において最も低い優先順位を持つため、 SFINAE においてキャッチオールのフォールバックとして一般的に使用されます。

可変個引数を使用する関数本体内部では、これらの引数の値は <cstdarg> ライブラリ機能 を使用してアクセスできます：

省略記号の前の最後のパラメータが参照型である場合、または 互換性のある型 でない型（デフォルト引数プロモーションによって生じる型と互換性のない型）である場合、 va_start マクロの動作は未定義です。

代替案

注記

Cプログラミング言語ではC23まで、省略記号パラメータの前に少なくとも1つの名前付きパラメータが存在しなければならないため、 R printz ( ... ) ; はC23まで有効ではありません。C++では、この形式はそのような関数に渡された引数にアクセスできないにもかかわらず許可されており、 SFINAE におけるフォールバックオーバーロードとして一般的に使用され、 オーバーロード解決 における省略記号変換の最低優先順位を利用しています。

この可変引数の構文は、1983年のC++で、省略記号の前のコンマなしで導入されました。C89がC++から関数プロトタイプを採用した際、コンマを必要とする構文に置き換えられました。互換性のため、C++98はC++スタイルの f ( int n... ) とCスタイルの f ( int n, ... ) の両方を受け入れます。元のC++スタイルの文法はC++26以降非推奨となっています。

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目