c++模板专门化方法问题

c++ template specialization method question

本文关键字:方法 问题 专门化 c++      更新时间:2023-10-16

我是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

,错误发生在模板专门化方法上。请指出我的错误。谢谢。

看起来您正在尝试部分专门化函数模板,这在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);
}

非正式地,当参数类型为Complex<T>时,编译器总是选择重载#2而不是重载#1,因为它是一个更好的匹配。


另一种实现方法是使用复数乘法的定义重载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++入门书籍。模板和操作符重载并不是初学者的主题。