errore del compilatore quando si utilizza modello di specializzazione in Visual C++

Question

ho il seguente codice cpp:

#include <iostream> 
#include <limits> 

// C2589 when compiling with specialization, fine when compiling without 
template<typename T> 
void foo(T value = std::numeric_limits<T>::infinity()) 
{ 
} 

// this specialization causes compiler error C2589 above 
template<> 
void foo<float>(float value) 
{ 
} 

int main() 
{ 
    foo<float>(); 
    return 0; 
} 

Quando provo a compilare questo utilizzando Visual Studio 2013, ho il seguente errore:

..\check2\main.cpp(5) : error C2589: '::' : illegal token on right side of '::' 
..\check2\main.cpp(5) : error C2059: syntax error : '::' 

Il programma viene compilato correttamente se non includo la specializzazione foo<float>. Il codice compila anche il valore compresa la specializzazione in gcc 4.8.4, che indica alcuni problemi con il compilatore di Visual C++.

Il codice è corretto e deve essere compilato? C'è una soluzione alternativa per Visual C++?

Answer 1

Invece di specializzazioni, faccio sovraccarichi senza la parola chiave "modello", in questo modo:

template<typename T> 
void foo(T value) 
{ 
} 

void foo(float value) 
{ 
} 

Io li uso in gcc e Visual Studio 2012.

Answer 2

omettendo il parametro quando si chiama foo<float>(); si sta inserendo il compilatore in un enigma. Compilatore simultaneamente conclude che la funzione specializzata è quella giusta da scegliere perché si dice esplicitamente <float> e non è quella perché non esiste alcun parametro. Il compilatore raggiunge quindi la versione generale, ma non può esserlo perché ce n'è uno specializzato. Anche HAL9000 non è riuscito a capirlo, a meno che non sia stato creato con gcc. VC++ gestisce in modo errato la situazione. Probabilmente un bug, e non "di design".

Soluzione per Visual C++ è quella di utilizzare un sovraccarico:

template<typename T> 
void foo(T value) 
{ 
} 

template<typename T> 
void foo() 
{ 
    foo(std::numeric_limits<T>::infinity()); 
} 

e chiamarlo come al solito foo<float>();