Вопрос о методе специализации шаблонов c ++ - PullRequest
4 голосов
/ 12 июля 2011

Я новичок в C ++ и пытаюсь использовать шаблон, но у меня проблемы. То, что я пытаюсь сделать, это: попытаться вычислить квадрат числа, используя шаблон, и число может быть базовыми типами данных, такими как int, float, а также комплексные числа. Я также реализовал сложный класс, используя шаблон, и коды следующие:

template <typename T>
class Complex {
public:
  T real_;
  T img_;

  Complex(T real, T img) : real_(real), img_(img) { } 
};

template <typename T>
T square(T num) {
  return num * num;
}

template <>
Complex<typename T> square(Complex<typename T> num) {
  T temp_real = num.real_*num.real_ - num.img_*num.img_;
  T temp_img  = 2 * num.img_ * num.real_;
  return Complex(temp_real, temp_img);
}

Я пытался использовать специализацию шаблонов для работы с особым случаем, но он выдал ошибку:

using ‘typename’ outside of template

и ошибка происходит по методу специализации шаблона. Пожалуйста, укажите на мои ошибки. Спасибо.

1 Ответ

6 голосов
/ 12 июля 2011

Похоже, вы пытаетесь частично специализировать шаблоны функций, что на самом деле невозможно в C ++. Вместо этого вам нужно просто перегрузить функцию следующим образом:

template<typename T>
T square(T num) // Overload #1
{ 
    return num * num;
}

template<typename T>
Complex<T> square(Complex<T> num) // Overload #2
{
    T temp_real = num.real_*num.real_ - num.img_*num.img_;
    T temp_img  = 2 * num.img_ * num.real_;
    return Complex<T>(temp_real, temp_img);
}

Неофициально, компилятор всегда выбирает перегрузку # 2 и перегрузку # 1, когда аргумент имеет тип Complex<T>, потому что это лучшее совпадение.


Другой способ выполнить эту работу - перегрузить оператор умножения для класса Complex<>, используя определение умножения для комплексных чисел . Преимущество этого подхода в том, что оно более общее, и вы можете распространить эту идею на другие операторы.

template <typename T>
class Complex
{
public:
    T real_; 
    T img_; 

    Complex(T real, T img) : real_(real), img_(img) {} 

    Complex operator*(Complex rhs) // overloaded the multiplication operator
    {
        return Complex(real_*rhs.real_ - img_*rhs.img_,
            img_*rhs.real_ + real_*rhs.img_);
    }
};

// No overload needed. This will work for numeric types and Complex<>.
template<typename T>
T square(T num)
{
    return num * num;
}

Поскольку вы новичок в C ++, я настоятельно рекомендую вам взять хорошую вводную книгу по C ++ . Шаблоны и перегрузка операторов не совсем новички.

...