c – 解决编译器错误

我有大计算几何库.它的内核存在问题.我们有定义标量taits和自由函数形式的辅助加速器,只需编写cg :: epsilon< T>()而不是cg :: scalar_traits< T> :: epsilon.但是在vs2008和vs2010下它有时会争辩说它无法在cg :: epsilon< T>中推断出T的模板参数的问题.在LWS的其他编译器工作正常.

减少版本重现：

namespace cg
{

template<class S>
S epsilon();

template<>
double epsilon<double>() {return 1;}
template<>
float epsilon<float>() {return 1;}

template<class S>
bool eq(S a,S b,S eps = cg::epsilon<S>())
{
   return true;
}

}


int main(int argc,char* argv[])
{
   cg::eq(0.0,0.0);
   cg::eq(0.0f,0.0f);
   return 0;
}

是否有一些变通方法可以使用访问器？

PS：我们使用cg :: scalar_traits< S> :: epsilon(),这有助于发生错误,但是太多冗长

研究：
甚至声明为

template<class S>
bool eq(S a,S eps = cg::epsilon<double>())

编译器抱怨他无法推断出cg :: epsilon的S.

template<class S>
bool eq(S a,S eps)
{
    return true;
}

template<class S>
bool eq(S a,S b)
{
    S eps = cg::epsilon<S>();
    return eq(a,b,eps);
}