模板类的朋友功能:C

friend function for template class : C++

本文关键字：功能 朋友      更新时间：2023-10-16

我写了一个代码：

#include <iostream>
#include <cassert>
using namespace std;
template<typename T>
class dynArray{
    int size;
    T* ptr;
    public:
    dynArray(int n=0);
    ~dynArray();
    T& operator[] (const int index);
    friend ostream& operator<<<T>(ostream& os,const dynArray<T>& A);
    };
template<typename T> dynArray<T>::dynArray(int n):size(n){
if (size==0)
{
 cout << "Size Zero"<< endl;
 ptr=NULL;}
 else
 {
     try{
         ptr = new T[size];
         cout << "Constructor Called" << endl;
         }
     catch(bad_alloc xa)
     {
         cout << "Allocation Failure" <<endl;
         exit(EXIT_FAILURE);
         }
     }
}
template<typename T> dynArray<T>::~dynArray(){
    cout << "Destructor Called for array of size : " << size << endl;
    delete[] ptr;
    }
template<typename T> T& dynArray<T>::operator[] (const int index){
    assert(index >=0 && index <size);
    return *(ptr+index);
    }
template<typename T> ostream& operator<< <T>(ostream& os,const dynArray<T>& A){
    for (int i=0; i < A.size ; i++)
    os << *(A.ptr+i) << " ";
    return os;
    }
int main()
{
    dynArray<int> array1;
    dynArray<int> array2(5);
    array2[0]=15;
    array2[3]= 45;

    cout << array2 << endl;
    return 0;
}

但是在编译错误时：

$ g++ -Wall DynArray.cpp -o DynArray
DynArray.cpp:46: error: partial specialization `operator<< <T>' of function template
DynArray.cpp: In instantiation of `dynArray<int>':
DynArray.cpp:54:   instantiated from here
DynArray.cpp:14: error: template-id `operator<< <int>' for `std::basic_ostream<char, std::char_traits<char> >& operator<<(std::basic_ostream<char, std::char_traits<char> >&, const dynArray<int>&)' does not match any template declaration
DynArray.cpp: In function `std::ostream& operator<<(std::ostream&, const dynArray<T>&) [with T = int]':
DynArray.cpp:61:   instantiated from here
DynArray.cpp:8: error: `int dynArray<int>::size' is private
DynArray.cpp:47: error: within this context
DynArray.cpp:9: error: `int*dynArray<int>::ptr' is private
DynArray.cpp:48: error: within this context

我认为我的模板语法对于operator<<是错误的。有人可以帮忙吗？无法弄清楚错误在哪里。

您无法friend未宣布的模板功能的专业化。您需要事先声明operator <<。当然，要这样做，您需要已经有dynArray的声明。这种前瞻性声明看起来像这样（现场在Coliru）：

template<typename T> class dynArray;
template<typename T>
ostream& operator << (ostream& os, const dynArray<T>& A);
template<typename T>
class dynArray {
    // ...
    friend ostream& operator<< <T>(ostream& os, const dynArray& A);
    };

正如@ooga在他的评论中指出的那样，朋友声明中的模板参数是不必要的。编译器可以推断出它们。您可以简单地将其声明为：

friend ostream& operator<< <> (ostream& os, const dynArray& A);

我个人发现这种语法在这种情况下有点像标点符号。

另外，如果您发现前向声明令人反感，则可以通过在类定义中定义dynArray的每个专业化来声明单独的非序列朋友函数（再次COLIRU）：

template<typename T>
class dynArray {
    // ...
    friend ostream& operator<< (ostream& os,const dynArray& A) {
        for (int i=0; i < A.size ; i++)
        os << *(A.ptr+i) << " ";
        return os;
    }
};

在类中，将朋友声明为： - 

template<typename U>
friend ostream& operator<<(ostream& os,const dynArray<U>& A);

并将其定义为： - 

template<typename U> 
ostream& operator<< (ostream& os,const dynArray<U>& A){...}

请参阅此处

相关文章：