Специализация члена класса шаблона для типа параметра класса шаблона - PullRequest
Новая
       12

Специализация члена класса шаблона для типа параметра класса шаблона

5 голосов
/ 12 мая 2010

У меня есть матричный шаблонный шаблон. Я хочу специализировать функцию для типа complex, где T может быть чем угодно. Я пробовал это: 

  6 template <typename T>
  7 class Matrix {
  8       public :
  9             static void f();
 10 };          
 11 template<typename T> void Matrix<T>::f() { cout << "generic" << endl; }
 12 template<> void Matrix<double>::f() { cout << "double" << endl; }
 13 template<typename T> void Matrix<std::complex<T> >::f() { cout << "complex" << endl; }

Строка 13 не компилируется. Как я могу это сделать?

Ответы [ 3 ]

3 голосов
/ 12 мая 2010

В строках 11 и 12 у вас есть объявление явной специализации для члена шаблона класса, что разрешено стандартом C ++ 14.7 / 3 (14.5.2 / 2 также содержит хороший пример). В строке 13 вы пытаетесь частично специализировать шаблон класса, что недопустимо в этой форме (это частичная специализация, потому что вы не знаете весь тип std::complex<T>, потому что он все еще зависит от T). Вы должны частично специализировать весь класс.

1 голос
/ 13 мая 2010

На самом деле, я нашел умный способ сделать это через Boost. Поскольку я не хочу, чтобы моя библиотека зависела от Boost, вот код: 

template <class T, T val> struct integral_constant
{
      typedef integral_constant<T, val> type;
      typedef T value_type;
      static const T value = val;
};    
typedef integral_constant<bool, true>  true_type;
typedef integral_constant<bool, false> false_type;
template <typename T> struct is_complex : false_type{};
template <typename T> struct is_complex<std::complex<T> > : true_type{};

template <typename T>
class Matrix {
      public :
            static void f() { f_( typename is_complex<T>::type() ); }
      private :
            static void f_( true_type ) { cout << "generic complex" << endl; }
            static void f_( false_type ) { cout << "generic real" << endl; }
};          
template<> void Matrix<double>::f() { cout << "double" << endl; }

Таким образом, я могу использовать перегрузку функций и шаблон для достижения своей цели.

0 голосов
/ 12 мая 2010

Как описано в связанном ответе, вам нужно специализировать весь класс, а не простую функцию: 

#include <iostream>
#include <complex>
using namespace std;

template <typename T>
class Matrix {
public :
    static void f();
};

template<typename T> void Matrix<T>::f() { cout << "generic" << endl; }
template<> void Matrix<double>::f() { cout << "double" << endl; }

template <typename T>
class Matrix<std::complex<T> > {
public:
    static void f() { cout << "complex" << endl; }
};

int main(void) {
  Matrix<complex<double> >::f();
  return 0;
}
...