Elaborazione di funzioni template istanziati

Question

Il seguente codice compila in Visual C++ 2013, ma non sotto G ++ 4.8.2:

template<class T> 
int MyFunc(T& t) 
{ 
    return static_cast<int>(CCodes::blah); 
} 

template<> 
int MyFunc(float& t) 
{ 
    return 0; 
} 

int main() { 
    float f = 10.f; 
    return MyFunc(f); 
} 

Visual C++ sembra ignorare la funzione generale del modello, perché solo la specializzazione MyFunc<float> viene utilizzato. G ++ analizza comunque la funzione generale e rileva che l'enumerazione CCodes non è stata definita.

Quale è giusto? O è questa implementazione definita?

Answer 1

GCC è corretto e ogni altro compilatore oltre a MSVC farà la stessa cosa.

Questo è un bug grave, che in realtà è apparso su una roadmap futura di MSVC. Era nella categoria del "lontano futuro". Dovranno riscrivere il loro motore di template per risolverlo.

C'è una linea di argomentazione che la diagnosi di un modello mal formato è facoltativa, perché è davvero un modello senza un'istanza ben strutturata e non è necessario contrassegnarlo. Tuttavia,

1. Lo standard richiede l'analisi del modello e la mancata analisi deve essere diagnosticata indipendentemente dall'istanza.
2. Ogni altro compilatore fa la diagnosi, quindi in effetti non farlo porta gli utenti di MSVC a produrre codice non trasportabile. Lamentarsi è davvero una buona idea, anche se non è richiesto.