Wie vereinfacht das „auto' von C 17 in Vorlagenparametern die Typableitung und erhöht die Flexibilität?

Nutzung der Vielseitigkeit von Auto in Template-Parametern mit C 17

Die Einführung von Auto in C 17-Template-Parametern bietet mehrere Vorteile und erweitert seine Funktionalität, die über ihre ursprüngliche Rolle bei der Variablendeklaration hinausgeht. Diese Funktion ermöglicht eine größere Flexibilität und Einfachheit im Vorlagencode.

Natürliche Erweiterung von Auto:

Wie Sie bemerkt haben, folgt Auto in Vorlagenparametern der natürlichen Erweiterung von Auto for Ableiten von Typen in anderen Kontexten. Durch die Angabe von auto delegieren Sie die Typableitung zum Zeitpunkt der Instanziierung an den Compiler, sodass Sie sie nicht explizit definieren müssen.

Zum Beispiel in Ihren bereitgestellten Codeausschnitten:

auto v1 = constant<5>;
auto v2 = constant<true>;
auto v3 = constant<'a'>;

Die Typen von v1, v2 und v3 werden basierend auf dem bereitgestellten Literal automatisch als int, bool bzw. char abgeleitet Werte.

Variadic-Vorlagen:

Ein weiterer Vorteil von Auto in Vorlagenparametern liegt in der Verwendung mit Variadic-Vorlagen. Variadische Vorlagen ermöglichen eine variable Anzahl von Argumenten und vereinfachen automatisch die Ableitung ihrer Typen.

Betrachten Sie das Beispiel einer Liste zur Kompilierungszeit:

template <auto ... vs> struct HeterogenousValueList {};

Diese Vorlage kann mit einer beliebigen Anzahl instanziiert werden von Argumenten, von denen jedes automatisch seinen Typ ableitet.

using MyList1 = HeterogenousValueList<42, 'X', 13u>;

Im Gegensatz dazu gab es in der Zeit vor C 17 ein Äquivalent Die Implementierung für heterogene Wertelisten würde das Umschließen der Argumente in zusätzliche Vorlagen erfordern.

Optimierung der Typableitung:

Automatisch in Vorlagenparametern vereinfacht den Prozess der Typableitung und macht ihn einfacher einfach. Dies ist besonders nützlich, wenn Sie mit komplexen Typen oder variablen Vorlagen arbeiten.

Zum Beispiel:

template <auto value> constexpr auto constant = value;

Anstatt den Werttyp explizit zu definieren, lässt Auto den Compiler ihn aus dem bereitgestellten Wert ableiten zum Zeitpunkt der Instanziierung.

constexpr auto const IntConstant42 = constant<42>;

Erweitert Flexibilität:

Schließlich erhöht die Funktion „Auto“ die Flexibilität der Vorlagenparameter. Durch den Wegfall der Notwendigkeit, Typen explizit anzugeben, sind allgemeinere Vorlagendefinitionen möglich, die ein breiteres Spektrum an Szenarien abdecken können.

Bei Wertelisten ermöglicht „auto“ beispielsweise die Erstellung sowohl heterogener als auch homogener Wertelisten Listen, ohne dass separate Vorlagen erforderlich sind.

Das obige ist der detaillierte Inhalt vonWie vereinfacht das „auto' von C 17 in Vorlagenparametern die Typableitung und erhöht die Flexibilität?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!