模板友元函数的声明

刚才在论坛上看到一篇帖子，很有意思，是关于模板友元函数的声明的，在vs2005上可以运行的代码，在vs2008中就会编译错误，同样vc6的也不相同。首先，让我们看看vc6上的代码：

#include<iostream> using namespace std; template <class T> class AA; template <class T> class BB; template <class T> int park(const AA<T> & , const BB<T> & ); template <class T> class AA { public: friend int park (const AA<T> & , const BB<T> & ); void setdata(const T& val) { a = val; } private: T a; }; template <class T> class BB { public: friend int park (const AA<T> & , const BB<T> & ); void setdata(const T& val) { b = val; } private: T b; }; template <class T> int park(const AA<T> & aa, const BB<T> & bb) { cout<<aa.a<<" "<<bb.b<<endl; return 1; } int main(void) { AA<int> aa; BB<int> bb; aa.setdata(5); bb.setdata(15); park(aa, bb); return 0; }

可以在vc6上编译运行，但到了vs2005和vs2008就编译不通了！

我们对代码进行修改，可以得到vs2005和vs2008版本的模板友元：

#include<iostream> using namespace std; template <class T> class AA; template <class T> class BB; template <class T> int park(const AA<T> & , const BB<T> & ); template <class T> class AA { public: friend int park<> (const AA<T> & , const BB<T> & ); void setdata(const T& val) { a = val; } private: T a; }; template <class T> class BB { public: friend int park<> (const AA<T> & , const BB<T> & ); void setdata(const T& val) { b = val; } private: T b; }; template <class T> int park(const AA<T> & aa, const BB<T> & bb) { cout<<aa.a<<" "<<bb.b<<endl; return 1; } int main(void) { AA<int> aa; BB<int> bb; aa.setdata(5); bb.setdata(15); park(aa, bb); return 0; }

上面采用的是模板的特化处理！符合泛型编程的规则！

也就是说不同版本的编译器对泛型思想的支持力度是不同的，可能有些版本的编译器在实现泛型上还是有误差的！比如vc6上的实现版本明显有问题！其实，vs2005版本的编译器也是存在问题的，比如下面的代码是可以在vs2005上编译通过，但明显不符合泛型规范！

template <class T> class BB; template <class T> class AA { public: template <class T1> friend int park(const AA<T1> & , const BB<T1> & ); void setdata(const T& val) { a = val; } private: T a; }; template <class T> class BB { public: template <class T1> friend int park(const AA<T1> & , const BB<T1> & ); void setdata(const T& val) { b = val; } private: T b; }; template <class T1> int park(const AA<T1> & aa, const BB<T1> & bb) { cout<<aa.a<<" "<<bb.b<<endl; return 1; } int main(void) { AA<int> aa; BB<int> bb; aa.setdata(5); bb.setdata(15); park(aa, bb); return 0; }

 

因此，通过对模板友元函数的实现，可以看出随着编译器随版本的更替，而逐渐完善！这应该是值得我们程序员高兴的一件事情！