c++中友元的一些总结（4）

会计考友

　　4，友元模板
　　如果想定义一系列函数为该类的友元，可以使用友元模板。它和模板的申明式类似，只是在template后加了friend关键字。
5 d* p/ K0 E0 ~3 P1 m3 I9 |　　class A
　　{
4 |9 F+ F( X3 ^　　public:
) V# h- [1 }$ ^) s　　template
& O$ h9 M) ^& t3 G, _　　friend void foo();
/ N4 R; |' l, E5 W　　};
. _7 e/ Z0 G$ w5 N5 L- t- F　　5，能否做为定义式
( P, {3 A( ^5 L: J+ e3 u, b　　能做为定义式的情况是：非受限，没有前至::，没有模板参数列表，没一对尖括号。如果是模板申明式，不能是首次申明，在该处必须是可见的。
　　6，一个完整的例子
! G, l6 ~* D$ h; J$ U　　template
　　class Rat
7 ^, s, t7 W2 p: |0 `4 Y8 i% j　　{
7 D* L; R5 D/ z/ f　　public:
# C, \* ~8 }" @" s8 |: {　　Rat(T _a, T _b) : a(_a), b(_b) {}
8 ?" X* _9 @3 N' V" c7 ~( E　　friend Rat operator*(Rat&,Rat&);
+ k% n, w% S, q9 [4 k/ b　　private:
1 r0 M$ X! h$ m/ C+ q7 q0 B7 c　　T a,b;
　　};
　　template
　　Rat operator*(Rat & x, Rat & y)
　　{
　　return Rat(x.a*y.a,x.b*y.b);
　　}
+ v  f/ j' A9 n- x; r0 Y　　Rat< T >为T类型的有理数类，定义它的相乘运算，定义一个全局函数，并申明为友元，该函数也应该是模板，希望有如上的程序通过编译。在friend式之前没有operator*()的申明，所以这里不能是首次申明，在前面必须加上申明式：
, M4 `6 x; r6 [7 S- Y  y　　template
5 I2 F& u+ f7 K9 ^0 a4 t/ u3 A　　Rat operator*(Rat & x, Rat & y);
5 O) t7 U3 Z! J( q/ n7 }9 j0 k) K　　在这之前又没有Rat的申明，再加上：
　　template
' C3 E1 [' w! {& \) d　　class Rat;
3 @1 ~0 R  i8 a% l6 _' |/ m　　通过编译，或者改成友元模板：
　　template
0 @: n3 x& c- \+ `* N3 h　　class Rat
% n* L, B" A% V- a　　{
　　public:
　　Rat(T _a, T _b) : a(_a), b(_b) {}
. O2 U+ \' U. P" ~+ K　　template
3 e' |1 M6 X8 ~/ I" u: m/ g　　friend Rat operator*(Rat&,Rat&);
　　private:
　　T a,b;
　　};
　　template
　　Rat operator*(Rat & x, Rat & y)
' h4 H" G! _/ q) D2 j& q　　{
& `! f' g( Y' I  Q" s  |- _! w% ?! ]　　return Rat(x.a*y.a,x.b*y.b);
　　}
　　有细微的不同，Rat< T >申明了一系列友元operator*< UU >，当然没必要，只要 operator*< T >就够了，但是形式上简单一些。还有一种更简单的形式，就是将定义式放在里面，正是Effective C++里使用的方法：
　　template
　　class Rat
9 s. o* ~- S% m( N: B3 H　　{
# y8 d9 G6 |+ `1 M3 x6 F2 J　　public:
　　Rat(T _a, T _b) : a(_a), b(_b) {}
9 p: T* k2 o7 l/ Q$ f  X　　friend Rat operator*(Rat&x,Rat&y) //定义并申明了::operator*()
　　{
+ h. z: P2 H& [% c　　return Rat(x.a*y.a,x.b*y.b);
0 n% h! s/ z0 [- W' {　　}
& L, |6 F( Y# h( N0 q2 ?　　private:
6 N. q6 E/ v0 E& }　　T a,b;
　　};