Variadic arguments

Ermöglicht es einer Funktion, eine beliebige Anzahl zusätzlicher Argumente zu akzeptieren.

Eine Funktion ist variadisch, wenn der letzte Parameter ihrer Parameterliste eine Ellipse ( ... ) ist.

// die Funktion wird wie folgt deklariert
int printx(const char* fmt, ...);
int printx(const char* fmt...); // wie oben, aber seit C++26 veraltet
// kann mit einem oder mehr Argumenten aufgerufen werden:
printx("hello world");
printx("a=%d b=%d", a, b);
int printy(..., const char* fmt); // Fehler: ... kann nur der letzte Parameter sein
int printz(...); // gültig, aber die Argumente können nicht portabel zugegriffen werden

Standardargument-Promotionen

Wenn eine variadische Funktion aufgerufen wird, erfolgen nach Lvalue-zu-Rvalue-, Array-zu-Zeiger- und Funktion-zu-Zeiger- Konvertierungen zusätzliche Konvertierungen für jedes Argument, das Teil der variablen Argumentliste ist, bekannt als Default Argument Promotions :

• float Argumente werden wie bei der Gleitkomma-Promotion in double konvertiert.
• bool , char , short und unbegrenzte Enumerationen werden wie bei der Ganzzahl-Promotion in int oder breitere Ganzzahltypen konvertiert.

Non-POD-Klassentypen (bis C++11) Bereichsbezogene Aufzählungstypen und Klassentypen mit einem geeigneten nicht-trivialen Kopierkonstruktor, einem geeigneten nicht-trivialen Verschiebekonstruktor oder einem nicht-trivialen Destruktor (seit C++11) werden in potenziell ausgewerteten Aufrufen mit implementierungsdefinierter Semantik bedingt unterstützt (diese Typen werden in nicht ausgewerteten Aufrufen immer unterstützt).

Da variadische Parameter für den Zweck der Überladungsauflösung den niedrigsten Rang haben, werden sie häufig als Auffangfallbacks in SFINAE verwendet.

Im Rumpf einer Funktion, die variadische Argumente verwendet, können die Werte dieser Argumente mithilfe der <cstdarg> Bibliotheksfunktionen abgerufen werden:

Das Verhalten des va_start Makros ist undefiniert, wenn der letzte Parameter vor den Auslassungspunkten einen Referenztyp hat oder einen Typ aufweist, der nicht kompatibel mit dem Typ ist, der sich aus den Standardargument-Promotions ergibt.

Alternativen

Hinweise

In der Programmiersprache C bis C23 muss mindestens ein benannter Parameter vor dem Ellipsen-Parameter erscheinen, daher ist R printz ( ... ) ; bis C23 nicht gültig. In C++ ist diese Form erlaubt, obwohl die an solche Funktionen übergebenen Argumente nicht zugänglich sind, und wird häufig als Fallback-Overload in SFINAE verwendet, wobei die niedrigste Priorität der Ellipsen-Konvertierung in der Überladungsauflösung ausgenutzt wird.

Diese Syntax für variadische Argumente wurde 1983 in C++ ohne das Komma vor der Ellipse eingeführt. Als C89 Funktionsprototypen von C++ übernahm, ersetzte es die Syntax durch eine, die das Komma erfordert. Aus Kompatibilitätsgründen akzeptiert C++98 sowohl den C++-Stil f ( int n... ) als auch den C-Stil f ( int n, ... ) . Die ursprüngliche C++-Grammatik ist seit C++26 als veraltet markiert.

Fehlerberichte

Die folgenden verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

Siehe auch