模板函数的友元声明

2009-08-09

摘自《Sun Studio 12: C++ 用户指南》 第 6.7.3 节

 

模板在使用前必须先声明。一个友元声明构成了模板的使用，而非模板的声明。（A friend declaration constitutes a use of the template, not a declaration of the template. ）所以实际的模板声明必须在友元声明之前。例如，编译系统尝试链接以下示例中生成的目标文件时，对未实例化的operator<<函数，会生成一个未定义的错误。

 

示例6–2 友元声明问题的示例

 

// array.h // generates undefined error for the operator<< function #ifndef ARRAY_H #define ARRAY_H #include <iosfwd> template<class T> class array { int size; public: array(); friend std::ostream& operator<<(std::ostream&, const array<T>&); }; #endif // array.cc #include <stdlib.h> #include <iostream> template<class T> array<T>::array() {size = 1024;} template<class T> std::ostream& operator<<(std::ostream& out, const array<T>& rhs) {return out << '[' << rhs.size << '[';} // main.cc #include <iostream> #include "array.h" int main() { std::cout << "creating an array of int... " << std::flush; array<int> foo; std::cout << "done/n"; std::cout << foo << std::endl; return 0; }

请注意，因为编译器将以下代码作为普通函数（array类的friend）的声明进行读取（because the compiler reads the following as the declaration of a normal function that is a friend of the array class），所以编译期间不会出现错误消息friend ostream& operator<<(ostream&, const array<T>&);

因为operator<<实际上是模板函数，所以需要在声明template class array之前提供此“模板函数”（operator<<？）的声明。但是，由于operator<<有一个type为array<T>的形参（模板类型形参？），因此在声明函数之前，必须声明array<T>。文件array.h必须如下所示：

Because operator<< is really a template function, you need to supply a template declaration for prior to the declaration of template class array. However, because operator<< has a parameter of type array<T>, you must precede the function declaration with a declaration of array<T>. The file array.h must look like this:

#ifndef ARRAY_H #define ARRAY_H #include <iosfwd> // the next two lines declare operator<< as a template function template<class T> class array; template<class T> std::ostream& operator<<(std::ostream&, const array<T>&); template<class T> class array { int size; public: array(); friend std::ostream& operator<< <T> (std::ostream&, const array<T>&); }; #endif

 

 //-----------------------------------------------------------------------------------

换一个能通过的版本，所有代码都放到同一个文件中。前面那个未通过乃是因为文件之间include有问题，在array.cc中#include "array.h"，然后在main.cc中#include "array.cc"即可。

#include <iostream> // 下面两行将operator<<声明成一个模板函数。因为operator<<实际上是模板函数， // 所以需要在声明template class array之前提供此“模板函数”（operator<<？）的声明。 template<class T> class array; template<class T> std::ostream& operator<<(std::ostream&, const array<T>&); template<class T> class array { int size; public: array(); //请注意，因为编译器将以下一行代码作为普通函数（array 类的 friend）的声明进行读取， //所以编译期间不会出现错误消息。但是链接期间会出问题哦 error LNK2019: unresolved external symbol //friend std::ostream& operator<< (std::ostream&, const array<T>&); //但是，由于operator<<有一个模板形参类型array<T>，因此在声明函数之前，必须声明array<T>。 friend std::ostream& operator<< <T> (std::ostream&, const array<T>&); }; template<class T> array<T>::array() {size = 1024;} template<class T> std::ostream& operator<<(std::ostream& out, const array<T>& rhs) {return out << '[' << rhs.size << ']';} int main() { std::cout << "creating an array of int... " << std::flush; array<int> foo; std::cout << "done/n"; std::cout << foo << std::endl; return 0; }

//------------------------------------------------------------------------------------ 

再换一个所有代码合在一起的版本，使用了using namespace std;

主要是验证下面这段代码的第七行

“template<class T> ostream& operator<<(ostream&, const array<T>&);”

可以被删掉！

#include <iostream> using namespace std; // 下面两行将operator<<声明成一个模板函数。因为operator<<实际上是模板函数， // 所以需要在声明template class array之前提供此“模板函数”（operator<<？）的声明。 template<class T> class array; //template<class T> ostream& operator<<(ostream&, const array<T>&); //不过看起来，可有可无，删掉照样通过 template<class T> class array { int size; public: array(); //请注意，因为编译器将以下一行代码作为普通函数（array 类的 friend）的声明进行读取， //所以编译期间不会出现错误消息。但是链接期间会出问题哦 error LNK2019: unresolved external symbol //friend std::ostream& operator<< (std::ostream&, const array<T>&); //但是，由于operator<<有一个模板形参类型array<T>，因此在声明函数之前，必须声明array<T>。 friend ostream& operator<< <T> (ostream&, const array<T>&); }; template<class T> array<T>::array() {size = 1024;} template<class T> ostream& operator<<(ostream& out, const array<T>& rhs) {return out << '[' << rhs.size << ']';} int main() { cout << "creating an array of int... " << flush; array<int> foo; cout << "done/n"; cout << foo << endl; return 0; }