模板函数专门化默认参数

Question

template <typename T> void function(T arg1, 
    T min = std::numeric_limits<T>::min(), 
    T max = std::numeric_limits<T>::max()) 
{ 
} 

template <> void function<int>(int arg1, int min,int max) 
{ 
} 

int main(int argc,char* argv[]) 
{ 
    function<int>(1); 
} 

它在语法错误C2689和C2059上的函数默认参数行::令牌。 但没有专业化，它做得很好。如果我更改默认参数 和还在做专业化：

template <typename T> void function(T arg1, 
    T min = T(0), 
    T max = T(1)) 
{ 
} 
template <> void function<int>(int arg1, int min,int max) 
{ 
} 

没了的问题。

现在如果我这样使用它：function<int>(1,2,3);或function<float>(1.0f)它很好，所以看起来如果模板函数是专用的，我们必须在调用它时重写默认参数？

但在我的第二种情况下，我将其替换为std::numeric_limits<T>::..和T(..)在调用function<int>(1)时没有语法错误，为什么？

（我'使用Visual Studio 2010 x64）的

因为原来的问题是由于错误的，现在的问题变为如何解决办法呢？

Answer 1

代码没有问题; Comeau Online，Intel C++ 11.1和g ++ 4.1.2成功编译。

我想这是编译器中的一个错误。我最近提交了一个与Visual C++ 2010编译器相关但略有不同的bug report。

---

作为一种变通方法，你可以用呼叫：

template <typename T> 
T get_limits_min() { return std::numeric_limits<T>::min(); } 

template <typename T> 
T get_limits_max() { return std::numeric_limits<T>::max(); } 

template <typename T> void function(T arg1, 
    T min = get_limits_min<T>(), 
    T max = get_limits_max<T>()) 
{ 
} 

丑吗？相当。

---

我张贴在响应以下，以the bug you reported on Microsoft Connect:

主要模板必须具有默认参数值的参数。默认参数值必须是不在全局名称空间中的类模板的成员函数。

以下是最少的代码重现：

namespace N 
{ 
    template <typename T> 
    struct S 
    { 
     static T g() { return T(); } 
    }; 
} 

template <typename T> void f(T = N::S<T>::g()) { } 

template <> void f<>(int) { } 

int main() 
{ 
    f<int>(); 
} 

编译器发出以下错误，无论在其中主模板被定义的行：

error C2589: '::' : illegal token on right side of '::' 
error C2059: syntax error : '::' 

有趣的是，存在另一个问题如果类模板位于全局名称空间中。给出下面的代码：

template <typename T> 
struct S 
{ 
    static T g() { return T(); } 
}; 

template <typename T> void f(T = ::S<T>::g()) { } 

template <> void f<>(int) { } 

int main() 
{ 
    f<int>(); 
} 

编译器发射线路上的下面的错误在其上定义的主模板：

error C2064: term does not evaluate to a function taking 0 arguments 

的这两个例子测试用例合式C++程序。

Answer 2

它被成功编译... 在 Comeau Online，http://codepad.org,EDG编译器和G ++。

Answer 3

这里的答案是https://stackoverflow.com/a/13566433/364084和https://stackoverflow.com/a/27443191/364084，这是由于在windows头文件中定义了min和max宏。下面的代码应该通过防止宏扩展来工作：

template <typename T> void function(T arg1, 
    T min = (std::numeric_limits<T>::min)(), 
    T max = (std::numeric_limits<T>::max)()) 
{ 
} 

template <> void function<int>(int arg1, int min,int max) 
{ 
} 

int main(int argc,char* argv[]) 
{ 
    function<int>(1); 
}