Vorlage Typ Abzug in C++ für Klasse vs Funktion?

Question

Warum ist dieser automatische Typabzug nur für Funktionen und nicht für Klassen möglich?

Answer 1

In bestimmten Fällen können Sie immer wie std::make_pair tun:

template<class T> 
make_foo(T val) { 
    return foo<T>(val); 
} 

EDIT: Ich habe gerade folgend in "The C++ Programming Language, Third Edition", Seite 335. Bjarne sagen:

Beachten Sie, dass Klassenschablonenargumente nie abgeleitet werden. Der Grund ist, dass die Flexibilität von mehreren Konstruktoren für eine Klasse solche Abzug unmöglich in vielen Fällen und obskuren in vielen mehr.

Dies ist natürlich sehr subjektiv. Es gibt einige Diskussionen darüber in comp.std.c++ und der Konsens scheint zu sein, dass es keinen Grund gibt, warum es konnte nicht unterstützt werden. Ob es eine gute Idee wäre oder nicht, ist eine andere Frage ...

Answer 2

Ich denke, dass implizite Typumwandlung nur auf Funktionsargumente nur anwendbar ist, damit der Compiler es ableiten kann, um den Funktionsaufruf erfolgreich zu machen.

Aber wie kann es ableiten, welchen Typ Sie es Klasse haben möchten.

Wir müssen 4 so einen Tag warten, wenn wir AI basierten Compiler haben, um unsere Gedanken zu lesen.

Answer 3

Im Falle eines Funktionsaufrufs leitet der Compiler den Vorlagentyp vom Argumenttyp ab. Zum Beispiel die std::max-Funktion. Der Compiler verwendet den Typ der Argumente, um den Vorlagenparameter abzuleiten. Dies funktioniert nicht immer, da nicht alle Anrufe eindeutig sind.

int a = 5; 
float b = 10; 

double result1 = std::min(a, b); // error: template parameter ambigous 
double result2 = std::min<double>(a, b); // explicit parameter enforces use of conversion 

Bei einer Vorlagenklasse ist das nicht immer möglich. Nehmen wir zum Beispiel diese Klasse:

template< class T> 
class Foo { 
public: 
    Foo(); 
    void Bar(int a); 
private: 
    T m_Member; 
}; 

Der Typ T nie in einem Funktionsaufruf angezeigt wird, so dass der Compiler überhaupt keinen Hinweis hat, welche Art verwendet werden soll.

Answer 4

Bei Kona meeting Template-Parameter Abzug für Konstrukteure (P0091R0) genehmigt wurde, was bedeutet, dass in C++ 17 wir in der Lage sein zu schreiben:

pair p1{"foo"s, 12}; 
auto p2 = pair{"foo"s, 12}; 
f(pair{"foo"s, 12});