文章目录
将条款24的例子换成模板:
template<typename T>
class Rational{
public:
Rational(cosnt T& numerator=0,
const T& denominator=1);
const T numerator() const;
const T denominator() cosnt;
...
};
template<typename T>
const Rational<T> operator* (cosnt Rational<T>& lhs, const Rational<T>& rhs) { ... }
但是混合式算术运算在这里行不通:
Rational<int> oneHalf(1,2);
Rational<int> result=oneHalf*2; //error:无法通过编译
我们来换种写法:
template<typename T>
class Rational{
public:
...
friend const Rational operator*(const Rational& lhs,const Rational& rhs);
};
template<typename T>
const Rational<T> operator* (cosnt Rational<T>& lhs, const Rational<T>& rhs) { ... }
现在混合式算术运算在这里可以通过编译,因为编译器知道我们要调用哪个函数。但是无法连接,因为那个函数只被声明与Rational内,并没有定义出来。因此可再次修改:
template<typename T>
class Rational{
public:
...
friend const Rational operator*(const Rational& lhs,const Rational& rhs)
{
return Rational(lhs.numerator()*rhs.numerator(),
lhs.denominator()*rhs.denominator());
}
};
总结——256
当我们编写一个class template,而它所提供的的“与此template相关的”函数支持“所有参数的隐式类型转换”时,请将那些函数定义为“class template内部的friend函数”。