[Effective C++ 3rd 条款46] 有理数类class Rational是一个template<class T>,T的意思是做为表示分子和分母的数值类型.为了让它能够有相乘运算,可以写个函数 template<class T>const Rational<T> operator*(const Rational<T> &l,const Rational<T> &r){ ... } 为了让它能够自动进行隐式转化,因为它有一个non-explicit的构造函数 template<class T>class Rational{  Rational(const T& n = 0, const T& d = 1){...}}; 所以希望这样的代码可以通过编译: Rational<int> onehalf(1,2);Rational<int> result=onehalf * 2; 因为那个operator*函数是一个模板函数,它并不等同于Rational<int>具现化后的那个函数,所以不能做隐式转化,实际上它不能通过参数推导. 解决方法是将该函数在template<class T>class Rational{}内申明为friend,因为在编译器看到Rational<int>的时候,就将Rational<int>具现出来,所以那个friend申明会爆光. template<class T>class Rational{  ...  friend const Rational<T> operator*(...);}; 然而,还是会引来连接错误,因为爆光的只是申明,对于那个外面的模板函数同样需要有机会具现,才能连接成功.最终,只能再加上内联,让函数的定义在那里爆光. template<class T>class Rational{  ...  friend const Rational<T> operator*(...){...}}; 记住,参数推导的时候不会做隐式参数转化.

评论