条款 24 中,我们说到对于一个类来说,我们如果想要使用隐式类型转换(利用非explicit构造函数),我们需要将相应的韩叔叔定义为非成员函数。但是如果现在我们将条款24中的例子模板化,那么这种隐式类型转换将不会成立。
现在我们象条款24中的方式将两个实数进行乘法运算,这时我们的程序将会导致编译错误。
因为当我们尝试进行隐式类型转换时,我们首先许需要知道参数的类型,但是我们们传入的参数为一个 int类型,而我们的模板函数接受 Ratianal<T>
类型的参数,来推断T的类型,这时,传入的参数为int, 因此这是编译器将无法推断实参的类型,因而将会报错。
所以现在,我们希望,我们希望函数声名为成员函数,但是对于成员函数而言,将会失去乘法交换率的功能(见条款24),所以我们希望有一个函数能够在类内部声名,而这个函数又是非成员函数。所以我们用友元申明将会能够实现这样的要求。
具体如下:
上述代码中的友元函数声名依然为模板函数,只是模板参数被省略了,在一个模板类的内部的模板参数可以省略,所以Rational<T>
可以写成为 Rational
,。
但是上述代码依然是无法通过编译的,因为这样的函数将不能使用类外定义的模板函数,因此对于我们定义在类内的非成员函数,我们需要在类内对齐进行实现。
如果该友元函数的实现非常复杂,我们也可以将代码封装,然后再类内调用即可。