이 기능 템플릿을 완벽하게 모방 한 것입니까?

Question

다음 코드의 함수 템플릿은 클래스 템플릿의 멤버이므로 둘러싸는 클래스를 전문화하지 않으면 특수화 할 수 없습니다.

그러나 컴파일러의 전체 최적화가 설정된 경우 (Visual Studio 2010 가정) 다음 코드의 if-else-statement가 최적화됩니까? 그리고 만약 그렇다면, 모든 실제적인 목적을 위해 이것은 성능 비용없이 기능 템플릿 전문화라는 것을 의미하지 않을까요?

template<typename T> 
struct Holder 
{ 
    T data; 

    template<int Number> 
    void saveReciprocalOf(); 
}; 

template<typename T> 
template<int Number> 
void Holder<T>::saveReciprocalOf() 
{ 
    //Will this if-else-statement get completely optimized out 
    if(Number == 0)  data = (T)0; 
    else    data = (T)1/Number; 
} 

//----------------------------------- 
void main() 
{ 
    Holder<float> holder; 
    holder.saveReciprocalOf<2>(); 
    cout << holder.data << endl; 
} 

Answer 1

최적화 될 가능성이 있습니다. 그러나 이 되려면을 사용하십시오. 예를 들어 템플릿을 사용하여 if의 컴파일 타임을 사용할 수 있습니다. Boost의 MPL if_ 구현.

또는 SFINAE (Boost.enable_if)를 사용할 수 있습니다. 이러한 문제를 해결하기

Answer 2

보통 방법은 아주 잘

template<typename T> 
struct Outer { 
    template<int I> 
    void inner() { 
    inner(int_<I>()); 
    } 

private: 
    template<int I> 
    struct int_ { }; 

    void inner(int_<0>) { 
    // for I == 0 
    } 

    template<int I> 
    void inner(int_<I>) { 
    // for others... 
    } 
}; 

이 모방 명시 적 전문 과부하를 통해, 다른 경로에 대한 유형 검사는 if 솔루션과는 달리 (미친 갈 것입니다 경우에도 경우에 작동 이 경로는 I != 0 경우 수행되기 때문에 작동)

// ... 
    template<int I> 
    void inner(int_<I>) { 
    int tmp[I]; 
    } 
// ... 

. 이제 귀하의 경우, 나는 왜 당신이 정상적인 함수 인수를 전달하지 않는지 궁금합니다. 이 필요하지 않습니다.의 컴파일 시간은 I입니다.

// works just fine too in your example 
template<typename T> 
void Holder<T>::saveReciprocalOf(int Number) 
{ 
    // Will this if-else-statement get completely optimized out 
    if(Number == 0)  data = (T)0; 
    else    data = (T)1/Number; 
} 

또한 컴파일러에서 함수 호출을 인라인하면 최적화될 가능성이 큽니다. 엄격히 필요하지 않은 템플릿 non-type 매개 변수를 사용하면 해당 함수의 기능이 런타임 값과 함께 작동하지 않을 수 있습니다.

Answer 3

감사합니다. 조건부가 최적화되어 있는지 확인하고 싶기 때문에 (아주 자주 내부 루프를 호출해야하고 루프 외부에 스위치 케이스를 사용하여 올바른 경로를 선택해야하기 때문에) 결국 enable_if_c 같은 것을 사용하게 될 것입니다. 다음 코드는

using boost::enable_if_c; 

template<typename T> 
struct Dummy 
{  
    template<int N> 
    typename enable_if_c<N==2,bool>::type    isPrimary() {return true;} 

    template<int N> 
    typename enable_if_c<N==3,bool>::type    isPrimary() {return true;} 

    template<int N> 
    typename enable_if_c<N==5,bool>::type    isPrimary() {return true;} 

    template<int N> 
    typename enable_if_c<N!=2&&N!=3&&N!=5,bool>::type isPrimary() {return false;} 
}; 

제게 이것은 요하네스의 제안보다 조금 복잡합니다. 마지막 (기본값) 경우는 꽤 추해 질 수 있습니다.