Warum kann C keine Vorlagenparameter aus Standardfunktionsargumenten ableiten?

Vorlagenparameter aus Standardfunktionsargumenten ableiten

Die Unfähigkeit des Compilers, Vorlagenargumente aus Standardfunktionsargumenten im bereitgestellten Code abzuleiten, kann auf Bestimmungen des C zurückgeführt werden Sprachspezifikation.

In C 03, wie in §14.8.2/17 der Spezifikation zitiert, „kann ein Vorlagentypparameter nicht aus dem Typ eines Funktionsstandardarguments abgeleitet werden.“ Diese Einschränkung verbietet ausdrücklich die Verwendung von Standardargumenten für die Ableitung von Vorlagenparametern.

Während C 11 die Möglichkeit eingeführt hat, Standardvorlagenargumente für Funktionsvorlagen anzugeben, ist das Standardfunktionsargument immer noch nicht für die Ableitung von Vorlagenargumenten verwendbar. Insbesondere heißt es in C 11 §14.8.2.5/5: „Die nicht abgeleiteten Kontexte sind: ... Ein Vorlagenparameter, der im Parametertyp eines Funktionsparameters verwendet wird, der ein Standardargument hat, das im Aufruf für welches Argument verwendet wird.“ Der Abzug wird durchgeführt.“

Daher stimmt die Unfähigkeit des bereitgestellten Codes, den Vorlagenparameter für T aus dem Standardargument 0.0f abzuleiten, mit der Sprachspezifikation überein. Um das Problem zu beheben, muss beim Aufruf der Bar-Funktion ein explizites Vorlagenargument angegeben werden, wie im folgenden überarbeiteten Code gezeigt:

a.bar<float>(5);

Das obige ist der detaillierte Inhalt vonWarum kann C keine Vorlagenparameter aus Standardfunktionsargumenten ableiten?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!