在 Visual C++ 下使用模板特化时出现编译器错误

Question

我有以下 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;
}

当我尝试使用 Visual Studio 2013 编译它时，我收到以下错误：

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

如果我不包含专业化foo<float>，程序编译得很好。该代码在 gcc 4.8.4 下也可以很好地编译包括专业化，这表明 Visual C++ 编译器存在问题。

代码是否正确，是否应该编译？是否有针对 Visual C++ 的解决方法？

Answer 1

通过在调用foo<float>(); 时省略参数，您将编译器置于一个难题中。编译器同时得出结论，专用函数是正确的选择，因为你明确地说<float>，而不是因为没有参数。编译器然后到达通用版本，但它不能，因为有一个专门的。即使是 HAL9000 也无法识别出那个，除非它是用 gcc 构建的。 VC++ 错误地处理了这种情况。可能是一个错误，而不是“设计”。

Visual C++ 的解决方法是使用重载：

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

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

像往常一样调用它foo<float>();

Answer 2

我不使用“模板”关键字进行重载，而不是专门化，如下所示：

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

void foo(float value)
{
}

我在 gcc 和 Visual Studio 2012 中使用这些。