Warum schlägt die Ableitung von Vorlagenargumenten bei impliziten Typkonvertierungen in C fehl?

Abzug von Vorlagenargumenten und implizite Typkonvertierung

In C ist der Abzug von Vorlagenargumenten eine leistungsstarke Funktion, die automatisch die Typen von Vorlagenparametern bestimmt auf die Argumente des Anrufers. Bestimmte Arten von Konvertierungen werden jedoch bei der Ableitung nicht berücksichtigt, einschließlich benutzerdefinierter Konvertierungen.

Problem mit impliziter Konvertierung

Beachten Sie den folgenden Codeausschnitt:

<code class="cpp">template<typename Dtype>
class Scalar{
    Scalar(Dtype v) : value_(v){}
private:
    Dtype value_;
};</code>

Die Scalar-Klasse stellt einen einfachen Werttyp dar. Betrachten Sie nun die folgende Vorlagenfunktion:

<code class="cpp">template<typename Dtype>
void func(int a, Scalar<Dtype> b){ 
    cout << "ok" <<endl;
}</code>

Diese Funktion benötigt einen int und einen Skalar Objekt als Argumente.

In der folgenden Hauptfunktion versuchen wir, func mit einem int- und einem int-Wert aufzurufen:

<code class="cpp">int main(){
    int a = 1;
    func(a, 2); // ERROR: template argument deduction fails
    return 0;
}</code>

Dies führt jedoch zu einem Kompilierungsfehler, der besagt, dass die Vorlage Der Argumentabzug ist fehlgeschlagen. Dies liegt daran, dass der Compiler den int-Wert 2 nicht automatisch in einen Skalar-Wert umwandeln kann. Objekt. Benutzerdefinierte Konvertierungen wie Scalar::Scalar(Dtype value) werden bei der Ableitung von Vorlagenargumenten nicht berücksichtigt.

Mögliche Lösungen

Zu beheben Bei diesem Problem haben Sie mehrere Möglichkeiten:

• Explizite Konvertierung auf der Anruferseite:

  <code class="cpp">func(a, Scalar<int>(2));</code>

  Dadurch wird der int-Wert manuell in einen Skalar<. konvertiert ;int> Objekt, bevor Sie es an func übergeben.

• Abzugsanleitung: (nur C 17)
  Abzugsanleitung für Scalar hinzufügen:

  <code class="cpp">template<typename T>
  Scalar(T v) -> Scalar<T>;</code>

  Dies weist den Compiler an, diesen Ableitungsleitfaden zu bevorzugen, wenn er den Typ von Skalar aus dem Argument des Aufrufers ableitet, sodass Sie func wie folgt aufrufen können:

  <code class="cpp">func(a, 2);</code>

• Explizite Instanziierung:
  Sie können func explizit für einen bestimmten Typ instanziieren:

  <code class="cpp">func<int>(a, 2);</code>

  Dies zwingt den Compiler, die Funktion mit Dtype = int zu instanziieren, wodurch die Notwendigkeit einer Ableitung von Vorlagenargumenten umgangen wird.

Das obige ist der detaillierte Inhalt vonWarum schlägt die Ableitung von Vorlagenargumenten bei impliziten Typkonvertierungen in C fehl?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!