文章来源:http://www.cppblog.com/zerolee/archive/2010/11/03/132344.html
类模板的模板友元函数定义有2种方式:
1. 将友元模板函数直接定义在类模板中。这种方式比较简单直接。
2. 将友元模板函数声明在类模板中,定义在类模板之外。这种方式的写法,如果不小心,通常会出现编译没问题,链接时无法解析的错误。
以下是一个简单的正确的例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 |
#include <iostream> #include <vector> template <typename T> class Number; template <typename T> void print(const Number<T>& n); template <typename T> std::ostream& operator << (std::ostream& os, const Number<T>& n); template <typename T> std::istream& operator>>(std::istream& is, Number<T>& n); template <typename T, typename T2> void printVector(const std::vector<T2>& vt, const Number<T>& n); template <typename T> class Number { public: Number(T v) : val(v) {} ~Number() {} private: T val; public: friend void print<T> (const Number<T>& n); friend std::ostream& operator << <T>(std::ostream& os, const Number<T>& n); friend std::istream& operator>> <T>(std::istream& is, Number<T>& n); friend Number<T>& operator += (Number<T>& a, const Number<T>& b) { a.val += b.val; return a; } template <typename T2> friend void printVector<T>(const std::vector<T2>& vt, const Number<T>& n); template <typename T2> void memFunc(const std::vector<T2>& vt, const Number<T>& n); }; template <typename T> std::ostream& operator <<(std::ostream& os, const Number<T>& n) { os << n.val << std::endl; return os; } template <typename T>2 std::istream& operator >>(std::istream& is, Number<T>& n) { is >> n.val; return is; } template <typename T> void print<T> (const Number<T>& n) { std::cout << n; } template <typename T, typename T2> void printVector(const std::vector<T2>& vt, const Number<T>& n) { for (unsigned int i = 0; i < vt.size(); i++) std::cout << vt.at(i) << " "; std::cout << "=> " << n; } template <typename T> template <typename T2> void Number<T>::memFunc(const std::vector<T2>& vt, const Number<T>& n) { for (unsigned int i = 0; i < vt.size(); i++) std::cout << vt.at(i) << " "; std::cout << "=> " << n; } |
1) 以上代码中,operator +=被定义在类模板内部。其他3个函数先被声明(需提前声明类模板,如果模板函数的参数中含有类模板),然后在类模板中被声明为友元函数, 之后被定义在类模板体之外。
2) 请注意当模板函数被声明为类模板的友元时,在函数名之后必须紧跟模板实参表,用来代表该友元声明指向函数模板的实例。否则友元函数会被解释为一个非模板函数,链接时无法解析。
3) 友元模板函数的模板参数类型,并不一定要求是类模板的参数类型,也可以另外声明。
/**************************
每次有用到模板的时候,我都很害怕友元函数出问题。这回也一样。不过好在我运气好终于发现了这篇珍贵的文章。原来在友元里面要用<>包住临时类型,同时为了让编译器理解,需要先在函数声明之前先声明类。难怪之前一直出错,赶紧保存在自己的博客里,以备不时之需。
**************************/