템플릿 유형과 상수 값 비교

Question

다음 작업을 수행하는 더 좋은 방법이 있습니까?

나는 다음과 같은 기능을, 벡터 클래스가 :

template <typename T> 
bool Vector3<T>::IsUnitVector() const 
{ 
    return IsAlmostEqual(this->GetLength(), One<T>::Value()); 
} 

T는 플로트 또는 더블 (I은 이러한 유형이 지원됩니다 확인하기 위해 명시 적 템플릿 인스턴스화를 사용하고), 내가했습니다 될 수 올바른 유형에서 1의 값을 반환하는 도우미 클래스를 생성했다 : 나는 다른 비교뿐만 아니라 Zero 클래스를 만들 필요가 실현 될 때까지

template <typename T> 
struct One 
{ 
    static T Value(); 
}; 

template <> 
struct One<int> 
{ 
    static int Value() { return 1; } 
}; 

template <> 
struct One<float> 
{ 
    static float Value() { return 1.0f; } 
}; 

template <> 
struct One<double> 
{ 
    static double Value() { return 1.0; } 
}; 

이 너무 나쁘지 않았다. 그래서 제 질문은, 이것을 달성하는 더 좋은 방법이 있습니까?

Answer 1

return IsAlmostEqual(this->GetLength(), static_cast<T>(1)); 

작고 음수가 아닌 정수 값은 모두 매우 바람직한 형태에 보내고 단순히 static_cast '이 충분해야, 숫자 타입 각각에 의해 정확하게 표현할 수 있어야한다.

return IsAlmostEqual(this->GetLength(), 1); 

Answer 2

왜 그냥 내버려 :

달리, IsAlmostEqual 가정하면 (예 IsAlmostEqual(T lhs, T rhs) 같은) 유형 T 두 매개 변수가 고정 부재 함수 단순히 컴파일러는 함수 호출에 자동 변환을 수행 할 수있다 컴파일러는 변환 작업을 수행합니다.

template<typename T, int val> 
bool Vector3<T>::_isConstant()const{ 
    return IsAlmostEqual(this->GetLength(), val); 
} 

template <typename T> 
bool Vector3<T>::IsUnitVector() const{ 
    return _isConstant<T,1>(); 
} 
template<typename T> 
bool Vector3<T>::IsZeroVector()const{ 
    return _isConstant<T,0>(); 
} 

구문이 맞는지 확실하지 않지만 일반적인 생각입니다.

Answer 3

template <typename T> 
struct Value 
{ 
    static T Zero(); 
    static T One(); 
}; 

template <> 
struct Value<int> 
{ 
    static int Zero() { return 0; } 
    static int One() { return 1; } 
}; 
// .. and so on