## Kann C 17 einen teilweisen Abzug von Klassenvorlagenargumenten erreichen?

Teilweise Ableitung von Klassenvorlagenargumenten in C 17

In C 17 ermöglicht die Ableitung von Klassenvorlagenargumenten (CTAD) die Ableitung von Vorlagenargumenten basierend auf den an a übergebenen Argumenten Funktion oder Konstruktor. Allerdings erfordert dieser Prozess derzeit die Angabe aller oder keiner der Argumente.

Es stellt sich die Frage, ob es möglich ist, Vorlagenargumente teilweise anzugeben und die übrigen Argumente abzuleiten. Zum Beispiel:

<code class="cpp">Base<V = bool> val1(1, 4.);        // U & V deduced --> Base<int, double, bool>
Base<T = bool, T =int> val2(5.);  // V deduced     --> Base<bool, int, double></code>

Der Versuch, Alias-Vorlagen zu verwenden, um dies zu erreichen, wie zum Beispiel:

<code class="cpp">template<class T, class U> using Base2 = Base<T, U, double>;

void func() {
    NewBase2 val(1, 2);
}</code>

führt jedoch zu einem Kompilierungsfehler.

Derzeit CTAD unterstützt keinen Teilabzug. Das Papier P1021R0, in dem diese Funktion vorgeschlagen wurde, wurde nicht akzeptiert. Allerdings umfasst C 20 möglicherweise Unterstützung für Alias-Vorlagen (P1814) und Aggregate (P1816), was eine Problemumgehung darstellen könnte.

Das obige ist der detaillierte Inhalt von## Kann C 17 einen teilweisen Abzug von Klassenvorlagenargumenten erreichen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!