błąd kompilatora przy użyciu szablonu specjalizacji pod Visual C++

Question

Mam następujący kod 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; 
} 

Kiedy próbuję skompilować ten przy użyciu programu Visual Studio 2013, pojawia się następujący błąd:

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

Program kompiluje się dobrze, jeśli nie obejmuję specjalizacji foo<float>. Kod również kompiluje dobrze , w tym specjalizację pod gcc 4.8.4, co wskazuje na pewien problem z kompilatorem Visual C++.

Czy kod jest prawidłowy i czy powinien zostać skompilowany? Czy istnieje obejście dla Visual C++?

Answer 1

Zamiast specjalizacji, robię przeciążeń bez "szablonu" słowo kluczowe, tak:

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

void foo(float value) 
{ 
} 

Używam ich w gcc i Visual Studio 2012.

Answer 2

Pomijając parametr podczas wywoływania foo<float>();, kompilator zamienia się w zagadkę. Kompilator jednocześnie stwierdza, że ​​wyspecjalizowana funkcja jest właściwa do wyboru, ponieważ wyraźnie mówi się o <float> i nie jest tym, ponieważ nie ma parametru. Następnie kompilator osiąga ogólną wersję, ale nie może, ponieważ jest wyspecjalizowany. Nawet HAL9000 nie mógł go znaleźć, chyba że jest zbudowany z gcc. VC++ niepoprawnie obsługuje sytuację. Prawdopodobnie błąd, a nie "według projektu".

Obejście dla Visual C++ jest użycie przeciążenia:

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

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

i nazywają to jak zwykle foo<float>();