컴파일러 버그 해결

Question

큰 계산 기하 라이브러리가 있습니다. 커널에 문제가 있습니다. 우리는 scalar taits와 helper accesors를 자유 함수의 형태로 정의하여 cg::scalar_traits<T>::epsilon 대신에 cg::epsilon<T>()을 쓰도록 정의했습니다. 그러나 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()를 사용하지만 너무 자세한

연구 : 컴파일러는 그 CG에 대한 S를 추론 할 수 없다고 불평

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

로 심지어 declarated : : 엡실론.

Answer 1

내 생각 엔 컴파일러가 공제에 기본 매개 변수 S eps = cg::epsilon<S>()을 사용하고있는 것 같습니다. 이를 위해서는 cg::epsilon<S>()의 선언을 살펴야하지만 현재로서는 S을 알지 못합니다.

해결 방법은 세번째 파라미터에 대한 기본값을 방지하고 두 개의 다른 오버로드를 추가한다 : 첫 번째 세 개의 인자 (a, b 및 eps)를 취하고 상기 제 단지 2 (a 및 b)에 걸린다.

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); 
}