템플릿 클래스 멤버 함수의 명시 적 전문화

템플릿 클래스 멤버 함수의 명시 적 전문화

---

특정 유형에 대한 템플릿 멤버 함수를 전문화해야합니다 ( double 이라고 가정 해 보겠습니다 ). 클래스 X자체가 템플릿 클래스가 아닌 동안 잘 작동 하지만 템플릿 GCC를 만들면 시간 오류가 발생하기 시작합니다.

#include <iostream>
#include <cmath>

template <class C> class X
{
public:
   template <class T> void get_as();
};

template <class C>
void X<C>::get_as<double>()
{

}

int main()
{
   X<int> x;
   x.get_as();
}

여기에 오류 메시지가 있습니다.

source.cpp:11:27: error: template-id
  'get_as<double>' in declaration of primary template
source.cpp:11:6: error: prototype for
  'void X<C>::get_as()' does not match any in class 'X<C>'
source.cpp:7:35: error: candidate is:
  template<class C> template<class T> void X::get_as()

어떻게하면 여기서 문제는 무엇입니까?

미리 감사드립니다.

---

그런 식으로 작동하지 않습니다. 다음과 같이 말해야 한다고 말하는 것입니다.

template <class C> template<>
void X<C>::get_as<double>()
{

}

적으로 명시 특수화 된 멤버도 계명 명시 적으로 특수화 하려면 주변 클래스 템플릿이 필요합니다. 따라서 다음과 같이 말해야합니다. 이것은 X<int>.

template <> template<>
void X<int>::get_as<double>()
{

}

주변 템플릿을 특수화하지면 몇 가지 선택 사항이 있습니다. 나는 보강을 선호한다

template <class C> class X
{
   template<typename T> struct type { };

public:
   template <class T> void get_as() {
     get_as(type<T>());
   }

private:
   template<typename T> void get_as(type<T>) {

   }

   void get_as(type<double>) {

   }
};

---

사용할 수 있다면 std::enable_ifSFINAE에 의존 할 수 있습니다 (대체 실패는 오류가 아닙니다).

다음과 같이 작동합니다.

#include <iostream>
#include <type_traits>

template <class C> class X
{
public:
    template <class T, typename std::enable_if< ! std::is_same<double,T>::value>::type * = nullptr > void get_as(){
        std::cout << "get as T" << std::endl;
    }


    template <class T, typename std::enable_if< std::is_same<double,T>::value>::type * = nullptr  > void get_as(){
        std::cout << "get as double" << std::endl;
    }
};


int main()
{

    X<int> d;
    d.get_as<double>();

   return 0;
}

추악한 것은 이러한 모든 enable_if의 유일한 전문화가 컴파일러에 대해 사용 가능해야한다는 것입니다. 그렇지 않으면 명확성 오류가 발생합니다. 그렇기 때문에 기본 동작 "get as T"도 enable if가 필요합니다.

참고 URL : https://stackoverflow.com/questions/5512910/explicit-specialization-of-template-class-member-function