Beim Definieren von Funktionen mit variadischen Argumenten ist es oft wünschenswert sicherzustellen, dass alle bereitgestellten Argumente vom gleichen Typ sind . Dies trägt zur Aufrechterhaltung der Typsicherheit bei und verhindert potenzielle Fehler.
Variadic-Funktionen selbst erzwingen keine Typsicherheit, sodass der Programmierer für die explizite Überprüfung verantwortlich ist. Allerdings kann eine Kombination von Techniken verwendet werden, um diese Anforderung effektiv umzusetzen.
Option 1: Convert-Later-Ansatz
Eine Methode besteht darin, die Argumente als variadisch zu akzeptieren und Führen Sie die Typkonvertierung später durch. Wenn Sie beispielsweise die notwendigen Schritte zum Konvertieren von std::array in Dragon_list_t kennen, kann die folgende Vorlagenfunktion verwendet werden:
template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
// Here be dragons
}Option 2: SFINAE-basierter Reject-Early-Ansatz
Eine weitere Option besteht darin, Substitution Failure Is Not an Error (SFINAE) zu verwenden, um eine Typprüfung auf Funktionsschnittstellenebene durchzuführen. Diese Technik ermöglicht die Überlastungsauflösung, um ungültige Argumenttypen frühzeitig abzulehnen:
template<typename R, typename... Args>
struct fst { typedef R type; };
template<typename ...Args>
typename fst<void,
typename enable_if<
is_convertible<Args, ToType>::value
>::type...
>::type
f(Args...);In diesem Beispiel wird die f-Funktion nur dann instanziiert, wenn alle bereitgestellten Argumente in den ToType-Typ konvertierbar sind.
Fazit
Durch die Verwendung entweder des „Convert-Later“-Ansatzes oder des SFINAE-basierten Reject-Early-Ansatzes können Entwickler einen Typ für alle Argumente angeben, die an Variadic-Funktionen oder Variadic-Vorlagenfunktionen übergeben werden, ohne umzusortieren zu zusätzlichen Strukturen oder Overhead.
Das obige ist der detaillierte Inhalt vonWie kann die Homogenität der Argumenttypen in variadischen Funktionen sichergestellt werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!
