4

我有很大的计算几何库。它的内核有问题。我们有定义标量 taits 和自由函数形式的辅助访问器，可以简单地编写cg::epsilon<T>()而不是cg::scalar_traits<T>::epsilon. 但是在 vs2008 和 vs2010 下有时会争辩说它无法为Tin推导出模板参数的问题cg::epsilon<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 b, S eps = cg::epsilon<double>())

编译器抱怨他无法为 cg::epsilon 推导出 S。

4

1 回答 1

1

我的猜测是编译器S eps = cg::epsilon<S>()在扣除S. 为此，它需要查看声明，cg::epsilon<S>()但此时它还不知道S。

一种解决方法是避免使用第三个参数的默认值并添加两个不同的重载：第一个采用三个参数 ( a,b和eps)，第二个只采用两个 (a和b)。后者eps来自cg::epsilon<S>()（此时S已经推导出）并将调用委托给前者，如下面的代码所示：

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

template<class S>
bool eq(S a, S b)
{
    S eps = cg::epsilon<S>();
    return eq(a, b, eps);
}
于 2013-03-20T10:24:43.180 回答