Effective C++ 条款46 需要类型转换时请为模板定义非成员函数 实现代码

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和引用去掉，也是可以的