Tipo di modello deduzione in C++ per Class vs Function?

Question

Perché questa deduzione di tipo automatico è possibile solo per le funzioni e non per le classi?

Answer 1

In casi specifici, si può sempre fare come std::make_pair:

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

EDIT: Ho appena trovato la seguente in "The C++ Programming Language, Third Edition", a pagina 335. Bjarne dice:

Si noti che gli argomenti del modello di classe sono mai dedotti. Il motivo è che la flessibilità di fornita da diversi costruttori per una classe renderebbe impossibile la detrazione di in molti casi e oscuri in molti altri.

Questo è ovviamente molto soggettivo. C'è stata una discussione su questo in comp.std.c++ e il consenso sembra essere che non c'è motivo per cui non possa essere supportato. Se sia una buona idea o meno è un'altra domanda ...

Answer 2

Penso che la conversione di tipo implicita sia applicabile solo agli argomenti di funzione, in modo che il compilatore possa dedurlo per fare in modo che la funzione chiami correttamente.

Ma come si può dedurre di che tipo si vuole avere classe.

Dobbiamo aspettare 4 giorni in cui abbiamo compilatore basato su AI per leggere le nostre menti.

Answer 3

In caso di una chiamata di funzione, il compilatore deduce il tipo di modello dal tipo di argomento. Ad esempio la funzione std::max. Il compilatore utilizza il tipo di argomenti per dedurre il parametro del modello. Questo non funziona sempre, poiché non tutte le chiamate sono ambigui.

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 

In caso di una classe modello, che non può essere sempre possibile. Prendete per esempio questa classe:

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

Il tipo T non appare mai in qualsiasi chiamata di funzione, in modo che il compilatore non ha alcun accenno a tutti, che tipo dovrebbe essere usato.

Answer 4

A Kona meeting Template parametro deduzione per i costruttori (P0091R0) è stato approvato, il che significa che in C++ 17 saremo in grado di scrivere:

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