Warum schlägt die explizite Angabe von Vorlagenparametern in „std::make_pair' von C 11 beim Kompilieren fehl?

C 11 make_pair mit angegebenen Vorlagenparametern kann nicht kompiliert werden

F:

Bei Verwendung von C 11 mit g 4.7, Ein Versuch, Code mit der Funktion std::make_pair mit explizit angegebenen Vorlagenparametern zu kompilieren, schlägt fehl. Das Ziel besteht darin, die Ursache dieses Fehlers zu verstehen.

A:

Falsche Verwendung für make_pair

std::make_pair ist für die automatische Ableitung von Vorlagenargumenten vorgesehen. Durch die explizite Angabe von Vorlagenparametern wird diese Schlussfolgerung verhindert, was zu einer Nichtübereinstimmung zwischen den tatsächlichen und den erwarteten Argumenttypen führt. Die Funktion akzeptiert Argumente vom Typ T&& und U&&, wobei T und U Vorlagentypparameter sind, die im Grunde genommen wie folgt aussehen:

template<typename T, typename U>
make_pair(T&& argT, U&& argU);

Argumenttypdiskrepanz

Bei der Angabe von Vorlagenparametern explizit erfolgt kein Argumentabzug. Stattdessen werden die angegebenen Typen direkt in der Funktionsvorlage verwendet, was zu Folgendem führt:

make_pair(std::string&& argT, int&& argU);

In diesem Fall sind beide Parametertypen R-Wert-Referenzen, die nur an R-Werte gebunden werden können. Eines der Argumente, s, ist jedoch ein L-Wert (ein vorhandenes Objekt), wodurch es mit dem erwarteten R-Wert-Referenztyp nicht kompatibel ist. Daher kann die Funktionsvorlage nicht mit den bereitgestellten Argumenten übereinstimmen, was zu einem Kompilierungsfehler führt.

Korrekte Verwendung für make_pair

Um dieses Problem zu beheben, entfernen Sie die explizite Vorlagenparameterspezifikation und erlauben Sie den automatischen Argumentabzug. In diesem Szenario kann der Compiler ableiten, dass T std::string ist, da s ein L-Wert vom Typ std::string ist, was zu std::string& als endgültigem Argumenttyp führt. In ähnlicher Weise wird abgeleitet, dass U int ist, wobei das Argument 7 ein R-Wert vom Typ int ist, was zu int&& führt. Diese Argumenttypen stimmen korrekt mit der Funktionsvorlage überein und ermöglichen so eine erfolgreiche Kompilierung.

Allgemeine Richtlinie für Vorlagen

Für Vorlagen wird im Allgemeinen empfohlen, den Compiler die Ableitung von Vorlagenargumenten durchführen zu lassen wann immer möglich. Die explizite Angabe von Vorlagenparametern sollte nur dann erfolgen, wenn dies unbedingt erforderlich ist.

Das obige ist der detaillierte Inhalt vonWarum schlägt die explizite Angabe von Vorlagenparametern in „std::make_pair' von C 11 beim Kompilieren fehl?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!