явная специализация шаблонной функции-члена класса - PullRequest
Новая
       16

явная специализация шаблонной функции-члена класса

77 голосов
/ 01 апреля 2011

Мне нужно специализировать функцию-член шаблона для некоторого типа (скажем, 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()

Как я могу это исправить и в чем здесь проблема?

Заранее спасибо.

Ответы [ 2 ]

93 голосов
/ 01 апреля 2011

Так не работает.Вам нужно будет сказать следующее, но не правильно 

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>) {

   }
};
20 голосов
/ 24 февраля 2015

Если кто-то может использовать std::enable_if, мы можем положиться на SFINAE (ошибка замещения не является ошибкой)

, которая будет работать так: 

#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» также требует включения if.

...