template<typename T> class Rational;
template<typename T>
const Rational<T> doMultiply(const Rational<T>& lhs, const Rational<T>& rhs)
{
return Rational<T>(lhs.getnumerator() * rhs.getnumerator(), lhs.getdenominator() * rhs.getdenominator());
}
template<typename T>
class Rational
{
public:
Rational(const T& numerator = 0, const T& denominator = 1):numerator(numerator), denominator(denominator)
{
//this->numerator = numerator;<span style="white-space: pre;"> </span>// const reference以及父类没有默认构造函数的都需要在初始化类表中列出
//this->denominator = denominator;
}
const T getnumerator() const<span style="white-space: pre;"> </span>// 书上是numerator() 这是要报错的,编译器认不出这是变量还是函数
{
return numerator;
}
const T getdenominator() const
{
return denominator;
}
friend
const Rational<T> operator*(const Rational<T>& lhs, const Rational<T>& rhs)
{
return doMultiply(lhs, rhs);
}
private:
const T numerator;
const T denominator;
};
main.cpp
#include<iostream>
#include "Rational.h"
using namespace std;
int main()
{
Rational<int> onehalf(1, 2);
Rational<int> result = onehalf * 2;
cout << result.getdenominator() << " " << result.getnumerator() << endl;
Rational<int>result1 = 2 * onehalf;
cout << result1.getdenominator() << " " << result1.getnumerator() << endl;
return 0;
}
总结:
1、什么叫需要类型转换?
这里把2转换成Rational<int>就叫做类型转换
2、为什么要加friend?
因为不加没办法通过编译,但这只是在模板中需要,如果不是模板的话,只需要加一个非成员函数即可,详细可看effective 条款24
3、构造函数中必须写成const T& numerator = 0的原因?
首先其实可以写成T numerator,但为了效率问题,需要加上&,但一旦加上&问题就来了,就不能传递一个常量或者不能再初始化过程中添加一个默认参数,还有另外一个问题就是onehalf * 2这里的2必须要先隐式转换成Rational<int>这个类型,但是2只有一个参数,Rational的构造函数有两个,所以必须两个都要提供默认参数,为了能够同时支持引用和添加默认参数,必须添加const,因为int &a=0这样写是不合法的,为了让其合法,const int &a=0这样就可以了。其实上面的构造函数如果不考虑提高效率问题,可以同时把const和引用去掉,也是可以的