看看下面這個例子：

1 template<typename T> 2 class Rational{ 3 public: 4 Rational(const T & numerator, const T & denominator); 5 const T numerator()const; 6 const T denominator() const; 7 }; 8 template<typename T> 9 const Rational<T> operator*(const Rational<T>& lhs, 10 const Rational<T>& rhs); 11 Rational<int> oneHalf(1,2); 12 Rational<int> result = oneHalf*2; 上面的最后一個式子看起來好像能夠通過編譯，但是實際上不能，因為模版的關系，編譯器不會知道我們想調用的是哪個函數。 上面式子能推倒出來，正確的可能就是編譯器使用Rational<int>的non-explicit構造函數將2轉換，但是編譯器進行實參推倒的時候不會將隱式轉換放到考慮的范圍里面。 而解決上述問題的有效方法就是，不要讓operator*需要去進行參數的推倒，而是將其設為Rational的一個friend函數： 1 template<typename T> 2 class Rational{ 3 public: 4 Rational(const T & numerator, const T & denominator); 5 const T numerator()const; 6 const T denominator() const; 7 friend 8 const Rational operator*(const Rational<T> & lhs, 9 const Rational<T> & rhs); 10 }; 這樣，當oneHalf聲明出來的時候，就相當于自動聲明出來了上面的operator*,這樣的隱式轉換同樣也來能夠成功。 在一個class template里面，template名稱可以被用來當作“template何其參數的建議表達形式”，所以說上面的形式和下面的 1 friend 2 const Rational<T> operator*(const Rational<T> & lhs, 3 const Rational<T> & rhs); const Rational<T> & rhs); 實際上是相同的。 但實際上上面咋Rational外部去給operator*一個定義是行不通的，因為模板的原因，這個定義必須被放置在類的內部，就像下面這樣： 1 template<typename T> 2 class Rational{ 3 public: 4 Rational(const T & numerator, const T & denominator); 5 const T numerator()const; 6 const T denominator() const; 7 friend 8 const Rational<T> operator*(const Rational<T> & lhs, 9 const Rational<T> & rhs) 10 { 11 return Rational(lhs.numerator() * rhs.numerator(), 12 lhs.denominator() * rhs.denominator()); 13 } 14 }; 這里的使用friend實際上有其獨到的意義：為了讓類型轉換可以發生在所有的實參身上，需要一個non-member，為了讓這個函數被自動具體化，我們需要將他們聲明在class內部，而在class內部聲明non-member函數的唯一方法就是將他聲明稱friend。！！ 小結：當編寫一個class template的時候，起所提供的“與此template相關的”函數支持“所含參數的隱式類型”時，應該將那些函數定義為“class template 內部的”friend函數 。

轉載于:https://www.cnblogs.com/-wang-cheng/p/4889821.html

總結

以上是生活随笔為你收集整理的条款46：需要类型转换的时候请为模板定义非成员函数的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。