【46】需要类型转换时请为模版定义非成员函数

1、假设【24】中的Rational是类模版,同时有non-member的方法模版,现在考虑下面的调用:

  Rational<int> a(1,2);

  Rational<int> result = a*2; // Error

2、为什么?

  调用方法的时候,如果没有完全匹配的方法,编译器会尝试进行隐式类型转换。现在考虑模版的实例化,调用方法的时候,编译器根据模版实参,确定模版形参,然后实例化一个方法。但是,实例化方法的时候,从不进行隐式类型转换。思考为什么?假如考虑隐式类型转换,那么存在隐式类型转换的情况多了,不可能都去实例化。也就是说,模版实例化的时候,不考虑隐式类型转换,因此也就没有实例化方法。没有生成方法,后面的方法调用当然有问题。

3、怎么解决呢?

  模版实例化不考虑隐式类型转换,那么我们就要想办法,让它实例化一个方法出来。做法是:在类模版中声明一个friend方法。这样的话,当实例化类的时候,也就实例化一个non-member方法了。

4、特别注意:这里friend目的不是为了访问private成员。而是因为,要在类中声明方法,只能声明friend方法。

5、在类模版定义中的friend方法,如果提供实现,意味着申请成为inline方法。如果方法实现复杂,可以在外部实现,或者在外部定义一个辅助方法,在类定义中令friend方法调用辅助方法。

原文地址:https://www.cnblogs.com/nzbbody/p/3531600.html